Live data from Hacker News

“Rust is safe” is not some kind of absolute guarantee of code safety

lkml.org

41–50 of 542 posts

Re: “Rust is safe” is not some kind of absolute guarantee of code safety

#41

Quoted post unavailable.

You mean for the hundreds of thousands of people that in the past 31 years willingly decided to contribute to the to the most successful and well maintained open source project ever, because the creator is such a brilliant person?

Re: “Rust is safe” is not some kind of absolute guarantee of code safety

#42
post #13
post #4

I am the only one who would have a hard time to collaborate on a project where the "collaborators" start their message with > You need to realize that > (a) reality trumps fantasy ?

> I am the only one [...] ? Have you missed the years and years of people criticizing Linus for his communication style?

[deleted]

Re: “Rust is safe” is not some kind of absolute guarantee of code safety

#43

To put things in context, Linus is being reasonable and wise and well-mannered once again. Wouldn't mind reading a few juicy expletives, to be honest.

How is this context? Also how is it "wise" to get the definition of "safe" wrong while acting like a pedant?

Re: “Rust is safe” is not some kind of absolute guarantee of code safety

#44

Quoted post unavailable.

Who "has to" put up with Linus? Linux is open-source software.

People who feel they are putting up with Linus can just `cp linux/ betterlinux/`. If it's actually better and Linus was holding things back by being an insufferabe cunt, they can expect a huge amount of people to switch to their fork as well.

Re: “Rust is safe” is not some kind of absolute guarantee of code safety

#46

Why is panicing in the kernel on an error not an option? Like kernels can write a core dump and reboot, right?

From most users’ points of view, a lot of things the kernel does (e.g. a sound card driver) are non-critical so they’d prefer an error in that driver only killed that driver and not the whole kernel. Similarly, I’d be upset if a server rebooted because of a blip in its CD-ROM driver. And if you can just reload the module which errored, all the better.

It would be cool if kernel Rust could implement a panic handler which just killed the offending module, but I’m assuming from the discussion around panics that this isn’t possible.

Re: “Rust is safe” is not some kind of absolute guarantee of code safety

#48
“Rust is safe” is generally the same thing as saying “I like strongly typed languages”.

None of that is going to save us from bad code.

Some of the biggest systems that run the world are not written with either safe code nor strongly typed languages.

Yes I would say strongly typed languages and memory safe languages help make coding easier and indeed save time and some bugs.

But when you get past making the kinds of errors that cause memory problems or bad types…

You are still left with 95% of the bugs and logic errors anyway.

Still, 5% savings in productivity is not nothing.

Re: “Rust is safe” is not some kind of absolute guarantee of code safety

#49
I’ve been using Rust for a while, and I’m so, so tired of hearing this argument.

Yes, we know. We get it. Rust is not an absolute guarantee of safety and doesn’t protect us from all the bugs. This is obvious and well-known to anyone actually using Rust.

At this point, the argument feels like some sort of ideological debate happening outside the realm of actually getting work done. It feels like any time someone says that Rust defends against certain types of safety errors, someone feels obligated to pop out of the background and remind everyone that it doesn’t protect against every code safety issue.

Re: “Rust is safe” is not some kind of absolute guarantee of code safety

#50
post #4

I am the only one who would have a hard time to collaborate on a project where the "collaborators" start their message with > You need to realize that > (a) reality trumps fantasy ?

Then it's probably not the place for you, or people with thin skin that don't want to deal with that kind of tone/communication. If they lose out on talent because of it, that's their loss. Not every project has to be perfect and all-inclusive to the entire world of developers, and I'm okay with that.
Post reply on HN