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.

Similar

How to Use Diesel ORM in Rust

Diesel is a framework for Object Relational Mapping and Query Building. It’s goal is to get rid of alot of boilerplate code usually needed for interacting with a database. It should feel like Rust, so that the developer does not need to write SQL and inst... (more…)

Read more »