Stories by fanf2

Pg_auto_failover: PostgreSQL extension and service for automated failover and hi

Eradicating Trivial Vulnerabilities, at Scale

Enabling Touch ID for sudo on macOS, before and after Sonoma (2023)

Socrates is a state machine: sans IO with async Rust

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

14
15
16
17
18
19
20
21
22
23