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 terminalcommand on Wednesday November 04, 2026 @07:46AM (#50364807)
But even in memory-safe languages, compiler bugs are still an issue. The theory is perfect but the implementation is flawed. In such case once the compiler bugs are found, the software would have to be rewritten to compile. For example an 11 year old memory bug was discovered recently in the rust compiler: https://www.penligent.ai/hackinglabs/rust-borrow-checker-bug....

Memory safe languages are not a silver bullet either.

[ Parent | on HN ]
Re:AI is forcing us to pay off 40 years of technical debt by GTP on Wednesday November 04, 2026 @07:59AM (#50364938)
Definitely not a silver bullet (consider also that memory management isn'the only source for vulns), but still much better than C/C++.
[ Parent | on HN ]
Re:AI is forcing us to pay off 40 years of technical debt by dns_snek on Wednesday November 04, 2026 @01:44PM (#50369800)
[delayed]
[ Parent | on HN ]
Re:AI is forcing us to pay off 40 years of technical debt by terminalcommand on Wednesday November 04, 2026 @03:07PM (#50370796)
No, you are wrong. Rust compiler bug uncovered this month was aboıt memory safety: https://www.penligent.ai/hackinglabs/rust-borrow-checker-bug....

Basically, the borrow checker allowed writing memory unsafe programs without using the keyword unsafe.

Compilers for C, C++ etc. are well established but Rust is a relatively new language. There are many bugs to come just like this.

Using a memory safe language is not a silver bullet for writing memory safe code. The implementation of the memory safe language introduces bugs as well.

[ Parent | on HN ]
Re:AI is forcing us to pay off 40 years of technical debt by dns_snek on Wednesday November 04, 2026 @05:42PM (#50372509)
[delayed]
[ Parent | on HN ]