4 ms·
It's not strange at all. The second story, and highly upvoted, on HN right now is: "AI will make formal verification go mainstream"[1]. [1] https://news.ycomb
by plainOldText 9mo ago
It's not strange at all.
The second story, and highly upvoted, on HN right now is: "AI will make formal verification go mainstream"[1].
[1] https://news.ycombinator.com/item?id=46294574 https://news.ycombinator.com/item?id=46294574
- elcapitan 9mo agoIt's interesting btw that Martin Kleppmann lists a couple of proof assistants, but not model checkers like TLA+. With him working extensively on distributed systems, I would have thought that would be on the list as well.