Gedanken eines Informatikers, Mathematikers und Lehrers.

22.02.2005

Toby wird gegessen »

Hier seht ihr Toby. Einen kleinen Hasen, der am 30. Juni gegessen wird, wenn bis dahin nicht 50.000$ gespendet wurden. Ein zweifelhaftes Unterfangen, das mit den Gefühlen der Menschen Geld verdienen möchte. Wir leben in einer schlechten Welt.

21.02.2005

Die ersten Tapeten hängen

Heute haben wir die ersten Tapeten im Wohnzimmer an die Wand gepinnt. Alles Rauhfaser - oder doch Raufaser? - und in matschgrau, das später noch in ein Aplinaweiß und orange-gelb getaucht werden wird. Zumindest kann man die Regel Ein Tag pro Raum als ewige Tapeziererweisheit stehen lassen - zumindest bei uns wurde sie ja bestätigt. Am Donnerstag und Freitag werden wir uns dann an die kritischeren Dinge wagen und fernab von Rauhfaserwelten in die Tiefen bunten Farbwelten abtauchen. Hoffentlich tauchen wir auch wieder auf.

02.02.2005

Was ich so mache

kann man jetzt auf den neuen Seiten des Lehrstuhls 5 der Uni Dortmund sehen. Insbesondere wurde dem Tool, an dessen Entwicklung ich mit beteiligt bin (dem jABC), eine eigene Seite entwickelt. Auf dieser Seite gibt es etwas zu dem Modelchecker zu bewundern, den ich mit Clemens zusammenstricke. Eine kleine Hilfe, einführende Literatur und natürlich eine Webstart-Umgebung, mit der man den Client starten kann, sind auch vorhanden. Wer sich für das Thema interessiert, sollte also durchaus mal dort vorbeischauen.