Putting the Rust in Trust

After working at Data61 with the verification team, and many conversations with
Gerwin Klein, I have a good plan on how I think I want to achieve the goal of
Trustworthy Rust.

Similar

Rust Starter Kit 2020

People were arguing about Rust’s std lib recently, so I went through the Cargo.toml of all the Rust projects I’ve written since 2015 and picked out the choice tools that get used over and over again. Up to date as of October 2020. (more…)

Read more »

Rust makes cross compilation child’s play

Why do I care about this Recently I solved this delta issue, where the maintainer asked to switch from Travis CI to GitHub actions. These are all the pull requests I’ve done if you want to have a look at this journey: #399, #400, #409, #411, #413, #417 an... (more…)

Read more »