From Falsification to Minus Thirty-Seven Percent
The best research instrumentation gets built to test hypotheses that turn out wrong.
Blog¶
Every Constraint Was a Door
The hardware limits that killed the original roadmap turned out to unlock a better one.
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.
A Fourth Point in the SIMT Divergence Design Space
A divergence model the industry skipped, from type theory to silicon.
Why the Kaleidoscope Looks Symmetric When It Isn't
A fragment shader, a CRT filter, and the scale gap between mathematics and perception.
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.