Farewell, Finland

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 be back in Kleinmond at 20:00.

I had wanted to make many more postings here while I visited Tampere, but the first six weeks were extremely busy and the last two weeks I completely relaxed.  So I’ll have to recount my adventures once I get back to the Replublic.


East, Easter, Eastest

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 work hard this weekend on two different papers. Tuesday was not my best day, and yesterday was also a little if-fy. But yesterday evening I went to Rauhaniemi sauna with Heikki and Susanna, and we did a little winter swimming. The ice is breaking up on Näsi-lake, and it is definitely not safe to walk on. But the water was about the same temperature as in the rest of winter and it was very refreshing. When I say “swim” I don’t mean for hours or even minutes. I usually go in about 2 or 3 meters, dip my head below water once, and then get the hell out as fast as possible. It helps not to think about it going in, but afterwards the feeling is great. This was my first time visiting Rauhaniemi, and I must admit that I prefer the Kaupinoja public sauna. But it was undeniably hot enough and I thoroughly enjoyed it. I think I shall go again next week!


Sleepy

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 with it. But it is a tricky subject…well, not that tricky. I was just frustrated because I have to incorporate it into our framework and it is not perfectly clear how it should operate.


Boo-boo

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 worse, but there has been enough talk about it in the news.

Let me rather outline, but the benefit of those people who are absolutely bored, my daily routine. I wake up at about 7:30 and try to be at the office at 8:00, although this slips to 8:10 some days (like this morning). Sometimes I wake up much earlier and manage to get here at 7:00, but that is unusual. The cafeteria opens at 8:30, when I have coffee and a sandwich for breakfast. Usually with Henri, but sometimes on my own. Lunch is at 11:00, almost religiously, and most of the time I follow the group. They have dietary preferences that are stricter than my own: I just want to eat. There are four restaurants on campus, usually serving three dishes each. So that is a choice of 12. Wednesdays the group goes out for kebabs (Kebab Keskiviikko) and Fridays for pizza (Pizza Perjantai), but these customs are entirely local. Lunch can take anything from 30 minutes to 1.5 hours.

Either around 13:00 or 14:00 is the coffee break. In between I consume too much Coke, have a couple of smoke breaks (about once every two hours) and if I remember, some chewing gum. The rest of the time I either read papers, scribble in my “ideas book”, or stare at the screen and work on either writing or programming. This morning, for example, I have a chunk of low-level programming to finish. We plan to write a paper for the start of May and our experiments need to be finished by next week at the latest. (Yesterday Henri had a brilliant idea and now we are going to try it out in our new system.)

Most of the staff here leave at 16:00-18:00, but I usually try to push on to 20:00 or even later. Yesterday was an exception and I went home at 18:30, about the earliest I have ever left. The first week was a little exceptional, since I had to make a few trips to the bank, the store, and the housing agents, but now thing have settled down into this routine. Weekends are a little different but not much.

This must be the most boring paragraphs I have written in a long time. They are boring even to me. But the real point is that if I can keep up the pace, it should start to pay off with a couple of papers by the middle of May. And now I return to my work.


Hello from Suomi

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 be able to fill in a few of the details of this momentous occurrence in the coming days, but let me just mention for the record that I have not been idle. I’m sure there have been many lazy moments, but overall I have been working hard for the last two months. And the details of that shall follow too.

But perhaps it is more appropriate to discuss something topical tonight. Today was Finland’s national elections and Henri and Jenni invited me to dinner and to watch the results come in. And another fact for the record: Jenni’s cooking is superb and the food was delicious. A sudden craving for a onion-ripping hot dog was squashed by delicious moose meatballs and carrot-and-onion soup. Followed by a jetski  — private joke.

The election outcome was shocking. The “Perussuomalaiset” won more eats than anyone expected. They are a somewhat nationalistic party (slogan: Koti, Uskonto, Isänmaa = Home, Religion, Fatherland), but more of a protest movement. Perhaps it is fair to call them the Tea Party of Finland. In the last numbers I saw they had the largest share of the popular vote but, in a complex system that I do not fully understand (or at least am too tired to explain), not the most seats. What this means is that they appealed to voters throughout the country and that their support was not concentrated in any particular region.

They seem to be a bit of  mixed bag, but the basic protest seems to be against immigrants and too much involvement in Europe. People are not really keen to send millions of Euros to Ireland, Greece, and Portugal. Is the counterargument that the other nations shall bail Finland out when it gets into trouble? For now it seems unlikely that Greece will send the millions of Euros back should such a situation arise, even in the medium term. Who knows what the long term may bring. But nobody here protests too much to send money to Lapland or Åland, remote corners of Finland with small populations. Why not? Perhaps they do, without telling me about it. But it is difficult to avoid the suspicion that the proximity of those places makes the sacrifices more palatable. After all, those people are Finns, and you may know someone from there.

