News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.