Francesco 🍥

Wrote down my notes on a very annoying topic -- stopping Linux threads in an orderly manner. Includes a fairly exotic use of rseq at the end based on an idea by @corsix . mazzo.li/posts/stopping…

I spent a good few hours figuring out under which conditions storing Go pointers in assembly is safe. Here's a little explainer: mazzo.li/posts/go-asm-p…

I've long wanted to wait on file descriptors and futexes at the same time. I've recently realized that it is now possible through io_uring: mazzo.li/posts/uring-mu…

A short post on using message authentication codes to make certain bugs in distributed transactions a lot harder. Saved my bacon more than once in the past year, and dead simple to implement. mazzo.li/posts/mac-dist…

Blog post: a very quick primer on Reed-Solomon coding. Most Reed-Solomon explanations rightfully focus on the finite fields bit, but I thought it'd be worth giving some intuition of how it works more generally. mazzo.li/posts/reed-sol…

Blog post: Lánczos interpolation explained: mazzo.li/posts/lanczos.… . Linear and cubic interpolation are easy to understand, but I thought the internet was missing a friendly description of sinc-based interpolation and Lánczos in particular.

I spent the weekend setting up a NixOS ZFS storage server with full-disk encryption on @Hetzner_Online . Since it wasn't very straightforward and I had to pull a few resources together to get it done, I wrote a detailed report on how I did it: mazzo.li/posts/hetzner-…