Intervals Collapse to Points
What happens to formal verification when the hardware is deterministic.
Blog¶
Twenty Soft Constraints
When a formal model collapses composition and improvisation into one parameter.
The Constraint You Already Had
When the correctness machinery turns out to be the scheduling machinery.
Compose From the Bass
Why "know your bottleneck" isn't enough, and what a metal bassist accidentally teaches about GPU programming.
The Bug That Wasn't There
A one-line soundness hole that zero tests caught and zero users triggered.
What the Type Erases To
A type system that compiles to nothing is not overhead you tolerate — it is proof the compiler can verify and then discard.