Den ersten Tag des neuen Semesters habe ich bei tollem Wetter mit ganz langweiligen Sachen verbracht: Kehren. Schippen. Blätter wegbringen. Und es war richtig entspannend.

An den letzten beiden Märztagen musste eine angefangene Seminararbeit zur Induktionslosen Induktion, einer Methode der automatisierten Programmverifikation, fertig werden. Es wurde gegen Ende des Semesters etwas knapp, und ich habe mal wieder gemerkt, dass ich meine Textproduktionstechnik verbessern muss: Eine Stunde Paper lesen, um daraus dann einen halben Absatz zu basteln, dauert (zu) lang...

Nach zwei Tagen, die ich fast ununterbrochen am Schreibtisch verbracht hatte, wollte ich heute ganz was anderes machen. In der Tradition von Gaius Faulus habe ich mich also am Radioteleskop hingestellt und Wege gefegt... Nicht gerade interessant. Aber bei so einem tollen Wetter auch mal ganz nett.