Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
16dec2006
The 10 most dangerous play things of all time, enjoy.
Food, fuel and land, by Sgt York. “OK, let’s just admit something to ourselves. The use of corn-derived ethanol as a fuel source is non-feasible. The use of soy biodiesel is also non-feasible.”
Luca Cardelli has lots of great slides about OO calculi, pi-calculus and membrane systems online.
Attempto Controlled English is a controlled natural language, i.e. a rich subset of standard English designed to serve as specification and knowledge representation language. ACE allows users to express professional texts precisely, and in the terms of their respective application domain.
It’s a long way down
On this roller coaster
The last chance streetcar
Went off the track
And you’re on it
— Alanis Morissette, Mary Jane
The Banach-Tarski paradox, “A ball can be decomposed and reassembled into two balls the same size as the original.”
Man with no pulse considered a medical breakthrough, “The new mechanical heart, which is powered by batteries located in pouches on Mr. Langevin’s body, provides a continuous flow of blood so the patient has no pulse.”
Does it take much of a man to see his whole life go down,
To look up on the world from a hole in the ground,
To wait for your future like a horse that’s gone lame,
To lie in the gutter and die with no name?
— Bob Dylan, Only a Hobo
Higher-order abstract syntax, by Frank Pfenning and Conal Elliott. “Higher-order abstract syntax incorporates name binding information in a uniform and language generic way.”
Powered by Nukumi2 0.5.