Stories by fanf2

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

Zeloof Z2 homemade silicon integrated circuit

A early history of algebraic data types

Timing Conclusions: GPS, NTP, PTP Timing with Linux

Is IP fragmentation still considered vulnerable?

CHERI with a Linux on Top

Is sound gradual typing dead? Performance problems in Typed Racket (2016)

Pairs not taken: a history of twisted pair Ethernet

Type theory and functional programming. (1999) [pdf]

26 27 28 29 30 31 32 33 34 35