Stories by fanf2

Tony Hoare: How did software get so reliable without proof?

CandyFab: A DIY 3D sugar printer

MacBook lid angle sensor sound effects

GNU Autotools Mythbuster

Cargo-remark: view LLVM optimization remarks for Rust

A more perfect [derive] for Rust

Nontransitive comparison functions lead to out-of-bounds read and write in glibc

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

13
14
15
16
17
18
19
20
21
22