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.