Rust makes it impossible to introduce some of the most common security vulnerabilities. And its adoption can’t come soon enough. (more…)

Recently I’ve been working on a project to surface census data via a GraphQL API, mostly as a way to learn GraphQL. I did end up learning GraphQL, but I also ended up learning a lot about proc macros. I was using Juniper, which creates a GraphQL schema us... (more…)

When you run a Rust program, you may be tempted to think that the first code to execute is the main function. However, this is far from the case. In this tal... (more…)

Bringing the Rust language to the Xen Project? Yes! But how? And where to start? Discover more in our first article in a future series dedicated to our journey in the Rust and Xen world! (more…)

Getting started with program analysis in Datalog by building a simple backwards symbolic execution engine in DDlog & Rust. (more…)