Posts

The making of 'missiles'. Feb 11, 2026
Yet wisdom is justified by her deeds. Dec 3, 2025
Parts of a programming language implementation. Apr 14, 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

Pages

Games