Why Writing Correct Software Is Hardpron.github.io
84 points by AriFordsham 2 hours ago | 30 comments