Re:Prediction: AI will make formal verification go mainstream
by bluGill on Wednesday December 17, 2025 @08:41AM
(#46301834)
Scrapping everything wouldn't help. 15 years ago the project I'm on did that - for a billion dollars. We fixed the old mistakes but made plenty of new ones along the way. We are trying to fix those now and I can't help but wonder what new mistakes we are making the in 15 years we will regret.
Re:Prediction: AI will make formal verification go mainstream
by ErroneousBosh on Wednesday December 17, 2025 @12:06PM
(#46302238)
Computers are terrible and software is terrible and we should just go back to tilling the fields with horses and drinking beer.
Give me a list of all the libraries you work with that don't have some sort of "okay but not that bit" rule in the business logic, or "all of those function are f(src, dst) but the one you use most is f(dst,src) and we can't change it now".
I bet it's a very short list.
Really we need to scrap every piece of software ever written and start again from scratch with all these weirdities written down so we don't do it again, but we never will.