Top New Best Ask Show Jobs

Formal Methods and the Future of Programming | Hacker News Reader

Formal Methods and the Future of Programming

blog.janestreet.com

3 points·dcre··2 comments

Open articleView on HN

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

Thanks, missed it!

Reply on news.ycombinator.com