Memories of Molly Holzschlag, by Eric Meyer.

Lean 4.0.0 has been released!

FLENG 16 has been released; “a low level concurrent logic programming language descended from Prolog.”

UK air traffic control meltdown, summarized by James Haydon: “On 28 August 2023 NATS, the UK’s air traffic control operator, suffered a major technical incident. The BBC reports that more than 2000 flights were cancelled and the cost has been estimated at over £100 million GBP.”

Papers with computer-checked proofs (PDF), a case study by Daniel J. Bernstein.

Furstenberg sets estimate in the plane, by Kevin Ren and Hong Wang.

Introduce new ‘git replay’ command, a proposal to make rebasing possible without checkouts and working trees.

A systematic approach to debugging, by Nicole Tietz.

Fast Tokenizers with StringScanner, by Aaron Patterson. Has nice tricks.

Pagefind adds a static search bundle to your built files, which exposes a JavaScript search API that can be used anywhere on your site.

Myst Parodies, collected by Michael Klamerus.

FIFO queues are all you need for cache eviction, by Juncheng Yang. “In this blog, I will describe a Simple, Scalable eviction algorithm with three Static FIFO queues (S3-FIFO).”

Browsing the web with a WonderSwan in 2023, by asie. “Oh, it also came with a web browser supporting a subset of HTML 3.2, tables, GIF images, reading Japanese websites, a bookmark system, and cookies. On a handheld competing with the Game Boy Color.”

Bcrypt at 25: A Retrospective on Password Security, by Niels Provos. (Curiously, it’s still better than Argon2 for login-interactive usages!)

Mathematical table turning revisited, by Bill Baritompa, Rainer Löwen, Burkard Polster, and Marty Ross. “We investigate under which conditions a rectangular table can be placed with all four feet touching a continuous ground by turning it on the spot.”

Pirouette: Higher-Order Typed Functional Choreographies (PDF), by Andrew K. Hirsch and Deepak Garg at POPL 2022. “We present Pirouette, a language for typed higher-order functional choreographic programming. Pirouette offers programmers the ability to write a centralized functional program and compile it via endpoint projection into programs for each node in a distributed system.”

The Technical Development of Internet Email (PDF, 2008), by Craig Partridge. From 1971 to 1991.

Two types of work, by David R. MacIver.

Purity and Ford write a min filter in Singeli, by Marshall Lochbaum.

Topaz Double, a double-height recreation of Amiga’s iconic Topaz typeface.

Coffee offers performance boost for concrete, “the team developed a technique to make concrete 30% stronger by turning waste coffee grounds into biochar, using a low-energy process without oxygen at 350 degrees Celsius.”