Blog

Technical writing on backend systems, databases, and distributed systems.

• The Verification Bottleneck

  July 6, 2026

  AI agents generate code faster than humans can verify it. Formal specifications make intent precise enough to check automatically.

• Backend Engineering Is Restoring Determinism

  May 20, 2026

  Reliable backend engineering is the work of making every possible concrete execution trace equivalent to one logical trace.