Recorded talks from the 1st Rust Verification Workshop, held online on Apr 7, 9 and 12, 2021 See: https://sites.google.com/view/rustverify2021/home... (more…)

Serving ML for 150+ million users using Rust: a couple of lessons! (more…)

Introducing the new Azure Quantum Development Kit Preview. Built in Rust and WebAssembly to be small, fast, and runs in the browser. (more…)

Last week I wrote the first post in this series, where I introduced the project and wrote about generating Rust code for the parsed Postgres AST. I also wrote about the need for wrapper enums in the generated code, but I don’t think I went into enough det... (more…)

Over the last few weeks incremental compilation has reached a level stability and performance where we think it is ready for more widespread testing. We invite everyone who is already using the nightly version of Rust to switch the feature on and enjoy th...