Published: August 16, 2026Formal verification and the cost of separationLoop invariants are hard. Keeping a specification in one language and the program in another, in sync, for years, is what actually keeps verification out of ordinary code.architecture language-design Read more
Published: July 21, 2026On programming language design and the problem of forgotten decisionsVersion control gives perfect recall and no memory at all. It keeps every line anyone wrote, and none of the reasons they wrote it that way.architecture language-design Read more