gwillen: (Default)
gwillen ([personal profile] gwillen) wrote2011-10-11 03:34 pm

(no subject)

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.)
ikeepaleopard: (Default)

[personal profile] ikeepaleopard 2011-10-12 01:11 am (UTC)(link)
I had a meeting or two with him at Apple. Smart guy. You might also like http://worrydream.com/KillMath/

[identity profile] http://users.livejournal.com/_tove/ 2011-10-12 02:37 pm (UTC)(link)
this is so good