News for hackers. Stuff that matters.
Re:How Our Rust-to-Zig Rewrite Is Going by steveklabnik on Thursday July 16, 2026 @03:17PM (#48938973)
> the buzz phrase "memory safety" has been defined by Rust to mean "the safety Rust gives you".

It's more that Rust's safety guarantee is memory safety. No more, no less. It's not about buzz, this term was used long before Rust existed.

> it also has the gaping type system holes demonstrated in cve-rs

This is not a "gaping hole". It is a compiler bug, which has never been found in the wild.

> there are other bugs which occur in Rust

This is true! Every language can have bugs in it, and Rust does not claim to solve all bugs.

Re:How Our Rust-to-Zig Rewrite Is Going by inigyou on Thursday July 16, 2026 @03:28PM (#48939133)
Does cve-rs break any type system rules? If so, why hasn't it been fixed yet?
Re:How Our Rust-to-Zig Rewrite Is Going by steveklabnik on Thursday July 16, 2026 @03:35PM (#48939194)
> Does cve-rs break any type system rules?

Yes.

> If so, why hasn't it been fixed yet?

Pretty classic software engineering reasons.

The part of the system that it involves was in the process of being re-written already. The re-write fixes the bug. Because it is essentially a theoretical issue, and not an actual problem in any real code, it is not a five alarm fire. Waiting for that re-write to land makes the most sense, instead of putting in a ton of work that will be thrown away.

Other, more serious miscompilations get fixed faster. In fact, a version of the Rust compiler was released today to fix one, even https://blog.rust-lang.org/2026/07/16/Rust-1.97.1/

This one was impacting actual users, and did not require re-writing entire subsystems to fix properly. So the engineering and product tradeoffs are different.

Re:How Our Rust-to-Zig Rewrite Is Going by inigyou on Thursday July 16, 2026 @04:27PM (#48939777)
If cve-rs exists, is safe rust safe? Can one prove that Rust code is safe only by auditing the unsafe blocks?
Re:How Our Rust-to-Zig Rewrite Is Going by steveklabnik on Thursday July 16, 2026 @04:48PM (#48940014)
Every compiler has bugs.
Re:How Our Rust-to-Zig Rewrite Is Going by inigyou on Friday July 17, 2026 @05:42AM (#48945239)
Not what I asked
Re:How Our Rust-to-Zig Rewrite Is Going by whytevuhuni on Friday July 17, 2026 @03:04PM (#48951076)
If cve-rs exists, we still say that safe Rust is safe, in the same way that we say Python is safe despite potential bugs in its interpreter or native libraries, and that Java is safe despite potential bugs in the JVM or JNI libraries, and so on.