alt Hacker NewsIt's not strange at all.
The second story, and highly upvoted, on HN right now is: "AI will make formal verification go mainstream"[1].
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].
It'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.