Live data from Hacker News

You Don't Know Jack About Formal Verification

1–4 of 4 posts

Post by aravindputrevu » Mon, Jul 06, 2026, 8:31 PM UTC

Re: You Don't Know Jack About Formal Verification

Post by carlsborg » Mon, Jul 06, 2026, 8:42 PM UTC

Post by Jtsummers » Mon, Jul 06, 2026, 9:01 PM UTC

Previous discussion (with a different title which made finding it harder)

Post by aravindputrevu » Tue, Jul 07, 2026, 4:55 AM UTC

Jtsummers wrote: post #3

https://news.ycombinator.com/item?id=48719521 Previous discussion (with a different title which made finding it harder)

Sorry, did not realize that it was submitted.