Stories by fanf2

Ghosts of departed proofs. (functional pearl) (2018)

Dnsclay: DNS UPDATE/AXFR/NOTIFY to many custom DNS operator APIs gateway

Implementing virtual system calls with vDSO

What color is your markup?

At 34 for v5.34: Modern Perl features for Perl's birthday

Rewrite it in Rust: a computational physics case study

Hash function design, SMHasher and Goodhart's Law

Post Office Trial: Marshall spells it out in a speech to University of Law

I have come to bury the BIOS, not to open it: The need for holistic systems

A fast revese linear scan register allocator for Cranelift

Normalcy bias: it's not cool to overreact

CouchDB Prevents Data Corruption: Fsync

A multithread concurrency cost hierarchy

Bitsquatting Windows.com

Program logics à la carte

Move constructors in Rust: is it possible?

Leaving the basement: scaling up Mastodon at Hachyderm (2022)

Profiling in production with function call traces

The CVM cardinality estimation algorithm

44
45
46
47
48
49
50
51
52
53