HN
New
Show
Ask
Jobs
Built with Astro
Formal Methods and the Future of Programming
(blog.janestreet.com)
43 points | by
nextos
5 days ago
1 comments
Taikonerd
2 hours ago
Dupe of
https://news.ycombinator.com/item?id=48526633
Dupe of https://news.ycombinator.com/item?id=48526633