Psst, bored?

Maybe my ramblings can help with that.

Posts

• Accidentally building a dependently-typed language with Z3 — 2026-01-28
• Nutcracker, Part 1 — 2026-01-28
• Compilers - From Play to Production — 2026-01-28