Things I've written about:

• 2025-10-14: Opinion piece: On Zig (and the design choices within)
• 2025-09-19: Isabelle/HOL: The various rule methods
• 2025-07-19: Crafting a dependent typechecker, part 1
• 2025-05-26: Debruijn indexes and levels, and why they're handy
• 2025-04-01: Dependent types suck actually
• 2025-03-30: A short excerpt on pattern unification
• 2025-03-27: Welcome back.
• 2023-06-17: Hi, world.

dark mode?

back?