The APL Progamming Language Source Code, the Computer History Museum
is pleased to make available the source code to the 1969-1972 “XM6”
version of APL for the System/360 for non-commercial use: “Written
entirely in 360 assembly language, this version of APL took control of
the whole machine. It implemented a complete timesharing operating
system in addition to a high-level language.”
Generalization of Conway’s “Game of Life” to a continuous domain: SmoothLife, by Stephan Rafler. Video.
An introduction to small scale reflection in Coq (PDF), by
Georges Gonthier and Assia Mahboubi.
International Spring School on Formalization Of Mathematics,
lots of introductory material related to Coq and SSReflect.
Mosh for Android, a fork of Irssi Connectbot. This now works on my Desire Z.
Google Homepage Size Over Time, the bloat!
Why I Two-Space, by Steve Losh. I do, too (and Emacs supports it as well).
Garfield as Garfield, starring the 20th President of the United States.