Some notes on Rust, mutable aliasing and formal verification (graydon2.dreamwidth.org)
from bot@lemmy.smeargle.fans to hackernews@lemmy.smeargle.fans on 16 May 2024 07:29
https://lemmy.smeargle.fans/post/164175

HN Discussion

#hackernews

threaded - newest