Suddenly it's December...

Just come back from Sainsbury's, laden with exotic fruits and cheese. I now have dolchelata, blue stilton, applewood smoked chedder, german black-pepper coated salami, mango, paw-paw, sharon fruit and a canteline melon, among other things. Oh, and scotch bonnet chillis, which look funky. Should be a nice week on the gastronomic front...

Active uni stuff sort of finishing for the term, giving my last lecture thingy tomorrow on intuitionist logic (mainly semantics and the Curry-Howard correspondence I guess). Means I get to do reading on interesting things now I have time. My supervisor told me a bit more about game semantics yesterday, which was really quite interesting, so I'm looking forward to things. Reading up on that, category theory and type theory, maybe some more concrete language design things too. Should be fun.

I wonder what audience I'm writing for.