(no subject)
Continuing to be super-nerdsniped by that correspondence between lambda-calculus and graph theory that noam has been working out lately. Really beautiful stuff, and it smells like the results he's got already are the (already impressively large) tip of a bigger iceberg.