Stories by fanf2

Checking firewall equivalence with Z3

Move fast and migrate things: how Benchling automated migrations in Postgres

FOSDEM 2019: a new view from the NOC

There and Snack Again: How to Eat Everything in the Lord of the Rings

Vulnerability postmortem: A curious case of convexity confusion in Skia

Analysis: Why the UK's CO2 emissions have fallen 38% since 1990

A 6502 assembly language monad in Haskell

Rules for a Better Conference Name Badge (2017)

All late projects are the same (2011) [pdf]

Using BGP to calculate fastest paths around the London Underground

The death of transit and the future Internet [pdf]

Bats and dolphins evolved echolocation in the same way

The 26,000-year astronomical monument at the Hoover dam

JVM issue: concurrency is affected by changing the system time

The Story of Squeak, a Practical Smalltalk Written in Itself (1997)

A Sql to C compiler in 500 lines of code [pdf]

Abusing 2FA to maintain persistence after a password change

World's oldest periodic table chart found in St. Andrews

Tinykaboom: how to ray-trace an explosion

Why do Americans claim to be more religious than they are?