The Intent Envelope: Proofs for Completeness, Not Just Soundness
January 26, 2026Formal verification catches completeness bugs that property-based testing struggles to reach.
Formal verification catches completeness bugs that property-based testing struggles to reach.
Pushing formal verification into collaborative state — concurrent users, stale views, conflicts, and integration with Supabase
A React developer builds a real app using formal verification. This is a chronological build log: the spec design, the integration hell, and what it subjectively felt like.
Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications
How AI approaches code architecture and how immutable constraints will transform AI programming.