Archive for June, 2007

Parse error

Monday, June 25th, 2007

I just got an email from Virgin Media. The first part I noticed was:

it’ll cost 25p per minute to call from a Virgin home phone, plus 10p to connect.

I immediately thought, “What on earth? Surely they don’t expect customers to stick around with such extortionate call charges.” Then I noticed the context, and realised that it possibly should have read:

it’ll cost 25p per minute to call it from a Virgin home phone, plus 10p to connect.

The actual wording was fine, but the way I started parsing it made me interpret it in completely the wrong way. “It” in the actual wording means “our broadband helpline number”; but initially I parsed it as the dummy subject of an impersonal sentence, so I thought it was saying all calls from a Virgin home phone would have those charges. The altered wording adds an “it” referring to this helpline as the object of the embedded verb phrase, making my interpretation the only sensible one.

In the real world, I did two interesting things today. First, I went to the CS office to pick up my degree results: I was awarded a 2:1. I then went to talk to Dr Berger about applying for an MRes; this I have now finally done, as well as an EST bursary which would require going to Munich for a few months (no downsides there!). I mentioned the result, and he said it was disappointing, because the overall score was about 67%, only a couple of points off a first. Annoyingly, I won’t know for certain what pulled me down for some time because I was only told the overall classification, not marks for each module. Even the average I only know informally, because Uli told me. But the bad marks are apparently on the German side, so as a CS student I’m better than I look on paper.

Posted in confused, diary, language, news, uni | 2 Comments »

Abstract category theory is like…

Sunday, June 24th, 2007

… writing without nouns.

But ahhh, to write nounlessly is to live anew, not to be tied to thinking concretely, not to be anchored, not to be grounded, but rather to lift off and fly, as if previously to write was just to crawl, penned in, hemmed in, restricted.

And I might add, like an Oasis song, to say everything and yet say nothing. (The traditional way to express this is to call it “abstract nonsense“; the book Abstract and Concrete Categories: The Joy of Cats has this cute limerick which captures the feeling:

There’s a tiresome young man from Bay Shore.
When his fiancée said, “I adore
The beautiful sea,”
He said, “I agree,
It’s pretty, but what is it for?”)

Journal time: I came back from a week back home in Hampshire today, after going with my brother to the Muse concert at Wembley on Sunday. (Woo! That was brilliant!) We also went to a Spanish restaurant for Dad’s birthday, which was pretty tasty.

Our degree results came out yesterday, but I wasn’t around to get them, so I’m having to hold my breath until Monday.

Posted in art, beauty, category theory, diary, music, news, TCS | No Comments »

Unix pipelines vs. lazy evaluation

Sunday, June 3rd, 2007

(In response to Gimbo.)

Speaking of Unix, I have thought that there is a pretty close connection between lazy evaluation and Unix pipelines. On the xmonad home page there’s an example for using dzen that looks like this:


while true ; do
    date +"%H.%M %a %b %d"
    sleep 60
done | dzen2 -ta r -fg ’#a8a3f7’ -bg ’#3f3c6d’


Of course, if that was strictly/eagerly evaluated, dzen would never run, because of the infinite loop. But what actually happens is that the two commands, joined together by a pipe (indicated by the | character), are executed in parallel; the while loop runs date, producing some output, which it writes to a pipe (just a first-in-first-out buffer shared by the two processes); it sleeps for 60 seconds; then it runs date again; sleeps again; …, ad infinitum. Meanwhile, dzen reads its output, until there is none left, then blocks until the loop provides more.

(more…)

Posted in code, Haskell, thinking aloud | No Comments »

QOTD XII

Friday, June 1st, 2007

I’m here to shoot a pilot.

— Nobody, apparently. A director called Mike Figgis was supposed to have said it, but apparently the story was a hoax. But it still makes a funny example of what not to say to the security people at an airport.

Posted in confused, funny, language, QOTD | No Comments »