← Back to context

Comment by fg137

11 days ago

This is not the first soundness bug. Some bugs aren't fixed for years. The Rust community is well aware that such bugs exist, will be found, and address them just like other high impact bugs. In other words, if you paid the slightest attention to the development of Rust language, you would know this is surprising but not unexpected, and has happened many times.

7 comments

fg137

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

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

      1 reply →

  • 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?