← Back to context

Comment by akoboldfrying

11 days ago

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.

6 comments

akoboldfrying

Reply
fg137  11 days ago

> 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.

  • akoboldfrying  11 days ago

    > This is not even the first soundness bug that appeared on HN frontpage.

    This is not a counterargument to my claim that "#1 on HN" status implies that many people are surprised by this.

    > It just means you don't pay attention to Rust development

    Correct, I don't. I never said that I did.

    • fg137  11 days ago

      Sure. So if that's what you come here for,

      I hereby confirm that you are 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.

      Hope that settles this meaningless exchange.

AnimalMuppet  11 days ago

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?