Stories by fanf2

Squawk: A linter for PostgreSQL, focused on migrations

Unmaking the Makefiles: exorcising the Rust compiler test suite one file at a ti

Where Is HTTP/3? (2021)

Slow networking between cloud VMs on the same host

How did software get so reliable without proof? (1996) [pdf]

The Dawn of Formalized Mathematics (2021)

What's new in POSIX 2024 XCU commands and utilities

"A=B", a book about computer methods of discovery and proof of hypergeometric id

Inheritance was invented as a performance hack in Simula

Type Inference for Units of Measure

Implementing network time security (NTP NTS) at the hardware level (2022)

Beyond multi-core parallelism in Rust: faster Mandelbrot with SIMD

First clean water, now clean air

The Jujutsu version control system

Ionica: How the British weather killed a billion pound tech company (2021)

SEA-ME-WE3 submarine cable system retired

Programming Language Memory Models (2021)

Century-Scale Storage

Rate limiting, ATM cells, and GCRA

78 79 80 81 82 83 84 85 86 87