G graydon2.dreamwidth.org Some notes on Rust, mutable aliasing and formal verification 357 points todsacerdoti 2 years ago 145 comments
