My last full day in Finland. Tonight I stay over at the Hansens, and tomorrow morning I take the 10:20 bus to the long-distance busstation, the 11:20 bus to Helsinki, a 17:00 flight to Zurich, a 22:40 flight to Johannesburg, and a 13:00 flight to Cape Town. My brother picks me up and I’ll probably [...]
I’m not a big fan of Easter. The shops are either closed or open at random times. At the very least I would prefer it to be at a fixed date, instead of jumping around between March 22 and April 25. Even if the formula were just a little simpler… Oh well. I intend to [...]
Yesterday was very odd. I was working on a technique called “sleep sets” and suddenly I began to feel very sleepy myself. Around 15:30 I was completely unable to continue, falling asleep at the wheel, so to speak. Had to go home for a nap. I am sure that word suggestion had something to do [...]
I must admit that I made something of an error yesterday by attributing the slogan of the Christian Democrats to the Perussuomalaiset Party. Oops. Oh well, they are quite far apart in election results, but probably share some of the sentiments of the slogan. Let’s not think about politics any more. It could have been [...]
I have been very quiet, all because I promise myself that I shall write something tonight, tomorrow, the next day, and on and on the wheel turns. Well, only one major event has occurred in the last month: I am now in Finland an have been here for two weeks. I hope that I shall [...]
I indicated yesterday that I would post some photo’s from the weekend, but this will have to be postponed for one day. I am, frankly, beat. Meaning I’m tired, tired, tired. I’ll have to call it an early night. Somehow, I did very little today but I have absolutely no energy.
Just a quick recap of what has happened since my last post here: I have been working hard on the FAST system and I am finally finishing up an important part (handling DiVinE models). I hope to finish testing on Friday and then to write a full model checker (or three) on Saturday and Sunday. [...]
Since January 3 I have tried to follow Tim Noakes’ training programme again. Except that I have tried at least three times before and failed three times before. So, I decided that I cannot face another six weeks of walking 20 minutes every other day, and I sped things up. I resolved to do one [...]
I mentioned last week that I am working on a nice algorithm. The idea was to implement a decoration for a web page. The decoration comprised a fleet of about 200 dots. They could rearrange themselves into a picture, stay at rest for a couple of seconds, and the rearrange themselves into the next picture, [...]
I promised on Sunday to explain a neat little algorithm I am working on, but I neglected to do so yesterday. And I am going to neglect again today. I am exhausted after the Bridging Course. The last three days of last week and yesterday and today I devoted to the course. Today and yesterday [...]