Some notes on Rust, mutable aliasing and formal verification(graydon2.dreamwidth.org)
323 points by todsacerdoti | 119 comments
A Dreamwidth blog post by Graydon Hoare with notes on Rust, mutable aliasing, and formal verification; the capture shows only a captcha check page.