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.
Comments