Proofs are cheap now. Specs are next

Related Discussions

Found 5 related stories in 125.2ms across 11,645 title embeddings via pgvector HNSW

• The Proof Machine (2016) BenoitP · 27 pts · July 27, 2026 · 48% similar
• Writing is no longer proof of work gpi · 27 pts · October 19, 2026 · 46% similar
• Illustration Beyond Proof smilelamp · 52 pts · October 11, 2026 · 46% similar
• Reverse-engineering is cheap now edward · 37 pts · July 21, 2026 · 45% similar
• We have proof automation now zdw · 134 pts · July 26, 2026 · 44% similar