Doug Slater
Archive
About
#software verification
The Optimal Amount of Slop is Non-zero
2026-06-22
·
Doug
The Optimal Amount of Slop is Non-zero