Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
01mar2008
Bacon-flavored Vodka, WJW.
PiDuce is a distributed implementation of pi-like process calculi with native XML datatypes developed at the Department of Computer Science of Bologna. Neat mix.
Well it kind of struck me funny
Sort of made me smile
After all these years on this old road
— Neil Young, Beautiful Bluebird
word bridie: the word game for twitter, “part buzzword bingo, part drinking game”: Predict which words people you follow will use in an update and earn points when they do!
CD Cover Meme on Flickr.
Secrets, a collection of Mac OS X user defaults. Very useful.
Haskell-style monad do-notation for Ruby, most awesome hack by Aanand Prasad that I actually planned to do myself, but never got around to.
Down at the factory, they’re puttin’ new windows in.
The vandals made a mess of things, and the homeless just walked right in.
Well, they worked here once, and they live here now, but they might work here again,
They’re ordinary people.
And they’re livin’ in a nightmare, hard workin’ people.
— Neil Young, Ordinary People
Satnam Singh: Declarative Programming Techniques for Many-Core Architectures, talk from the Functional Programming seminar at Ericsson, 21 February 2008.
The Seven Virtues of Simple Type Theory, by William M. Farmer. This paper surveys the virtues of simple type theory and attempts to show that simple type theory is an attractive alternative to first-order logic for practical-minded scientists, engineers, and mathematicians. It recommends that simple type theory be incorporated into introductory logic courses offered by mathematics departments and into the undergraduate curricula for computer science and software engineering students.
Powered by Nukumi2 0.5.