(no subject)

[gwillen]

I know I never post, but this is far too beautiful not to link to, and you should read it.

http://worrydream.com/LadderOfAbstraction/

(I like it totally independent of the random dig at the practicality of type theory, near the end. But I did laugh.)

Comments

[ikeepaleopard]

I had a meeting or two with him at Apple. Smart guy. You might also like http://worrydream.com/KillMath/

[http://users.livejournal.com/_tove/]

this is so good