Hacker News new | ask | show | jobs
What Happens to Software When Proof Is Cheap? [video] (youtube.com)
1 points by joomy 36 days ago