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.