G gwern.net How did software get so reliable without proof? (1996) [pdf] 83 points elcapitan 8 years ago 33 comments
