Rust is not race condition free unless it the compiler does formal verification ...

		mratsim on Sept 9, 2023 \| parent \| context \| favorite \| on: Maybe Rust isn’t a good tool for massively concurr... Rust is not race condition free unless it the compiler does formal verification like Ada/Sparks? It is data-race free however.