Resolution 5 of the 28th CGPM (2026) abolishes leap seconds. And there was much rejoicing.

Two-Stack Sliding-Window Aggregation and Monoid-augmented FIFOs, deamortised, two ways to efficiently compute on streaming data.

The Solid-State Register Allocator (2022), by Matt Keeter.

Topos Theory: A Unified Approach to Independence, recorded course by Amir Akbar Tabatabai.

Making dns_erlang Fast: Binary Tricks for the BEAM, by Nelson Vides.

Lotus Improv on the NeXT, by Christopher Drum.

Software TAN generator for German ChipTAN.

UbuWeb is back online after a short hiatus (2024-2025).

The NIST Elliptic Curves Seeds Bounty Has Been Claimed, “We now know how the seeds of the NIST elliptic curves were generated: they’re not the hash of some saucy sentence, but the output of drand48 seeded with the time, which was indeed in 1997–98.”