This paper, which appeared in OSDI 2018 , considers the question of how to design a read-optimized RDBMS database with built-in support for ... (more…)

A blog post titled, "Diving into Go by Building a CLI Application" has been making it's rounds of the internet. It uses a small XKCD downloader as the subject. I thought was small and self contained enough, that it'd be interesting to see the same exam... (more…)

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

The fastest, safest binary serializer now with a hint of Rust. (more…)

Below is a graphical depiction of moving, copying, and borrowing in the Rust language. Most of these concepts are fairly specific to Rust and are therefore a common stumbling block for many learners. (more…)