Accidentally I found out that the British Parliament also has such a webcam, see here. Quote from today's debate: "terrorism is wicked and must be stopped".
Yesterday I studied some more theory on Formal Methods, and today I started the practical work. I finished the first assignment, which is about analysing a very simple protocol. The picture here is a instantiation of a system where two 1-bit buffers are put in sequence.
There has been a new release of the program I use for this website, PhpNuke. I've just installed it, and things seem to work fine.
Not a lot of changes, but the new version has a few features that are useful for me as administrator. Most important though is the fact that it's more secure (for the experts: it now allows register_globals() to be off).
A nice thing is the fact that there are a few new Themes, have a look at them here.
It was a nice evening with musaka and a movie: "Kissing a Fool". Quite amusing. If you have a decent internet connection you could look at the movie's trailer here (in QuickTime), or at a longer preview here.
A little further down the Spaarne both the sides of the river are blocked for traffic and there's another big street that will be used for a market and children-games instead of for cars.
There are 39 cities in the Netherlands with a car-free Sunday, in Bulgaria 82 (see their website).
The car-free day is an invention of the French minister Dominique Voynet; it started in France in 1998.
Jaap & Mieke just left, back home. I'm afraid they didn't win again, they were beaten by the ultra-powerful Hooimarkt Posse... Sasha & Guus rule!
We had a really nice evening again, perhaps with a little bit more Grimbergen than good for us, but very cosy.
I am so very happy I won a game! We didn't make an appointment for next week. Sasha and I will stay in Haarlem for the demonstration and tournament on Saturday and Sunday, both in Haarlem.
Yesterday I studied some more theory on Formal Methods, and today I started the practical work. I finished the first assignment, which is about analysing a very simple protocol. The picture here is a instantiation of a system where two 1-bit buffers are put in sequence.
Exactly one hour ago (at 6:55) autumn started.
