Steve Loughran

Someone has put up a thoughtful post on whether you can view make as a proof system . I thought about it and have come up with a conclusi...

I was offline for 95% of the xmas break, instead investing my keyboard time into: (a) the exercises in Structure and Interpretation of Comp...

I don't normally post LinkedIn approaches, especially from our competitors, but this one was so painful it blew my "do your resear...

The Sony/N Korea spat is fascinating in its implications Never make an enemy of a nation state Any sufficiently large organisation is ...

Stonebreaker is at it again, publishing another denunciation of the Hadoop stack, with the main critique being its reimplentations of ol...

I am back from a 2+ week vacance in the French Alps —the first since 2009. More specifically, the first since the DVLA took away my driving ...

A conversation you never get at a hotel when you check in: "how many people will be having showers?" "oh, three of us"...