News for hackers. Stuff that matters.
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.