Anarchaia

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

16jul2007

Dependent Type System with Subtyping Type level Transitivity Elimination, by Gang Chen.

Do Lisp Programmers Really Exist?, open questions…

[wallcoo.com]_00938_sunsetoverstockholm_1600x1200 by Zhu.Chris

Reinen Tisch macht mit dem Bedranger!
Heer der Sklaven, wache auf!
Ein nichts zu sein, tragt es nicht langer
Alles zu werden, stromt zuhauf!
— Die Internationale

Pro-finite Lie rings and p-adic Lie algebras (PDF), by Leland McInnes.

Seaside got a new site. Nice.

full_wall by Zero as a Divisor

Cinematically mobile in the curved underworld of greater London , the Tube live.

Ja und dann fragst du mich: “Was schaust Du am liebsten an?”
Und ich sage: “Naturfilme, weil man da sehen kann
Wie schön die Welt ist und was die Tiere tun,
Wohin die Vögel ziehen wenn es kalt wird in Berlin.”
— Funny Van Dannen, Naturfilme

How Long Do You Need To Boil Water?, “The correct amount of time to boil water is 0 minutes. Thats right, zero minutes.”

Military Hides Cause of Women Soldiers’ Deaths, they died of dehydration in fear of being raped at nite. Words fail me.