News for hackers. Stuff that matters.

A comment on “Rust is safe” is not some kind of absolute guarantee of code safety. Parent comment

Re:“Rust is safe” is not some kind of absolute guarantee of ... by John23832 on Monday October 03, 2022 @01:29AM (#33063771)
Right. It's clear that many people have not heard of, or considered, Therac-25[1].

[1] https://en.wikipedia.org/wiki/Therac-25

[ Parent | on HN ]
Re:“Rust is safe” is not some kind of absolute guarantee of ... by eesmith on Monday October 03, 2022 @03:36AM (#33064542)
Therac-25 removed redundancy. Quoting the Wikipedia article: "Previous models had hardware interlocks to prevent such faults, but the Therac-25 had removed them, depending instead on software checks for safety."
[ Parent | on HN ]
Re:“Rust is safe” is not some kind of absolute guarantee of ... by John23832 on Wednesday October 05, 2022 @09:25PM (#33103251)
Right, that is the point I was making.
[ Parent | on HN ]