bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 6 months agoSome notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.orgexternal-linkmessage-square0fedilinkarrow-up12arrow-down10file-textcross-posted to: programming@zerobytes.monsterformal_methods@programming.dev
arrow-up12arrow-down1external-linkSome notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.orgbot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 6 months agomessage-square0fedilinkfile-textcross-posted to: programming@zerobytes.monsterformal_methods@programming.dev