The Free Universal Construction Kit, WJW.
Typhoeus is a Ruby library to run HTTP requests in parallel while cleanly encapsulating handling logic. Uses libcurl.
bsddistmake is a patch for OpenBSD’s make(1) allowing distributed builds. Nice.
My Pie Town, by Debbie Grossman. “Imagine an America in which all-female families survived the Great Depression raising children and farming homesteads in the absence of men.”
The Point of the Tamagotchi was to Watch Things Die
My Git Habits, by Mark J. Dominus. Quite individual, but very thoughtful.
The Man Who Broke Atlantic City, “Don Johnson won nearly $6 million playing blackjack in one night, single-handedly decimating the monthly revenue of Atlantic City’s Tropicana casino.” Exciting.
The Bisexuality Report is now available, made for the UK, but probably applies to whole Europe.
A Decision Procedure for Regular Expression Equivalence in Type Theory, by Thierry Coquand and Vincent Siles. Features a nice definition of inductively defined finite sets.
Deciding Kleene Algebras in Coq, by Thomas Braibant and Damien Pous. Very detailed and clear exposition.
Binary combinatory logic (BCL) is a formulation of combinatory logic using only the symbols 0 and 1.
Tailin’ Ruby, by Magnus Holm. Using tail-recursion in Ruby, or emulations thereof.
HEXEN 2.0 is a project by British artist Suzanne Treister. HEXEN 2.0 charts the coming together of diverse physical and social sciences in the framework of post-Second-World-War US governmental and military imperatives.
Time in the 10,000-Year Clock (PDF), by Danny Hillis, Rob Seaman, Steve Allen, and Jon Giorgini.
Pre-Millennium Tension: The Dali Clock Y2K Easter Egg, jwz tells it all.
Men have become the tools of their tools.
— Henry David Thoreau
Practical Foundations for Programming Languages (PDF), by Robert Harper. Very comprehensive, yet clear written.
Why Eager Languages Don’t Have Products and Lazy Languages Don’t Have Sums
Programming with Algebraic Effects and Handlers, by Andrej Bauer and Matija Pretnar. Describes the foundations of their language eff.
A Tutorial Implementation of a Dependently Typed Lambda Calculus, by Andres Löh, Conor McBride and Wouter Swierstra. Really nice paper.
Functional Programming, Program Transformations and Compiler Constructions (PDF), PhD thesis by Alexander Augusteijn (1993). Clear, functional expositions of many compiler-related concepts.
MixML is a complete redesign of the ML module language.
Few Examples of Lisp Code Typography
Programming Perl, 4th Edition.
ELLCC is a project to using Clang and the LLVM (Low Level Virtual Machine) compiler infrastructure. Uses the NetBSD libc.
bandwidth, sheesh. Trivium: 17kB.
ISBN to BibTeX Converter, can save some time.
Der Bäcker von nebenan, traditionelle Betriebe statt Massenware in München und Umgebung.
Mari0, “A complete from scratch recreation of Super Mario Bros. with a focus on perfectly imitating the feel the 1985 classic gave us. Then give Mario a portal gun, add puzzle game mechanics from Portal and there you go.”
Classic Nintendo Games are (NP-)Hard, by Greg Aloupis, Erik D. Demaine, Alan Guo.
Photos Captured the Moment the Camera is Destroyed by a Bullet
Rubber Duck, 10 x 11 x 13 meters.