Writing

Essays and notes.

Latest posts

Formal verification gates for AI coding loops, in the language you're already shipping.

May 19, 2026