Formal Methods and the Future of Programming blog.janestreet.com 3 points by dcre a month ago · 2 comments Reader PiP Save Jtsummers a month ago https://news.ycombinator.com/item?id=48526633 - Discussion here, still active. dcreOP a month ago Thanks, missed it!