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 andy99 on Tuesday December 16, 2025 @05:33PM (#46295569)
At this point if I was openAI I wouldn’t bother fixing this to give pedants something to get excited about.
[ Parent | on HN ]
Re:Prediction: AI will make formal verification go mainstream by blazingbanana on Tuesday December 16, 2025 @05:39PM (#46295656)
Unless they fixed this in 25 minutes (possible?) it correctly counts 1 `r`.

https://chatgpt.com/share/6941df90-789c-8005-8783-6e1c76cdfc...

[ Parent | on HN ]