bOt@zerobytes.monsterM to programming@zerobytes.monster · 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.orgbOt@zerobytes.monsterM to programming@zerobytes.monster · 6 months agomessage-square0fedilinkfile-textcross-posted to: formal_methods@programming.devhackernews@lemmy.smeargle.fans
