Enforcing Database Transactions with Rust

Rust’s ownership model enables enforcing the use of database transactions, while still allowing single queries without transactions.
Read more


Rust: Zero-Cost Abstraction in Action

One of my colleagues was experimenting with Rust. He started by writing a sudoku solver which he has already written in C before. Once he was completed writing it in Rust, he was very disappointed because Rust version was twice as fast than the C version ... (more…)

Read more »

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... (more…)

Read more »

Implementing a Linear Quadtree in Rust

I’ve been working on a video game for some time now. This game has a lot of 2D spacial data I want to query.But most of this data is sparse, so using a grid would waste a lot of memory.As an optimization I employed a linear Quadtree. In this post I’ll exp... (more…)

Read more »