Stories by fanf2

The modern text rendering pipeline: Unicode, bidi, segmentation, shaping

Shared memory consistency models: a tutorial. (1996) [pdf]

Fun and Weirdness with SSDs and PostgreSQL

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

1
2
3
4
5
6
7
8
9
10