Top New Trends Comments Past Ask Show Jobs

Formal Methods and the Future of Programming(blog.janestreet.com)

3 points·by dcre·26 giorni fa·2 comments

blog.janestreet.com

Formal Methods and the Future of Programming

https://blog.janestreet.com/formal-methods-at-jane-street-index/

2 comments

Jtsummers·26 giorni fa

https://news.ycombinator.com/item?id=48526633 - Discussion here, still active.

dcre·26 giorni fa

Thanks, missed it!

Formal Methods and the Future of Programming · HackerTrans