This sort of book is common in the Rust community, eg https://doc.rust-lang.org/... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		maxbond on March 28, 2022 \| parent \| context \| favorite \| on: High Assurance Rust: Developing Secure and Robust ... This sort of book is common in the Rust community, eg https://doc.rust-lang.org/book/ and https://serde.rs/ are two more examples many Rust programmers will come across.

eminence32 on March 28, 2022 [–]

Indeed. But in this case, it took me a while to figure out what exactly "high assurance rust" actually is :)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact