14th January 2006, 05:48 pm
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…
14th January 2006, 04:58 pm
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.
10th January 2006, 11:09 pm
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:
I will then leave for Denmark at the very beginning of March.
10th January 2006, 12:12 pm
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.
7th January 2006, 12:29 pm
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.