Friday, 14 April 2000

Work and play

Listening to:

Pink Floyd Dark side of the moon. My office-mate is having a week and a half off in the US. My neighbour is also away all this week. This means that I can dispense with the headphones, and listen to my music the way nature intended! :-)

Work-list, play list

Work, work, work. Cooper's algorithm for deciding Presburger arithmetic, the semantics of C, contexts, action calculi, the lambda calculus, type systems, subject reduction, interactive theorem proving.

Play, play, a little. If music be the food of love, play on, swimming, badminton, games on computers or not, big college feasts in honour of ancient benefactors.

And there I must leave you, because both of the above are today taking precedence over my compulsion to document my life.