logoalt Hacker News

selfmodruntimeyesterday at 2:03 PM1 replyview on HN

This isn't propaganda, the Rust compiler's rules when using the unsafe keyword are difficult to uphold, which is why the community wrote Miri.


Replies

Ygg2yesterday at 4:02 PM

Ok, and how does, in your opinion, compiler rules enforcement work in an unsafe block?

And how does Miri help solve this issue?

show 1 reply