Stories by fanf2

"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

Wislist for Linux from the mold linker's POV

Where do debuggers find shared library paths in core dumps?

Formalising Graphs with Coinduction in Agda

Getting random rows much faster with tablesample in PostgreSQL

The 12-bit rainbow palette

Precise inference of expressive units of measurement types

Counting unique web site visitors without using cookies, UIDs, or fingerprinting

Incremental TT munchers: perhaps the most powerful macro parsing technique in Ru

58
59
60
61
62
63
64
65
66
67