How did software get so reliable without proof? (1996) [pdf]


New top story on Hacker News: How did software get so reliable without proof? (1996) [pdf]