logoalt Hacker News

akoboldfrying • today 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

zamalek • today at 3:21 PM

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

fg137 • today 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
AnimalMuppet • today 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