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.”