Skip to content

Top Best Ask Show New Jobs

Formal Methods and the Future of Programming (opens in new tab)

(blog.janestreet.com)

3 pointsdcre7d ago2 comments

2 comments

2 comments · 1 top-level

Jtsummers7d ago· 1 in thread

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

dcreOP7d ago

Thanks, missed it!

j / k navigate · click thread line to collapse