Lynn Conway (1938–2024)

POSIX.1-2024 has been published!

Oregon Programming Languages Summer School 2024, videos and lecture notes are up!

Will we continue scientific research? (1972), by Alexander Grothendieck. Translated by Peio Borthelle.

A Machine-Checked Correctness Proof of Normalization by Evaluation for Simply Typed Lambda Calculus (PDF, 2017), by András Kovács.

Beyond the wall: Working with aperiodic tilings using finite-state transducers, by Simon Tatham.

The Gilbert–Johnson–Keerthi algorithm explained as simply as possible.

SIGMOD Programming Contest Archive, “SIGMOD hosts a yearly competition to design a system which performs a set of queries as quickly as possible. The contests provide a starting framework and test harness. They make great intermediate database projects for learning.”

PID 0 in V1 UNIX (and V4 nsys, and the PDP-7 proto-UNIX), by наб.

Apotris is a multiplatform open-source block stacking game.

Forsp, a Forth+Lisp Hybrid Lambda Calculus Language

Nokja Original, Classic 3310 Cellphone Font.

Principia Mathematica as a map.

A potpourri of cool-looking scripts

Your API Shouldn’t Redirect HTTP to HTTPS, by jviide.

A Machine-Checked Direct Proof of the Steiner-Lehmus Theorem, by Ariel Kellison. “A direct proof of the Steiner-Lehmus theorem has eluded geometers for over 170 years.”

Assessing Game Balance with AlphaZero: Exploring Alternative Rule Sets in Chess, by Nenad Tomašev, Ulrich Paquet, Demis Hassabis, and Vladimir Kramnik. “By learning near-optimal strategies for each variant with AlphaZero, we determine what games between strong human players might look like if these variants were adopted.”

A Grand Unified Theory of the AI Hype Cycle, by Glyph.

Iconv, set the charset to RCE: Exploiting the glibc to hack the PHP engine (part 1), by Charles Fol. Kill it with fire, I’d say.

Taming Floating-Point Sums in Rust, by Orson R. L. Peters.

Schröders Traum, “Bruno Schröder war Bergmann in Ibbenbüren. Als er stirbt, hinterlässt er 70.000 Bücher.”

City In A Bottle – A 256 Byte Raycasting System

The world’s last internet cafes

Quine Clock