I last wrote in April about my work on speeding up the Rust compiler. Time for another update. (more…)

Summer! The time to slow down, relax, go to strange places, and do the projects that are long overdue. This summer I had the joy of spending my time in a lovely house near Lyon in France. In many ways the summer was like others, meaning there was … (more…)

Part 4 covers pattern matching, destructuring, and enums... (more…)

This is a delicate topic because the problem comes from the very top. The roadmap of 2017 contains this: "Outreach and mentoring is also one of the best avenues for increasing diversity in the project". When you click on the link to the mentioned survey, ...

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.