Banning Elsevier, scientists of the world, unite!
Teaching Semantics with a Proof Assistant: No more LSD Trip Proofs (PDF), by Tobias Nipkow. “We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic.”
Euclidean and non-Euclidean algebra (PDF), talk by Vaughan Pratt.
The TeX Hierarchy (PDF), by Donald Arseneau, Raymond Chen, and Victor Eijkhout.
MH-V, an exmh-like interface for MH/nmh mail with GTK+ colors and Vim key bindings.
Scaling GitHub, slides by Zach Holman.
How Not To Sort By Average Rating, by Evan Miller.
RFC for the 7XX Range of HTTP Status codes: Developer Errors
The Nomad’s Ger, Mongolia’s instant house.
Test your vocab, how many words do you know?
Cumming soon: the Fleshlight iPad case, NSFW.