Shrink, Reduce, and Implode: The Legacy Zip Compression Methods, by Hans Wennborg.

Apple M1 Microarchitecture Research, by Dougall Johnson.

Algebraic Graphs with Class (Functional Pearl), (PDF, 2017), by Andrey Mokhov. Really deserves the title “pearl”.

Micro-Tracer (1987), a little awk-script for verifying state machines. By Gerard Holzmann.

The Design of Forms in Government departments (1962), compiled by the Organisation and Methods Division of Her Majesty’s Treasury.

Humble Alternatives to Daylight Savings Time, by Ben Orlin.

The Names of Donald Duck’s nephews, as a map.

totally_safe_transmute, line-by-line, oh no.

A Fascinating Gallery of Ziplock Seals

The egg project uses e-graphs to provide a new way to build program optimizers and synthesizers.

Fair-by-design matching, by David García-Soriano and Francesco Bonchi. “Although many optimal solutions may exist to a given [bipartite] matching problem, when the elements that shall or not be included in a solution correspond to individuals, it becomes of paramount importance that the solution be selected fairly.” Provides alternatives to the Gale-Shapley algorithm.

Designing a RISC-V CPU, Part 1: Learning hardware design as a software engineer, by Hannah McLaughlin.

Fermat’s Last Margin, a tool for annotating research papers and sharing those annotations.

Schemepunk, a kitchen-sink utility library for several R7RS Scheme dialects.

Finding Mona Lisa in the Game of Life, by Atul Vinayak.

When The Prison Banned Board Games, We Played Chess In Our Minds

Routing the technical interview, by Lars Hupel.

Zotero PDF Reader, adds a tabbed PDF reader to Zotero. Really good already.

valgrind-false-positive, “A deep investigation into a valgrind false-positive that took me like 15 hours to figure out.”

Monsky’s theorem states that it is not possible to dissect a square into an odd number of triangles of equal area.

Egison is a programming language that features extensible efficient non-linear pattern matching with backtracking for non-free data types.

Train Spotting, tracking down old pictures of the PDP-1.

Lotus 1-2-3, now in an xterm next to you, thanks to Tavis Ormandy.

How SREs Solve Problems at Home (Making my Dumb Fridge Smart), by Eric Volpert.

6502 Spreadsheet Assembler and Linker

The Kilobyte’s Gambit, a 1k JS chess game.

Complexity class or designer drug?