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.


Performance Showdown: Rust vs. JavaScript

After spending some weeks playing with Rust, I felt ready to test my skills and try some programming challenges in the [Advent Of Code](https://adventofcode.com/). My approach to tackle some of those challenges was to solve them using Javascript (I use it... (more…)

Read more »