News for hackers. Stuff that matters.

A comment on How Our Rust-to-Zig Rewrite Is Going. Parent comment

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?
[ Parent | on HN ]
Re:How Our Rust-to-Zig Rewrite Is Going by steveklabnik on Thursday July 16, 2026 @04:48PM (#48940014)
Every compiler has bugs.
[ Parent | on HN ]
Re:How Our Rust-to-Zig Rewrite Is Going by inigyou on Friday July 17, 2026 @05:42AM (#48945239)
Not what I asked
[ Parent | on HN ]
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.
[ Parent | on HN ]