Skip Navigation
Hacker News @lemmy.smeargle.fans bot @lemmy.smeargle.fans
BOT

Some notes on Rust, mutable aliasing and formal verification

0
0 comments