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.
[ Parent
| on HN ]
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.