Hacker News
- Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us [video] https://www.youtube.com/watch?v=dWdy_AngDp0 27 comments
Lobsters
- Why Writing Correct Software Is Hard (2016) https://pron.github.io/posts/correctness-and-complexity 3 comments compilers , formalmethods , math
- Why Writing Correct Software Is Hard http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/ 30 comments coding
- Why Writing Correct Software Is Hard (and why math alone won't help us) http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/ 140 comments programming
- Why Writing Correct Software Is Hard (and why math alone won't help us) http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/ 13 comments compsci
- Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On Talk (54mn) - Ron Pressler https://www.youtube.com/watch?v=dwdy_angdp0 11 comments haskell
- Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On Talk (54mn) - Ron Pressler https://www.youtube.com/watch?v=dWdy_AngDp0 15 comments programming