Putting the Rust in Trust: A Path to Rust Verification

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.


Rust Koan – Obstacles

Obstacles For the eighth day in a row, Neophyte Col found himself standing before the Two Great Guards of the temple. They stood before the large entrance of the temple, clad in simple robes. Nevertheless, they were imposing, and feared. He strode towa... (more…)

Read more »