How Did Software Get So Reliable Without Proof? (1996) [pdf]gwern.net13 pointssillysaurusx6 years ago