Some notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.org/312681.html
31 sats \ 0 comments \ @hn 16 May tech
This link was posted by todsacerdoti 2 hours ago on HN. It received 108 points and 5 comments.
write
preview
related posts