Formal Methods and the Future of Programmingblog.janestreet.com 3 pointsdcre2 months ago2 commentsSaveHideCopy link On HNComments−Jtsummers2mohttps://news.ycombinator.com/item?id=48526633 - Discussion here, still active.−dcreOP2moThanks, missed it!
Comments
https://news.ycombinator.com/item?id=48526633 - Discussion here, still active.
Thanks, missed it!