Friday, 18 July 2008
A US election site
Listening to:
Haydn, The Creation.
I can’t donate because I’m not in the US
This site is very amusing, and heart-warming too, because it looks as if the candidate is actually going to make his target.
Oh alright, I admit that I’d find it rather less heart-warming if the politician didn’t also seem to be espousing the right sort of message...
Tuesday, 4 December 2007
Overheard on IRC
Listening to:
Bach, Fantasia and Fugue in C minor, BWV 537, played by Peter Hurford.
Why is it only now, when I come to write the slides, that I realise how weak some of the things we’re proving are?
Monday, 2 July 2007
Formalisation and Specification
Listening to:
Mozart, Divertimento in B flat, K.99. Played by the Vienna Mozart Ensemble, led by Boskovsky.
Dijsktra Making Good Sense
And if you have not a ready-made function [...] at your disposal in terms of which to describe the net effect of such a compound statement, invent this function and be sure that its properties are nice and also the ones that you want. If you cannot find such a function, don’t ignore that warning, for then you are on the verge of messing things up.
From EWD-273 by Edsger Dijkstra.
(Perhaps I’m going to turn this weblog into my commonplace book, though I do want to get back to the backlog of book reviews...)
Friday, 22 June 2007
A Day in the Life of a Cat
Listening to:
Schubert, symphony no. 9 “the Great”, played by the Dresden Staatskapelle, conducted by Sawallisch.
Tie a Camera to the Cat’s Neck...
This cool site describes how a guy attached a camera to his cat’s neck, so that on the cat’s return he could see what the cat had been up to. One comment in the attached guestbook does point out that
All the CatCam shows is where a cat goes when he’s trying to get something off his neck.
but reading about the process of getting a camera onto a cat’s collar is interesting enough, let alone getting to look at some of the attached pictures.
Tuesday, 19 June 2007
Gold Farming
Listening to:
Villem Kapp’s 2nd symphony.
Today’s link: from the NYT
An interesting article about industrialised game-playing: Chinese loot-farming in World of Warcraft.