Formal methods and the future of programming

eatonphil · 2026-06-14T12:35:27.000Z

blog.janestreet.com · 354 points · by eatonphil · 119 comments

blog.janestreet.com · 47 points · 1 comments

roman.pt · 1353 points · 256 comments

iroh.computer · 1276 points · 392 comments

1225 points · 517 comments

tinywind.io · 915 points · 162 comments

andreklein.net · 893 points · 304 comments

Related stories