Proofs are cheap now. Specs are next

(genproof.com) by torutofu | Nov 4, 2026 | 0 comments on HN