Hui, war ich heute doch satte 9 Stunden an der Uni, um unseren beliebten Modelchecker in neue Höhen zu treiben. Und lasst es euch versichern, er ist besser denn je. Naja, nicht wirklich viel. Aber doch ist er um einige features bereichert worden. Wir sind noch weit von unserem eigentlich …

Nachdem es gestern Abend doch etwas später geworden ist, durfte ich mich heute früh darueber freuen ,dass mein werter Nachbar mal wieder das Flurfenster, das natürlich genau an die Wand meines Bettes grenzt, offengelassen hat und mir damit der morgendliche Frühlärm der Autos nicht erspart blieb. :(

Naja, vielleicht wird es …

So, heute werde ich mich erstmal zur Uni begeben und etwas nach Literatur Ausschau halten. Schließlich will ich ja noch irgendwann in den Semesterferien meine Prüfung in VERTEILTE ALGORITHMEN II machen. Die Folien haben sich leider nicht als sonderlich ergiebig herausgestellt, weshalb ich nun in der Bereichsbibliothek mal nach etwas …