Formal methods and the future of programming

Article URL: https://blog.janestreet.com/formal-methods-at-jane-street-index/?from_theconsensus=1 Comments URL: https://news.ycombinator.com/item?id=48526633 Points: 319 # Comments: 99

查看原文 →

来源：Hacker News · RSS 采集