John Horton Conway (1937–2020), RIP. More. More.

How we abused Slack’s TURN servers to gain access to internal services

Synthesizing optimal 8051 code, by whitequark.

Ten Lessons I Wish I Had Learned Before I Started Teaching Differential Equations (PDF), by Gian-Carlo Rota. Brilliant rant.

Edge, a text editor. Has some very unique features.

edwood, an implementation of the Acme editor in Go.

io_uring By Example, by Shuveb Hussain.

regex2fat, compile regular expressions into file system images. Yes, really.

Dumpster fires

RFC 8771: The Internationalized Deliberately Unreadable Network NOtation (I-DUNNO), by A. Mayrhofer.

RFC 8774: The Quantum Bug, by M. Welzl.

IPv14C: A 14C dilution of IPv4 in IPv6, by me.

Release cycle about SMTP stack, all in OCaml. By Calascibetta Romain.

Let’s Prove Leftpad, a repository of provably-correct versions of Leftpad.

Andy’s working notes, by Andy Matuschak.

Chef Stef’s NES Arkanoid “warpless” in 11:11.18, “It beats said run by 1 minute and 13 seconds through the use of new strategies discovered by a brute-forcing bot. The entire movie was generated programmatically; no manual input was involved.”

What is the smallest possible valid PDF?

Pauli chess, “Up to two pieces may occupy the same square.”