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.
[ Parent
| on HN ]
There are no comments on this comment yet.