Having a CI system is very convenient to ensure that your project contains no
bugs. But running tests locally before pushing is also a great solution. By
running tests before every commit, we ensure that each of them is working
independently (as they shou... (more…)
Read more »
Google has begun using Rust in settings where memory safety and performance are key considerations, including in key Android systems.
(more…)
Read more »
Spoiler: C++ is not faster or slower – that's not the point, actually. This article continues our good tradition of busting myths about the Rust language shared by some big-name Russian companies. (more…)
Read more »
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 »
TL;DR: This post documents my attempts of building a Rust binary in CI that would work on older Linux systems. I was using GitHub Actions, but it should be also applicable for other CI systems. You can find the final solution at the end. (more…)
Read more »