Lemmit.Online bot@lemmit.onlineMB to The Rust Programming Language@lemmit.onlineEnglish · 6 months agoSome notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-textcross-posted to: formal_methods@programming.devhackernews@lemmy.smeargle.fans
arrow-up11arrow-down1external-linkSome notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.orgLemmit.Online bot@lemmit.onlineMB to The Rust Programming Language@lemmit.onlineEnglish · 6 months agomessage-square0fedilinkfile-textcross-posted to: formal_methods@programming.devhackernews@lemmy.smeargle.fans
This is an automated archive made by the Lemmit Bot. The original was posted on /r/rust by /u/dochtman on 2024-05-16 05:07:17+00:00.
