Stories by fanf2

Ferrari's Formula One pit-stops and handovers from surgery to intensive care [pdf]

XFT (cross fault tolerance) and XPaxos: practical fault tolerance beyond crashes [pdf]

Naming the Net: The Domain Name System, 1983-1990

Counter Galois Onion: Improved encryption for Tor circuit traffic

The Penicillin Myth

The Essence of LR Parsing (1995)

Implementing dependent types: how hard could it be? (Part 2)

Nonpareil: High-fidelity HP calculator simulator

Implementing dependent types: how hard could it be? (Part 1)

UC Davis medical school became remarkably diverse

Source code linking in C2Rust: merging C headers into Rust modules

Container Security: A Developer Guide

Libfive: Solid Modelling with Functional Representations

What now? Handling errors in large systems

USB in a nutshell: making sense of the USB standard

Sum Types in Julia and Rust

Updating the Golang Memory Model

Zig in 30 Minutes

Think you can't interpose static binaries with LD_PRELOAD? What about QEMU?

RISC OS and NetBSD running on the same SoC

16 17 18 19 20 21 22 23 24 25