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