Stories by fanf2

The tar archive format, its extensions, and why GNU tar extracts in quadratic ti

A tutorial implementation of a dependently typed lambda calculus [pdf]

Anaphoric macros introduce hidden bindings in Lisp

What Next in Programming Languages?

Game math: precise control over numeric springing

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

16
17
18
19
20
21
22
23
24
25