Hacker News new | ask | show | jobs
by thingsgoup 1600 days ago
The article says that Rust does not have a formally defined memory model. What is an example of a formally defined memory model?