Rust Articles, Tutorials & News

Type-Level Programming in Rust

I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Fi…

Read more »

Why Not Rust?

I’ve recently read an article criticizing Rust, and, while it made a bunch of good points, I didn’t enjoy it — it was an easy t…

Read more »

Box Plots at the Olympics with Rust

In this section, we’re going to use 120 years of Olympic history to create two visualisations. Let’s set our sights on something that illustrates the age and height in athletes grouped by the differen…

Read more »

Building even faster interpreters in Rust

Firewall Rules lets customers filter the traffic hitting their site, powered by our Wirefilter engine. We’re excited to share some in-depth optimizations we have recently made to improve the performance of our edge.

Read more »

Why Not Rust for Security?

I read a Why Not Rust? article the other day that was quite good but dismissed the most important reason to use a language to me: security. After having worked on a Rust codebase for almost two years now, I thought I would chime in, even though I’ll prefa…

Read more »