zlacker

[return to "“Rust is safe” is not some kind of absolute guarantee of code safety"]
1. static+W4[view] [source] 2022-10-02 14:55:53
>>rvz+(OP)
> Even "safe" rust code in user space will do things like panic when things go wrong (overflows, allocation failures, etc). If you don't realize that that is NOT some kind of true safely, I don't know what to say.

When people say "safe" there's a pretty precise meaning and it's not this.

Yes, anyone who believes rust is 100% "safe" (by any definition) is wrong. That's not something you learn in Kindergarten though, it's actually about understanding that Rice's Theorem is a generalization of the Halting Problem.

> o this is something that I really need the Rust people to understand. That whole reality of "safe" not being some absolute thing

The irony of Linus lecturing anyone on safety lol anyway "the Rust people" know this already, when they say "safe" they mean "memory safe" - https://en.wikipedia.org/wiki/Memory_safety

Anyway, dumb shit like this is why I've always been quietly dreading Rust in the kernel.

a) The kernel will never be safe software because the mainline developers don't want it to be or even know what safe means

b) It just invites more posts like this and puts Rust closer to one of the most annoying software communities

> Or, you know, if you can't deal with the rules that the kernel requires, then just don't do kernel programming.

Agreed on this point. I was very interested in kernel dev earlier in my career until I actually started to engage with it.

◧◩
2. 2OEH8e+B5[view] [source] 2022-10-02 15:00:14
>>static+W4
One of my Marine NCOs would say, "there is no such thing as safe."

You aren't safe on the FOB, in your car, in your barracks, or in your house. There are only degrees of safety. Very wise almost globally applicable words.

◧◩◪
3. Ygg2+Q9[view] [source] 2022-10-02 15:23:33
>>2OEH8e+B5
> There are only degrees of safety.

Sure but people use this logic to justify no safety. Find me a marine a that goes into war totally naked.

◧◩◪◨
4. 2OEH8e+pc[view] [source] 2022-10-02 15:37:05
>>Ygg2+Q9
That's great for them. I dont use it to justify no safety.
[go to top]