bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 11 months agoSome notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.orgexternal-linkmessage-square0linkfedilinkarrow-up12file-textcross-posted to: [email protected]
arrow-up12external-linkSome notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.orgbot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 11 months agomessage-square0linkfedilinkfile-textcross-posted to: [email protected]
