News for hackers. Stuff that matters.

A comment on Hobby x86 kernel written with Zig. Parent comment

Re:Hobby x86 kernel written with Zig by eeZah7Ux on Monday January 06, 2020 @02:15PM (#21972114)
> Rust, BTW, doesn't entirely guarantee memory-safety, either

> We always make some compromises on soundness; the question is where the sweet-spots are.

Excellent point. There are complex tradeoffs and the "rust is safe" slogan is just a slogan.

[ Parent | on HN ]
Re:Hobby x86 kernel written with Zig by pcwalton on Monday January 06, 2020 @08:26PM (#21975768)
It's not a slogan; there's a published type safety proof of the core of Rust. You may not like the assumptions that underlie that proof, but it's unarguable that "safety" has a very concrete meaning in the context of the language.
[ Parent | on HN ]