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
Myst Parodies, collected by Michael Klamerus.