2 ms·
This appears to be an online book (with a physical version forthcoming) that will teach you rust with a focus on "building performant software we can justifiabl
by eminence32 5y ago
This appears to be an online book (with a physical version forthcoming) that will teach you rust with a focus on "building performant software we can justifiably trust".
I think this is a learning resource (and not, for example, a more formal set of tools to write "high assurance rust").
- maxbond 5y agoThis sort of book is common in the Rust community, eg https://doc.rust-lang.org/book/ https://doc.rust-lang.org/book/ and https://serde.rs/ https://serde.rs/ are two more examples many Rust programmers will come across.
- eminence32 5y agoIndeed. But in this case, it took me a while to figure out what exactly "high assurance rust" actually is :)