logoalt Hacker News

akoboldfrying • yesterday at 12:26 PM • 3 replies • view on HN

Given that TFA is currently #1 on HN, I suspect I'm not the only person who is aware of Rust's borrow checker but not aware, until now, that it has a history of serious soundness bugs.


Replies

fg137 • yesterday at 1:20 PM

> I'm not the only person who ...

This is not even the first soundness bug that appeared on HN frontpage. It just means you don't pay attention to Rust development, that's it. I don't even use Rust at all yet I know a number of quirks about its compiler.

➕ show 1 reply
zamalek • yesterday at 3:21 PM

The reason it's #1 is because this bug is so simple to trigger.

AnimalMuppet • yesterday at 12:59 PM

Well, it has a history of soundness bugs.

"Serious" soundness bugs? That's a stronger claim, and one that you introduced. So you have the burden of proof. Which of those soundness bugs are serious, and what about them makes them so?

➕ show 1 reply