A arxiv.org Bringing Rust to Safety-Critical Systems in Space 64 points belter 2 years ago 22 comments