News for hackers. Stuff that matters.
Re:Prediction: AI will make formal verification go mainstream by jbritton on Wednesday December 17, 2025 @06:10PM (#46306889)
I was thinking about C++ and if you change your mind about whether some member function or parameter should be const, it can be quite the pain to manually refactor. And good refactoring tools can make this go away. Maybe they already have, I haven’t programmed C++ for several years.

There are no comments on this comment yet.