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 »
In this article, we'll discuss Pijul - an alpha stage version control system that is gaining traction in the community. (more…)
Read more »
The Arbitrary trait. Contribute to rust-fuzz/arbitrary development by creating an account on GitHub. (more…)
Read more »
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 »
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 »