Proof-first engineering notes.

Latest posts

The Buffer-Size Cliff: The One Setting That Stops Your Local AI Agent Hallucinating