1TinySystems course: Write your own tiny programming systems [video] (opens in new tab)(youtube.com)Video5dwenzek8mo ago1Save
2Rel: A Programming Language for Relational Data (opens in new tab)(arxiv.org)arXiv3dwenzek1y ago1Save
3Hexagonal Architecture (Alistair Cockburn) [video] (opens in new tab)(youtube.com)Video2dwenzek1y ago1Save
5TigerBeetle: Magical Memory Tour (Joran Dirk Greef) (CMU Database Group) (opens in new tab)(youtube.com)Video3dwenzek3y ago1Save
12Verification for Dummies: SMT and Induction (opens in new tab)(ocamlpro.github.io)3dwenzek4y ago0Save
14Functional UI – A Stream-Based Equational Approach (2020) (opens in new tab)(infoq.com)2dwenzek5y ago0Save
15Three surprising things you can make with mushrooms (opens in new tab)(bbc.co.uk)1dwenzek5y ago0Save
