Pages

• 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
• 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