G gwern.net How Did Software Get So Reliable Without Proof? (1996) [pdf] 48 points gwern 10 years ago 82 comments
