Article URL: https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ Comments URL: https://news.ycombinator.com/item?id=49109026 Points: 14 # Comments: 5