News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.