Live data from Hacker News

Formal Methods and the Future of Programming

blog.janestreet.com

Post reply on HN

Print view View original

1–3 of 3 posts

Formal Methods and the Future of Programming

#1

Post by dcre » Sun, Jun 14, 2026, 11:00 PM UTC

Formal Methods and the Future of Programming
blog.janestreet.com

Re: Formal Methods and the Future of Programming

#2

Post by Jtsummers » Sun, Jun 14, 2026, 11:21 PM UTC

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

Re: Formal Methods and the Future of Programming

#3

Post by dcre » Mon, Jun 15, 2026, 1:05 AM UTC

Jtsummers wrote: post #2

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

Thanks, missed it!

Post reply on HN