News for hackers. Stuff that matters.

A comment on Prediction: AI will make formal verification go mainstream. Parent comment

Re:Prediction: AI will make formal verification go mainstream by victorbjorklund on Tuesday December 16, 2025 @05:55PM (#46295841)
No, it is the issue with the tokenizer.
[ Parent | on HN ]

There are no comments on this comment yet.