Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
22mar2008
Twiddla is a free no-setup, web-based meeting playground. Very neat.
MacBook Air USB hacks, WJW. Really.
The wolf came in, I got my cards, we sat down for a game.
I cut my deck to the queen of spades, but the cards were all the same.
Dont murder me, I beg of you, dont murder me. please, dont murder me.
— Grateful Dead, Dire Wolf
Pi-calculus on Wikipedia. I always thought it was ugly, but actually it’s pretty nice.
Infinitary Logic are logics which can have infinitely long statements or infinitely long proofs.
So blow your whistle freight train
Take me far on down the track
I’m going away, I’m leaving today
I’m going but I ain’t coming back
— Bill Browning, Dark Hollow
Friends of the High Line, a 501(c)(3) non-profit organization dedicated to the preservation and reuse of the High Line – a 1.5 mile, elevated railway that runs along the West Side of Manhattan. Beautiful.
When Are Two Algorithms the Same?, by Andreas Blass, Nachum Dershowitz, and Yuri Gurevich. Tricky questions.