Von Neumann's First Computer Program (1970)(dl.acm.org)101 points by Cieplak 2 years ago | 16 comments
How to prove false statements: Practical attacks on Fiat-Shamir(quantamagazine.org)203 points by nsoonhui 1 year ago | 154 comments
Computer Scientists Figure Out How to Prove Lies(quantamagazine.org)13 points by pseudolus 1 year ago | 2 comments
Interview with Yael Tauman Kalai, a cryptographer at Microsoft(quantamagazine.org)102 points by digital55 3 years ago | 5 comments
Computer scientists combine two 'beautiful' proof methods(quantamagazine.org)104 points by tambourine_man 2 years ago | 30 comments