What Happens to Software When Proof Is Cheap? [video]

(youtube.com) by joomy | May 12, 2026 | 1 comments on HN