Post

Andrew Lilley Brinker@alilleybrinker.com

Apparently Soteria Rust is gone? It was a formal methods mechanism for proving properties about Rust code with nondeterminism that I learned about from @sunshowers.io, but the GitHub repository appears to be gone and the org readme says they’re “embarking on a new adventure.”