Writing correct software is hard and math alone won’t help us (2016)(pron.github.io)
359 points by AriFordsham | 169 comments
Ron Pressler's extended essay from a 2016 Curry On talk on why writing correct software is hard, using results from computability and complexity theory.