What Happens to Software When Proof Is Cheap? [video] | Dark Hacker News