Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
12nov2006
Training and Voyage of Laika, the first dog in space. Very in-detail.
Light Logic and Polynomial Time Computation (PDF), PhD theis by Kazushige Terui. If proofs correspond to programs by Curry-Howard, what corresponds to polytime programs?
I stood unwound beneath the skies
And clouds unbound by laws.
The cryin’ rain like a trumpet sang
And asked for no applause.
— Bob Dylan, Lay Down Your Weary Tune
I’d Buy That for a Dollar, John Gruber on why Microsoft pays royalties for music players.
Guts, an awesome short story by Chuck Palahniuk. NSFW. Not for epileptics or easily disturbed people. Seriously.
Mind the Gap, essay by Paul Graham. “Technology had made it possible to create wealth faster than you could steal it.”
GODI provides an advanced programming environment for the Objective Caml (O’Caml) language. “It is a framework that automatically builds the O’Caml core system, and additionally installs a growing number of pre-packaged libraries.”
He asks you how it feels
And he says, “Here is your throat back
Thanks for the loan”
— Bob Dylan, Ballad Of A Thin Man
Should Social Bookmarking be Anonymous?, by Muhammad Saleem. Mentions 2ch.
Glasswing Butterfly (Greta Oto) is a brush-footed butterfly where its wings are transparent. The tissue between the veins of its wings looks like glass. Neat.
Iran – The Next Nuclear Power?, by MotorMachineMercenary. “In this article I argue that economic sanctions even if imposed will not be effective in stopping Iran’s nuclear program, and that military intervention is unlikely. Therefore Iran will join the nuclear club and it is only a matter of time.”
Tales of the Dodecahedron, “From Pythagoras to Plato to Poincaré”. A talk by John C. Baez.
Payphone Warriors, Domination in real life, whooo!!
talk20 goes to Boston…, I wish they posted the slides.
Powered by Nukumi2 0.5.