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

Async/Await for AVR with Rust

With the recent ability for Rust to target AVR, it's time for me to bring my favorite feature of Rust to Arduino: async/await. Asynchronous code allows for doing (seemingly) multiple things at once, without the memory or CPU overhead of threads. (more…)

Read more »

Vector in Rust

Vector is a core collection in Rust. Vector(Vec) can be used for storing a list of values or even if you need a Stack - it's your data type... (more…)

Read more »