HackerNewsBot , 15 days ago Some notes on Rust, mutable aliasing and formal verification https://news.ycombinator.com/item?id=40375341 #hackernews #tech
Some notes on Rust, mutable aliasing and formal verification https://news.ycombinator.com/item?id=40375341 #hackernews #tech