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

Moore’s Law is just about done. It once described a trend of transistor count doubling every 24 months (enabled by increasing the density of transistors by making them ever-smaller). Now: (more…)

As a beginner to deploying Rust code on AWS Lambda, I hit a speed bump using Rusoto to call AWS APIs during the function run. Calling AWS APIs from Lambda functions is of course not required, just typical. (more…)

I started working on libblkio in 2020 with the goal of creating a high-performance block I/O library. The internals are written in Rust whi... (more…)

I've built a lot of command-line tools over the years, mostly in C or C++, but also in Java, Python, Rust, Turbo Pascal, etc. I mostly rolle... (more…)