Anarchaia

Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)

17jul2008

The Development of Intuitionistic Logic, at the Stanford Encyclopedia of Philosophy.

Muphry’s Law and typoes in the bible.

Light Excercise by Reciprocity

I don’t believe in miracles
I don’t believe in forgiving
I don’t believe in I can go on
I won’t remember why
I don’t believe in long goodbyes
Never look back for me
— Gary Numan, Miracles

The most beautiful suicide, stunning.

Book Covers, an excellent blog.

Scrap your type applications (PDF), by Barry Jay and Simon Peyton Jones. “We introduce System IF, for implicit System F, in which many type applications can be made implicit. It supports decidable type checking and strong normalisation.” Highly useful.

A relational calculus for the design of distributed algorithms, by Frans Johan Rietman.

Constructing a fair 3 sided coin, tricky.

Warten auf den Regen,
der den ganzen Dreck wegspritzt,
der in meiner Strasse und meiner Wohnung
und in meiner Seele sitzt.
— Die Toten Hosen, Regen

Winged Invaders by Reciprocity

ICFP Contest 2008 in TeX, WJW. More than WJW. Most badass I saw lately. (And the code is less evil than you may imagine.)

dtwitzen is a compact twitter client using dzen.

Flexibin, it’s probably the most elegant and functional waste bin in the world. Gotta get wire.