- Apr 05, 2023 -- Rust's Poor Composability
- Jan 21, 2021 -- Crafting Semantics 3: More Fundamentals
- Jan 15, 2021 -- I Hate Parsing
- Jan 14, 2021 -- Crafting Semantics 2: Basic Features
- Jan 06, 2021 -- Crafting Semantics 1: Lambda Calculus
- Jan 05, 2021 -- Crafting Semantics 0: Introduction
- Nov 30, 2020 -- Continuations as First Class Return
- Nov 09, 2020 -- Abstract Machines: Interpreters for Computer Scientists