Stories by fanf2

Type-Level Programming in Rust

Lambda calculus, Church numerals, and Graham's number

Revisiting a 'Smaller Rust'

A Future for Debugging Rust

Drop order in Rust: it's tricky

Applying “make invalid states unrepresentable”

Dissecting Lemire's nearly divisionless random number generator

SaferNode: A Python script to isolate NPM inside short-lived Docker containers

Tales from the science fiction bar-room

Saving space (basically) for free by re-ordering columns in PostgreSQL

Magic Wand Rechargeable Teardown

HOPL: An online historical encyclopaedia of programming languages

Lambda Calculus Diagrams (2015)

Compiler hardening and exploit mitigations for unsafe Rust

Outflank-mailman: stop Mailman from breaking DKIM signatures

Rob Pike on Colour Blindness

The weight of buildings and the raising of Chicago

A typed, algebraic approach to parser combinators [pdf]

Modular, composable, typed optimizations in the tagless-final style (2019)

Techade quiz: A near-impossible guessing game of tech through the decades