Re:Prediction: AI will make formal verification go mainstream
by 1970-01-01 on Tuesday December 16, 2025 @05:53PM
(#46295821)
The implementation detail is that we keep finding them! After this, it couldn't locate a seahorse emoji without freaking out. At some point we need to have a test: there are two drinks before you. One is water, the other is whatever the LLM thought you might like to drink after it completed refactoring the codebase. Choose wisely.
[ Parent
| on HN ]
There are no comments on this comment yet.