Re:Some notes on Rust, mutable aliasing and formal verification
by Jaxan on Thursday May 16, 2024 @03:24AM
(#40375996)
I read the linked article by Boats and found it great. I was really amazed by the 50-years old quote by Hoare, itβs still relevant and very well put.
[ Parent
| on HN ]
There are no comments on this comment yet.