Why Writing Correct Software Is Hard

Article URL: https://pron.github.io/posts/correctness-and-complexity Comments URL: https://news.ycombinator.com/item?id=50465352 Points: 35 # Comments: 4