G gwern.net How Did Software Get So Reliable Without Proof? (1996) [pdf] 111 points tosh 6 years ago 123 comments
