2 ms·

I don’t think Rust’s actual safety properties aren’t overhyped, although they may be subject to misunderstanding about their exact extent. Concretely: spatial

I don’t think Rust’s actual safety properties aren’t overhyped, although they may be subject to misunderstanding about their exact extent. Concretely: spatial and temporal memory safety are good things, and Rust achieves both. It’s not unique in this regard, nor is it unique in not having a formal definition.

keybored 2y ago
Double negation makes things ambigious.
- woodruffw 2y ago
  The second negation is a typo, but it’s too late to fix it.
medo-bear 2y ago
> although they may be subject to misunderstanding about their exact extent Isnt that what overhype means? Also no one is saying that Rust is unique in being overhyped. It is true of almost any language worth writing in, including c, lisp, python, haskell, type script etc.
- woodruffw 2y ago
  I don't see much overhype coming from Rust practitioners. I see a lot of people who care about spatial and temporal memory safety, for which the hype with Rust appears largely appropriate. I've yet to see people (incorrectly) extend this to a claim that Rust solves all security problems, which would meet the definition of overhype. (If there's nothing unique here, it doesn't make sense to single any particular language out. But each language does have unique properties: Python is a great rapid development language, Rust offers zero-cost abstractions for memory safety, etc.)
  - medo-bear 2y ago
    > I don't see much overhype coming from Rust practitioners That is like saying I don't see much overhype about AI from machine learning engineers. I am a ml engineer, and like myself great majority of ml engineers will tell you that there is certainly overhype about the field and do not engage in the overhype. Which is not to say that the field isnt producing some really cool results > I've yet to see people (incorrectly) extend this to a claim that Rust solves all security problems, which would meet the definition of overhype. Ive seen plenty of questionable Rust rewrites due to solving security problems > Python is a great rapid development language Saying to a Lisper that Python is a great rapid development language is like selling Rust safety to an Ada person :)

keybored 2y ago

Double negation makes things ambigious.

woodruffw 2y ago
The second negation is a typo, but it’s too late to fix it.

medo-bear 2y ago

> although they may be subject to misunderstanding about their exact extent Isnt that what overhype means? Also no one is saying that Rust is unique in being overhyped. It is true of almost any language worth writing in, including c, lisp, python, haskell, type script etc.

woodruffw 2y ago
I don't see much overhype coming from Rust practitioners. I see a lot of people who care about spatial and temporal memory safety, for which the hype with Rust appears largely appropriate. I've yet to see people (incorrectly) extend this to a claim that Rust solves all security problems, which would meet the definition of overhype. (If there's nothing unique here, it doesn't make sense to single any particular language out. But each language does have unique properties: Python is a great rapid development language, Rust offers zero-cost abstractions for memory safety, etc.)
- medo-bear 2y ago
  > I don't see much overhype coming from Rust practitioners That is like saying I don't see much overhype about AI from machine learning engineers. I am a ml engineer, and like myself great majority of ml engineers will tell you that there is certainly overhype about the field and do not engage in the overhype. Which is not to say that the field isnt producing some really cool results > I've yet to see people (incorrectly) extend this to a claim that Rust solves all security problems, which would meet the definition of overhype. Ive seen plenty of questionable Rust rewrites due to solving security problems > Python is a great rapid development language Saying to a Lisper that Python is a great rapid development language is like selling Rust safety to an Ada person :)