Stories by fanf2

Coherence and crate-level where-clauses in Rust. (2022)

Weird monitor bugs people sent me in the last 5 years (2022)

How to check you're in the initial PID namespace? (2022)

Sandboxing all the things with Flatpak and BubbleBox

Most information about disinformation is misinformation. (2021)

How I prepare a talk for a tech conference (2022)

Strcpy: A niche function you don't need. (2021)

RefinedC: Automating the foundational verification of C code with refine (2021)

Okhsv and Okhsl: two new color spaces for color picking. (2021)

Puzzles to convince you you don't understand dependence. (2022)

Lambda to Ski, Semantically [pdf]

The undocumented Microsoft "Rich" PECOFF header. (2021)

Computing Adler32 checksums at 41 GB/s. (2022)

Exploring Clang/LLVM optimization on a programming horror. (2021)

Magnetic Halbach Array

From culinary dud to stud: how Dutch plant breeders built a brussels spr (2022)

Magic-trace: Diagnosing tricky performance issues easily with Intel Proc (2022)

Life before Unicode in Russia. (2021)

A nasty bit of implicit timezone behavior in Golang. (2021)

A cool Rust optimization story. (2021)