News for hackers. Stuff that matters.
Re:Prediction: AI will make formal verification go mainstream by GTP on Wednesday December 17, 2025 @06:22AM (#46300733)
In my opinion, programming languages with a loose type system or no explicit type system only appear to foster productivity, because it is way easier to end up with undetected mistakes that can bite later, sometimes much later. Maybe some people argue that then it is someone else's problem, but even in that case we can agree that the overall quality suffers.

There are no comments on this comment yet.