News for hackers. Stuff that matters.
Re:Prediction: AI will make formal verification go mainstream by wolvesechoes on Wednesday December 17, 2025 @02:42AM (#46299255)
Soon a lot of people will go out of the way and try to convince you that Rust is most productive language, functions having longer signatures than their bodies is actually a virtue, and putting .clone(), Rc<> or Arc<> everywhere to avoid borrow-checker complaints makes Rust easier and faster to write than languages that doesn't force you to do so.

Of course it is a hyperbole, but sadly not that large.

There are no comments on this comment yet.