Date Tags Spaß

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 Ziel entfernt - einer Implementierung von Strategien für das Modelchecking - aber wir sind ja auch noch jung. ;) Zudem wurde der Rechnerpool von uns etwas heimeliger gestaltet und eine hübsche kleine Lampe bestrahlt den Raum nun auch noch neben schon vielfach bewehrten und ebenso vielfach verhassten Neonröhren.


git e-mail Informatik Studium video Sport bloggen HP35s 35c3 server pdf raspberrypi Windows Latex Funktionen Text admin das-labor importiert audio gamejam esp8266 ccc game-engine Spaß Clonezilla wiki cloud ldl TV Termin Datenbank Tools Linux RSS software Konferenz hardware buch screencast hacking Linkliste Kino Twitter c't programmierung Film kunst ctf Dortmund Gesellschaft Taschenrechner Second Life Geschichten Chat Bilder Tafelbild python Mathe Tipp podcast Comic 34c3 JavaScript Spiele llm bildung ldlmooc Wissenschaft fun lernen mooc