Archive for May, 2008


Saturday, May 24th, 2008

We went to maplin this afternoon, mostly to spend the maplin vouchers that my former co-works gave me when I left (thanks).

thus forth follows a boring story about electricity

Things & Stuff

Thursday, May 22nd, 2008

We have a new shower curtain, now the whole house smells of inflatable beach toys. The new shower curtain has a map of the world on it which doesn’t include Belize.

I went to a logic seminar this afternoon, It included Linear Logic in the title; I’m interested in Linear Logic but I didn’t understand much of the talk/discussion, It seemed to revolve around an argument about game semantics for proof and Category Theory which I also don’t understand.

On conference

Wednesday, May 14th, 2008

Good things about being on conference

  • Free food
  • Interesting conversation

Bad things about being on conference

  • Complete exhaustion
  • No wife
  • Too much free food
  • Bad coffee

The conference hotel appears to be in the process of being re-built; complete with booming noises and the building shaking when they drive piles in next door. This morning the electrickeriy cut out for about 20 minutes leaving somebody trying to explain the curve of their graph to people by hand waving. The wireless here keeps breaking, you can tell it has down again when everybody starts fidgeting having realised that they might have to at least pretend to pay attention to the speakers.

Was something of a relief to discover that I was not  the last person in the group who went to my first conference in 2002 in Lyon to graduate.

Moving House

Tuesday, May 6th, 2008

Thanks to everybody who helped us move on Saturday/Sunday much appreciated! We will endeavor to re-buy your friendship with dinner/booze at some point.

Some things we have learned from our new house so far:

  • How to re-felt a shed roof
  • That everything is much warmer when you live above ground.
  • How to re-plumb a leaking kitchen sink mixer tap.
  • How not to solder pipe joints when re-plumbing a kitchen sink mixer tap.
  • How to clean up a lot of water from your kitchen floor.
  • That trimming hedges is a lot more fun when they belong to you and you have an electric hedge trimmer.
  • That hedge clippings take up a lot of space.
  • Where to buy garden bags.
  • That Twerton does not get freeview!