Blog

Here’s what I’m doing this week: the 28th annual Mathematical Foundations of Programming Semantics conference. I am presenting a paper there, “A graphical foundation for schedules”, joint work with my PhD supervisors Guy McCusker and John Power. There’s a preliminary version of the paper which will eventually appear in ENTCS. The talk had slides, though they contained unnecessary illustrative animations which are not there on the pdf.

Tea is more complicated than I thought…

I saw this letter on Twitter this morning:

> The annual Sunday Times Rich List yields four very important conclusions for the governance of Britain (Report, Weekend, 28 April). It shows that the richest 1,000 persons, just 0.003% of the adult population, increased their wealth over the last three years by £155bn. That is enough for themselves alone to pay off the entire current UK budget deficit and still leave them with £30bn to spare.

Creeeeepy!

GSC Game World, the recently closed-then-reformed Ukrainian development team behind the first-class Stalker series, has announced that they won't be continuing development on Stalker 2.

Wait, what?

I was delighted yesterday to discover that Ed Brayton, who used to host one of my all-time favourite political podcasts, Declaring Independence Radio, has recently started hosting a new show: Culture Wars Radio.

Here's what happened when me and a few friends went to London to show our opposition to the atrocious Health and Social Care Bill 2011. The one currently being forced through parliament with a middle finger to all who look on.

I feel it's important to document what I witnessed at this demonstration since, as many have noted, there has been little-to-no coverage of this protest by the BBC and other UK mass media. A deeply worrying trend for anti-government protests, but one others are better placed to comment on than me.