Stories by fanf2

Fuss, futexes and furwocks: fast userlevel locking in Linux [pdf]

Creating a read-only PostgreSQL user

Hollerith 1890 census tabulator and the evolution of the IBM punched card

A programmer's field guide to assertions

NaN-propagation: a novel method for sparsity detection in black-box computationa

A brief consideration of input shapes for fuzzers

The Centenary of the Loudspeaker

Rod Bustall: In Memoriam

Taming the Bicycle, by Mark Twain

Mix-testing: revealing a new class of compiler concurrency bugs

Parsing Distfix Operators

A tiny (1000 lines), fastish, embeddable scripting language that can be AOT comp

Legacy safety: the Wrocław C++ wg21 meeting

Xtool: A cross-platform Xcode replacement

Updating a large codebase to Rust 2024

The seven virtues of simple type theory / higher-order logic [pdf]

Using Lxcfs Together with Podman

Flat design vs. rich ("skeuomorphic") design: a bibliography

Why Metropolis–Hastings Works

Map Projection Transitions

1
2
3
4
5
6
7
8
9
10