From Hacker News

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: 14 # Comments: 1

Read the full report at Hacker News ↗