I am tired. Today was rough. This year has been rough. Everyone around me is
tired too. 2020 has been a hot mess, coming right after a not so hot 2019,
and a messy 2018. It's not just you. It's everything. It's okay. (more…)
Read more »
In this post we’ll apply the Kani Rust Verifier (or Kani for short), our open-source formal verification tool that can prove properties about Rust code, to an example from Firecracker, an open source virtualization project for serverless applications. We ... (more…)
Read more »
Rust is an open-source language developed by Mozilla. As per Stack Overflow's 2019 developer survey, Rust is also the most loved programming language. It is a low-level programming language focused on safety and performance. In this article, you'll learn ... (more…)
Read more »
This article is not comprehensive on the Rust Async topic but could be an easy overview if you have no idea about Async Programming in Rust or in general. If you are wondering about the new async/await keywords, Futures, and intrigued what Tokio... | Abid... (more…)
Read more »
I’ve been spending a bunch of time recently working on the LLVM AVR backend and integrating it into the Rust programming language.
Read more »