Pages
Parts of a programming language implementation
Apr 14, 2025
2025 Cycling log.
Apr 12, 2025
Opinions about crossword clues.
Apr 11, 2025
Bottlenecks.
Feb 29, 2024
On writing interactive UIs with straight-line code.
Feb 28, 2024
How to understand OCaml's GADTs.
May 9, 2023
Modularity is about dependencies.
May 8, 2023
Make new types more often.
May 8, 2023