botMB to Hacker News · 2 months agoSome notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.orgexternal-linkmessage-square0fedilinkarrow-up12arrow-down10file-text
arrow-up12arrow-down1external-linkSome notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.orgbotMB to Hacker News · 2 months agomessage-square0fedilinkfile-text