Exactly what the Perussuomalaiset’ success at the polls will mean for the government and for Europe remains to be seen. But probably not by me, at least not from this distance. I go home in six weeks and have a ton of work I want to finish before I leave.


Beat up

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.


Update and downdate

Just a quick recap of what has happened since my last post here:

  1. 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.  This is an optimistic plan, but one I hope I can execute.  It means that I might start breaking new ground next week and have some new results by the end of March.  Unfortunately my plan to share this project with my Finnish collaborators has hit an obstacle: our IT department seems unwilling to open up our server to the outside world and I’m still negotiating a settlement.
  2. I have had a long long weekend in Vleesbaai and Kleinmond, both very rewarding.  I have some photo’s from Vleesbaai that I shall try to process and post tomorrow.
  3. I have not had a run since last Thursdays, but I plan on two tomorrow.

Failure! Retry? Abort?

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 session in the morning, and one in the afternoon. Since the start of the programme entails one session every two days, this meant that I simply did one sped-up session per day. Just to make sure I did not go overboard, I inserted a rest day after every nine days of the programme.

Everything went well until last Thursday. The programme demanded — demanded — that I run for 15 minutes and then walk another 15. I could not even manage the first five minutes of running, even though I had done it once before. I could claim that my location forces my to run at least 8 minutes uphill for a start. It’s just an excuse, but a rather good one, I think. Nevertheless, I cannot escape the fact that I have failed once again.

In response, I have totally aborted the programme. Or at least, suspended it. I am determined to try to run the 15 minutes of my route until I get it right. Slowly, day by day for the last seven days, I have tried to shorten those parts that I am forced to start walking. Of course, some days are better than others, but I reckon that by the end of next week I shall be able to run all of it. It may take longer than 15 minutes, but I am abandoning that part of the plan until I am running all of it. The professor would not be pleased at this switch from time to distance, I’m sure. But once I can reliable (i.e., twice) run the whole route, I’ll resume his programme. I did one circuit this morning and another this evening, as almost every other evening. The dogs along the route have stopped barking at me by now. I may rest tomorrow, even though my nine days are not up yet. My bones are hurting. I have, in fact, gone through several stages of pain. Shinsplints came first, then muscle soreness, and at one point my spleen was cramping. Oh, how I wish it would start again. That is the best kind of pain.

I have also switched from music on my iPod to audiobooks. I kind of regret this, but now I’m hooked on the book (Howard’s End, free off Gutenberg Press) and I’ll stick it out. Then I’ll decide whether to switch back to music or another classic that my education has neglected.  Perhaps the Call of the Wild.


Getting the ducks in a row

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, rest, and then rearrange themselves, and so forth. Two questions arise:

(1) How to arrange the dots to best approximate a picture. The picture is black and white, the dots are white and move on a black background. So colour is not an issue. My first thought was to use simulated annealing or genetic algorithms to let the points “wiggle” themselves into an optimal covering of the picture, but a few experiments show that a grid layout worked best, and that the open question was how far to space the points apart.

(2) An easier (but trickier to implement) problem was how to move the points from one configuration to the next. I decided to have each point move at little as possible, a kind of last squares fit. But on reflection I decided on a simpler approach: compute the distance from each point’s in the first configuration to a point in the second configuration. The pair with the smallest distance are added to the final list, and then the procedure is repeated. Points already on the final list are of course excluded. The challenge was to implement this in as little space and as efficiently as possible. I ruled out the full matrix representation.

All of this is now moot, since I decided on a very different decoration. So there.

I have been busy the last few days, setting up the new website for our department. It is almost ready to go live. Part of this site is a collection of photos from the Bridging Course we just completed. Below are a couple of the pictures that I like best. As always, I’m at my worst when I have to photograph people. It is probably unethical and illegal to post them without the students’ permission. If anyone wants removed, let me know. I guess, however, that my audience is small and exclusive enough for this not to be a problem.


Promise delayed

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 I did not have a single hour to spare: last night I was setting up an online feedback system for the students to complete this afternoon, and tonight I coded up the analysis part. I hetitate to publish the link, but in general the students like the course a lot. The bad point seems to be the lack of air conditioning. Best points — for my own teaching — were the funny videos shown every 20 minutes and the liberal distribution of chocolates in exchange for class participation.

Tomorrow I have some admin and I estimate that I cannot escape the rest of January without more of this kind of slog. But then opens up the vista of five and a half months of pure research, including 8 or 9 nine weeks in Finland and 6 or 7 weeks in the USA. Hmm…I’d better start sorting out the details.