▲ 8 pointsFormal Methods and the Future of Programmingblog.janestreet.comby sebg·2mo ago·0 comments·view on hn ↗