News for hackers. Stuff that matters.

A comment on Prediction: AI will make formal verification go mainstream. Parent comment

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

There are no comments on this comment yet.