How can C Programs be so Reliable? (2008)251 points by adamnemecekRead the articleDiscussion on Hacker News