Some notes on Rust, mutable aliasing and formal verification

news.ycombinator.com

saved by: 0 people
related read on: Some notes on Rust, mutable aliasing and formal verification discussion