News for hackers. Stuff that matters.

A comment on You Don't Know Jack About Formal Verification. Parent comment

Re:You Don't Know Jack About Formal Verification by derdi on Tuesday June 30, 2026 @06:29AM (#48730686)
One problem with the "won't happen in production" argument is that humans are demonstrably bad at predicting "won't happen in production" situations.
[ Parent | on HN ]

There are no comments on this comment yet.