Elegance and the Surreals, Reg Braithwaite implements surreal numbers in Ruby.
entschwindet und vergeht, “the only good architects are dead architects.”
Dinatural Transformations and Coends, a bit of abstract Haskell.
Anecdote Driven Development, or Why I Don’t Do TDD, by Ovid.
Self has got a new web site! As well as a tech preview of the next release.
Dependent Types at Work (PDF), Lecture Notes for the LerNet Summer School
Piriápolis, Uruguay, February 2008. A gentle introduction.
Interactive Theorem Proving for Agda Users, lecture slides.
c-repl, a REPL for C.
The Cult of Done Manifesto
“Top” four instant sound effect sites, an essential Internet guide.
Passive Aggressive Anger Release Machine, WJW.
Headset Hotties, no thanks, I prefer Headph0ne Phet1sh.
Burn, a crazy flash game.
New Math, by Craig Damrauer.
Buttersafe, a web comic you must subscribe to.
Matrix und der Grenzübergang am Limes