news.volyx.in

Formal methods and the future of programming (blog.janestreet.com)

378 points by eatonphil · 28 days ago · 126 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.