(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.)
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.)
no subject
no subject