Archive for January 2006

Planet DAIMI is online

Planet Planet! logo Using the very nice [Python][] script Planet Planet! I have now made one for myself and my friends: http://mgeisler.net/daimi/. As the name suggests, it aggregates the news feeds of my friends from [DAIMI][].

Simple and fun! :-)

Update: I’ve tweaked the [CSS][] a bit to produce margins for the post content — and thus to avoid having the faces collide with any right-aligned images you guys post yourself. Let me know of if you use any fancy CSS classes that you would like me to add…

Now also with camels?

I logged into [DAIMI][] today using the usual DNS alias fresh-horse.daimi.au.dk. This alias is points to the most “fresh” machine out of a number of machines named horse01 … and counting upwards.

Now the sys admins have apparently grown tired of the horses and have switched to camels, for I was logged into camel04 :-) I love this idea of such an alias!

At the [ETH][] things are much more chaotic — the two times I’ve had to log into the network from home I had to search for a long time to find the name of a suitable host! I couldn’t find it on any of the official ETH pages — in the end I found a working hostname somewhere in an exercise sheet for some course in distributed systems.

Exam dates — Winter Semester 2006

Before I can get back home and begin my Ph.D. I have to make some exams here at the [ETH][]… The plan is as follows:

Course Date Time Type
Formal Methods for Information Security 7/2 15-17 Written
Randomisierte Algorithmen 13/2 9-12 Written
Formal Verification 17/2 10:00 Oral
Verteilte Algorithmen 20/2 14:15 Oral
Decision Procedures for Logical Theories 23/2 10:00 Oral
Web Algorithms 3/3 ? Oral

I will then leave for Denmark at the very beginning of March.

I got accepted!

Back in November I applied to become a Ph.D student at [DAIMI][], and today I finally got the answer: I am accepted!

This is just so cool! I plan to have my exams at the [ETH][] in the secod half of February, and I will return in the beginning of March — ready for work :-) I’m really looking forward to it.

I’m finally back home…

After being away from Buchs for more than three weeks I’m finally coming back home today. My Christmas holidays started with my going to Denmark to visit my parents. I stayed there for Christmas but went back to Switzerland to get here in time for New Years Eve.