logoalt Hacker News

Ar-Curunirlast Thursday at 9:48 PM3 repliesview on HN

What? Zig is definitively not memory-safe, while safe Rust, is, by definition, memory-safe. Unsafe rust is not memory-safe, but you generally don't need to have a lot of it around.


Replies

Graziano_Mlast Friday at 12:52 AM

The second you have any `unsafe`, Rust is _by definition_ not memory-safe.

show 2 replies
ummonklast Thursday at 10:44 PM

Safe Rust is demonstrably not memory-safe: https://github.com/Speykious/cve-rs/tree/main

show 1 reply
rurbanlast Friday at 10:54 AM

By definition yes. There were a lot of lies to persuade managers. You can write a lot into your documentation.

But by implementation and spec definitely not.