News for hackers. Stuff that matters.

A comment on AI is forcing us to pay off 40 years of technical debt. Parent comment

Re:AI is forcing us to pay off 40 years of technical debt by Yokohiii on Wednesday November 04, 2026 @11:42AM (#50368167)
I don't think so. The article refers to formal verification, but also notes that proof checking should be done by humans. We don't have enough capable humans for that.
[ Parent | on HN ]

There are no comments on this comment yet.