Stories by fanf2

A contribution to the development of Algol. (Algol W, Wirth and Hoare)

Bare messages: binary application record encoding

Measuring CPU instruction reorder buffer capacity. (2013)

Supply chain security for the 0.001% (and why it won't catch on)

A Theory of Law [pdf]

A content defined chunking algorithm testbed

Testing time (and other asynchronicities) in Golang

Chapel's runtime types as an interesting alternative to dependent types

Offline: Tonga was cut off from the internet by a volcano

Batched Critical Sections

Mixologician: Drinking with Datalog

Thanet, Tanit and the Phoenicians: place-names, archaeology and pre-Roman tradin

NFS at 40

Rust ints to enums with fewer instructions

Type Theory and Functional Programming (1999) [pdf]

An empirical study of type-related defects in Python projects [pdf]

RISC-V Conditional Moves

The science behind King's College's wildflower meadows

Recursive data structures. (Hoare, 1973) [pdf]

Tuning async IO in PostgreSQL 18

9
10
11
12
13
14
15
16
17
18