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.


debian raspberrypi lernen docker Chat Arduino Testverfahren wiki bloggen mooc Usenet rs232 Geschichten software Funktionen xmpp Smarthome 34c3 gamejam Film INN Dortmund Kino Spiele TV Linux IoT Datenbank Newsgroup cloud c't Wissenschaft Informatik Windows importiert Psychologie sdr RSS ctf screencast audio python ldl Sport Tipp bildung Sketchnotes Comic Spaß GPIO heise Text serielle Schnittstelle Konferenz hacking Tools 35c3 pdf Studium ubuntu kunst Tafelbild e-mail Termin dtp Bilder Latex bio git programmierung ldlmooc Gesellschaft video game-engine workshop esp8266 Clonezilla SciFi 3dDruck NNTP das-labor Commandline podcast buch ZDF Linkliste JavaScript hardware Second Life Archiv HP35s badge Mathe Taschenrechner ITA ccc Twitter server admin fun