How Did Software Get So Reliable Without Proof? (1996) [pdf]

https://news.ycombinator.com/item?id=22478585 was another good discussion.