No hillwalking today.

Doing formal programming language semantics today. The reason for the quick changearound is that this is my preliminary week, surveying what I've got to do. I've been spending one day per course (that takes me up until tomorrow), then I'm going for more sustained bursts. I seem to try a different strategy every time; I'm not sure of the merit of this approach, but to be fair it hasn't served me too badly up until now.

Politicions seem surprised that there's guerilla warfare in Iraq. Hardly surprising. C4 news ran footage from before the current conflict started, of Rumsfield and various .us politicians. Interesting how they basically said it'd be a walk in the park. I'm more inlcined to think that they knew exactly what mistruths they were peddling, and believed it wouldn't matter once war started.

US making noises about Syria arming Iraq. I wonder if it's time for us to head to the hills; do you think Bush knows who armed Iraq before?

Amusing to hear the Syrian spokesperson respond generally to the concept of war on Iraq rather than the specifics of arming them.