Stories by fanf2

Lecture notes on the π-calculus and Concurrent ML [pdf]

Minimal Version Selection Revisited

Swarm Testing Data Structures

From Krivine's machine to the Caml implementations [pdf]

Magic Namerefs in Bash

2025 M7.7 Earthquake at Mandalay in Burma / Myanmar

Linux desktop on Apple Silicon M1 in practice

The Nickel Configuration Language

Dissonance: A journey through musical possibility space

The enduring puzzle of static electricity

A gentle introduction to liquid types

Intransitive operator precedence: we can do better

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

32 33 34 35 36 37 38 39 40 41