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.