OpenBSD 7.2 has been released.

rset(1), configure systems using any scripting language.

JRM’s Syntax-rules Primer for the Merely Eccentric, by Joe Marshall.

Elevator Saga: The elevator programming game

Troubleshoot and make a sad server happy!, “Capture The Flag challenges. Train and prove your debugging skills.”

Spacewar!, original 1962 game code running on a PDP-1 emulator in JavaScript.

smolnes, a NES emulator in ≈5000 significant bytes of C++.

RFC XXXX: Asynchronous Rock-Paper-Scissors over Instant Message by Flisk.

Discovering novel algorithms with AlphaTensor, doing matrix multiplications with fewer operations.

Staged Compilation with Two-Level Type Theory (PDF), by András Kovács at ICFP 2022.

Ox64 is a RISC-V based Single Board Computer powered by Bouffalo Lab BL808 C906 64-Bit RISC-V CPU, 32-Bit CPU, embedded 64MB PSRAM memory and build-on 3 radio RF (Wifi, BT, Zigbee). To appear in November.

Get root on macOS 12.3.1: proof-of-concepts for Linus Henze’s CoreTrust and DriverKit bugs (CVE-2022-26766, CVE-2022-26763), “For years, macOS allowed any root certicate when checking code signatures, making code signing completely useless.”

Selected Papers of Dana S. Scott

Pan Galactic Division, by Richard Evan Schwartz. “Let A and B be sets. Suppose there is an injective map from A x {0,…,n-1} into B x {0,…,n-1}. Then there is an injection from A into B.”

On proof and progress in mathematics (1994), by William P. Thurston.

Der Dornier DO-960 Analogrechner