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. (more…)
Read more »We improved the performance of our Rust app
A writeup of our journey to improve the performance of Zellij… Read more
Similar
Youki v0.1.0, a container runtime in Rust that can be used with K8s is available
✨ New Features... (more…)
Read more »Tokio, the async runtime for Rust, hits 1.0
We are pleased to announce the 1.0 release of Tokio, an asynchronous runtime for the Rust programming language. Tokio provides the needed building blocks for writing reliable networking applications without compromising speed. It comes with asynchronous A... (more…)
Read more »Photon: High Performance Image Processing in WebAssembly / Rust
A WebAssembly image processing library that delivers blazing performance and can be called via JS. (more…)
Read more »Compiling Rust Is Testing
This post is a very short contemplation of Rust compilation (times). Don’t expect anything super insightful, just a bunch of thoughts that came up while I was listening to the Rustacean Station podcast. (more…)
Read more »The latest Rust news to your inbox. Once a month.
No spam and it’s easy to unsubscribe.