News for hackers. Stuff that matters.

A comment on Some notes on Rust, mutable aliasing and formal verification.

Re:Some notes on Rust, mutable aliasing and formal verification by kzrdude on Thursday May 16, 2024 @05:22AM (#40376532)
Written on May 15th 2024 which was the 9th anniversary of Rust 1.0
[ Parent | on HN ]

There are no comments on this comment yet.