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.
Read more »Google Xi: A modern editor with a back end written in Rust
xi-editor – A modern editor with a backend written in Rust.
Similar
Pijul – The Mathematically Sound Version Control System Written in Rust
In this article, we'll discuss Pijul - an alpha stage version control system that is gaining traction in the community. (more…)
Read more »Arbitrary: Rust library to construct arbitrary instances of a type for fuzzing
The Arbitrary trait. Contribute to rust-fuzz/arbitrary development by creating an account on GitHub. (more…)
Read more »What Does C++ Do That Rust Doesn’t?
I want to preface this by saying these are my two primary languages. I have a healthy respect for both and plan to focus on both regardless. I know this is a provocative question, and I am a beginner in both languages. (more…)
Read more »sōzu: Rust hot reconfigurable reverse HTTP proxy
sozu - Sōzu HTTP reverse proxy, configurable at runtime, fast and safe, built in Rust. It will be awesome when it will be ready. Not So Secret Project! Ping us on gitter to know more... (more…)
Read more »The latest Rust news to your inbox. Once a month.
No spam and it’s easy to unsubscribe.