Proofs are cheap now. Specs are next

An article discussing how proofs are becoming cheaper in software development and the subsequent rise in the importance of features.

Hacker News submitter: torutofu

Submitted to Hacker News: 2026-11-04