11 year old unsoundness bugs found in Rust borrow checker

Re:11 year old unsoundness bugs found in Rust borrow checker by qweqwe14 on Tuesday October 13, 2026 @07:24AM (#50069944)

Literally nothing can be anything in absolute terms, what's your point? The fact is that Rust is miles better than any other language in terms of memory safety & performance ratio. That's all that matters.

[ Parent | on HN ]

Re:11 year old unsoundness bugs found in Rust borrow checker by bcjdjsndon on Tuesday October 13, 2026 @11:30AM (#50073303)

> The fact is that Rust is miles better than any other language in terms of memory safety & performance ratio

Dubious

[ Parent | on HN ]

Re:11 year old unsoundness bugs found in Rust borrow checker by qweqwe14 on Tuesday October 13, 2026 @01:55PM (#50075859)

The entire industry right now seems to think otherwise :)

[ Parent | on HN ]

Re:11 year old unsoundness bugs found in Rust borrow checker by cowlevel on Tuesday October 13, 2026 @10:51PM (#50081815)

Java, surprisingly, is not that much slower than Rust - but given these bugs, Java blows Rust away in memory safety. So I'd say it is the language you are looking for. Presumably any other JVM language also passes the test and maybe also CLR languages.

[ Parent | on HN ]

Re:11 year old unsoundness bugs found in Rust borrow checker by aw1621107 on Wednesday October 14, 2026 @02:56AM (#50083483)

> but given these bugs, Java blows Rust away in memory safety.

It's not like Java is immune to memory safety-related implementation bugs either (e.g., [0]):

> A resource area allocated object is probably passed/used outside of the scope of the corresponding ResourceMark (similar to JDK-8325672).

So "blows Rust away in memory safety" doesn't seem quite supported enough?

[0]: https://bugs.openjdk.org/browse/JDK-8336095

[ Parent | on HN ]