Rust Articles, Tutorials & News

Rust: Your code can be perfect

A 6-minute lightning talk explaining how you can write perfect code with rust.Start here: to commenters an…

Read more »

Xilem: An Architecture for UI in Rust

Rust is an appealing language for building user interfaces for a variety of reasons, especially the promise of delivering both performance and safety. However, finding a good architecture is challenging. Architectures that work well in other languages gen…

Read more »

Kani Rust Verifier

The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project.

Read more »