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…)

This week-end project started by browsing the open-data repository of Paris’ public transport network, which contains various APIs to query real-time departu... (more…)

TL;DR: There are some ways how you can reduce the binary size of (Rust) programs that contain debug information. (more…)

It has been more than six months since my last post on the Rust compiler’s performance. In that time I lost one job and gained another. I have less time to work directly on the Rust compiler than I used to, but I am still doing some stuff, while also work... (more…)

Rust SSH client & server library. Contribute to warp-tech/russh development by creating an account on GitHub. (more…)