Blog

• [ Dec 24, 2025 ]
  Type Systems #25: The Lambda Iceberg and Lambda Cube
• [ Dec 23, 2025 ]
  Type Systems #24: The Calculus of Constructions and Dependent Types
• [ Dec 22, 2025 ]
  Type Systems #23: The Curry-Howard Isomorphism
• [ Dec 21, 2025 ]
  Type Systems #22: Zippers and One-Hole Contexts
• [ Dec 20, 2025 ]
  Type Systems #21: Algebraic Data Types
• [ Dec 19, 2025 ]
  Type Systems #20: An Equivalence between Types
• [ Dec 18, 2025 ]
  Type Systems #19: System Fωω..? A Recap of Type Systems
• [ Dec 17, 2025 ]
  Type Systems #18: Higher-Kinded Types
• [ Dec 16, 2025 ]
  Type Systems #17: System Fω, and Kinds
• [ Dec 15, 2025 ]
  Type Systems #16: Functions... on Types?
• [ Dec 14, 2025 ]
  Type Systems #15: A Church Encoding of Lists
• [ Dec 13, 2025 ]
  Type Systems #14: System F<:, Tops and Bottoms
• [ Dec 12, 2025 ]
  Type Systems #13: The Typescript Lattice
• [ Dec 11, 2025 ]
  Type Systems #12: Subtyping
• [ Dec 10, 2025 ]
  Type Systems #11: Existential Quantification
• [ Dec 09, 2025 ]
  Type Systems #10: Universal Quantification and Rank-N Types
• [ Dec 08, 2025 ]
  Type Systems #9: BTW: Continuation-Passing Style
• [ Dec 07, 2025 ]
  Type Systems #8: Theorems for Free!
• [ Dec 06, 2025 ]
  Type Systems #7: Using Generics
• [ Dec 05, 2025 ]
  Type Systems #1.6: Currying
• [ Dec 04, 2025 ]
  Type Systems #5: Polymorphism and System F
• [ Dec 03, 2025 ]
  Type Systems #4: STLC is not enough!
• [ Dec 02, 2025 ]
  Type Systems #3: Simply Typed Lambda Calculus
• [ Dec 01, 2025 ]
  Type Systems #2: Untyped Lambda Calculus, again
• [ Nov 28, 2025 ]
  Type Systems #1: Untyped Lambda Calculus
• [ Nov 19, 2025 ]
  Will AI lead to a Haskell resurgence?
• [ Oct 12, 2025 ]
  Category theory is hilariously recursive
• [ Aug 28, 2025 ]
  Side-effect decoherence
• [ Aug 07, 2025 ]
  Please just give me a programming language man
• [ Aug 04, 2025 ]
  Color themes
• [ Aug 01, 2025 ]
  Angular and Greenspun's Tenth Rule
• [ Jul 30, 2025 ]
  Free objects #4
• [ Jul 24, 2025 ]
  Type intersections
• [ Jul 20, 2025 ]
  Constructors shouldn't throw
• [ Jul 17, 2025 ]
  Two-sigma development
• [ Jul 05, 2025 ]
  A fractal modulith
• [ Jul 04, 2025 ]
  Free objects #3 - Magmas & Binary Finger Trees
• [ Jul 03, 2025 ]
  Pipeline runs grow n² with the number of open PRs
• [ Jun 19, 2025 ]
  Free objects #2 - Monoids & Lists
• [ Jun 16, 2025 ]
  Enforcing Architecture through Ceremony
• [ Jun 07, 2025 ]
  Free objects #1 - Commutative Monoids & Multisets
• [ May 07, 2025 ]
  prefixed/compound ids are kinda neat
• [ Nov 14, 2023 ]
  Please walk on the right half of the sidewalk
• [ Sep 05, 2023 ]
  Typescript Hacks #1: String suggestions
• [ Aug 01, 2023 ]
  Create OpenShift clusters for testing (in Azure, and locally)