@bOtM to Hacker News • 6 months agoSome notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.orgmessage-square0arrow-up11arrow-down10file-textcross-posted to: programming
arrow-up11arrow-down1external-linkSome notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.org@bOtM to Hacker News • 6 months agomessage-square0file-textcross-posted to: programming
