• DIY tagged unions with exhaustiveness checking in Python
• Thinking about thinking
• Removing "paradox" from "Monty Hall paradox"
• Datatype-generic programming in TypeScript
• Visitor pattern done right
• Arithmetic expressions pretty-printing done weird
• On consistency in beliefs
• Summing natural numbers, twice
• Setting up a personal monorepo
• Computing truth tables using nested types
• A short checklist for elaborating on analogies