Stories by fanf2

Evolution of the ELF object file format

Beyond Booleans in Lean

Default musl allocator considered harmful to performance

A new packaging model for Rust in Guix

Why Lean 4 replaced OCaml as my primary language

What's //Go:Nosplit for in Golang?

Fs_usage: See filesystem activity on Mac OS X

Activity Monitor anatomy: memory accounting on Mac OS

Clubcards for the WebPKI: smaller certificate revocation tests in theory and pra [pdf]

Delta debugging: simplifying and isolating failure-inducing input with automatic

Wendelstein 7-X sets new performance records in fusion research

CRDTs are built on an elegant kernel, but offer a leaky abstraction that mislead

ChaCha12-BLAKE3: secure, simple and fast authenticated and committing encryption

WeakC4: A search-free low-knowledge solution to 7x6 Connect 4

Limits of instruction-level parallelism (1991) [pdf]

ALS Lamon Typeface Review

The cryptographic sponge and duplex constructions

Predecessor Search [pdf]

Why everyone gets the Formula 1 inerter wrong

Stable mutable references in the Ante programming language

30 31 32 33 34 35 36 37 38 39