Die Humboldt-Universität zu Berlin führte am 17. November 2020 eine Präsidentschaftswahl in ihrem Konzil durch und erklärte danach Sabine Kunst zur wiedergewählten Präsidentin. Eigentlich sollte die Wahl eine safe Sache sein, denn es gab nur eine Kandidatin. Aus den Infos, die mir vorliegen, scheint Kunst die Wiederwahl aber eigentlich knapp verpasst zu haben. Sie wurde voreilig als Siegerin ausgerufen!
Drei Jahre mussten wir die Hochschulen auf verschiedenen Ebenen bearbeiten, um zumindest Teile unserer eigentlich ganz vernünftigen Forderungen durchzusetzen. Wir haben Bühnen geentert, uns Räume genommen und im Streik viel Arbeit liegen gelassen. Dieses Kapitel stellt einige unserer Aktionsformen entlang ihrer Wirkungsebenen vor.
Gleichheitsbegriffe für das Verhalten von kommunizierenden Systemen korrespondieren zu logischen Spielen. Diese haben mehr mit mathematischer Spieltheorie als mit Computerspielen zu tun. Trotzdem lassen sie sich als Computerspiele umsetzen, was ich sehr cool finde.
Einige meiner Bachelorstudis und ich haben inzwischen angefangen, Computerspiel-Umsetzungen der logischen Spiele zu entwickeln. Besonders glücklich bin ich mit einem kleinen Spiel, das unter https://www.concurrency-theory.org/rvg-game/ im Browser gespielt werden kann.
Das Spiel entstand im Rahmen von Dominiks Bachelorarbeit und wurde genau rechtzeitig fertig, damit wir es zu Rob van Glabbeeks 60. Geburtstag online stellen konnten. Rob ist einer der Entdecker von Coupled Similarity und diese nimmt eine zentrale Rolle im Spiel ein. Das Timing passte also sehr gut.
Schaut euch das Spiel ruhig mal an! Es liefert einen deutlich freundlicheren Zugang als durch die sonst häufig am Anfang stehenden mathematischen Monster wie Coinduktion, Coalgebren, Kategorien und Modallogiken.
Ich arbeite ja in der Informatik auf dem Feld der Concurrency-Theory, das seine Wachstumszeit schon hinter sich hat. Wichtiger als die (irgendwie immer noch moderne) Erarbeitung immer neuer obskurer Formalismen ist es, den Kern des Feldes so zu stabilisieren, dass er für Menschen überblickbar wird und neue Generationen davon ausgehend auf neue Stufen klettern können. Darum finde ich es wertvoll, interaktive und intuitive Präsentationen zu suchen.
Am 16. Oktober 2019 wird das Bundesarbeitsgericht in Erfurt sich damit befassen, ob das Unternehmen, das die Mall of Berlin errichten ließ, für die Bezahlung der Bauarbeiter einstehen muss. Warum ist das überhaupt eine Frage?
Ich habe mir zur Feier des neuen Jahres die Zeit genommen, einige Bugs bei meinem 2004er Projekt DGX BattleSpace 9142 zu fixen und das Spiel mal auf itch.io für den Finally Finish Something Jam 2019 einzustellen. Hier geht’s zum Download und allen fürs Spielen relevanten Infos:
Wenn irgendwas kaputt ist, liegt das bestimmt nicht an meinem Code, sondern daran, dass ich das Spiel mit dem exeprimentellen Blitz3D-NG-Compiler gebaut habe. Es ist toll, dass wieder Leute den antiken Blitz3D-Übersetzer pflegen und fixen! Aber komischerweise verhalten sich ein paar Dinge, zum Beispiel die Tastatur-Eingaben, Höhenkarten oder Kollisionsauflösungen, leider nicht so wie gewohnt. Vielleicht muss ich nach diesem finalen DGX9142-Release also doch noch irgendwie ein Bugfix-Release nachschieben ;).
Von den ersten Anfängen der TVStud-Kampagne 2015 bis zu den Tarifverhandlungen 2017 war es ein weiter Weg des Wachstums. Wir mussten eine gewerkschaftliche Basis aufbauen. Forderungen und Arbeitsweisen waren zu entwickeln.
Dieser zweite Teil der Reihe „Drei Jahre Arbeitskampf“ handelt von dieser Zeit, in der wir politische Verbündete und über 1000 Gewerkschaftsmitglieder gewannen. weiterlesen
Gerade knirscht es an den Berliner Hochschulen, weil die Hochschulleitungen nicht mehr (wie bisher) ca. 2000 Studierende tariflich und befristungsrechtlich falsch eingruppiert beschäftigen wollen. Ich raufe mir regelmäßig die Haare, weil verschiedene Akteure die Rechtslage einfach nicht checken, zum Beispiel der Kanzler der TU Berlin, mehrere betroffene Beschäftigte und selbst mein geliebter Deutschlandfunk. (Die HU-Leitung erzählt auch Blödsinn, aber das ist vermutlich Absicht, um davon abzulenken, dass die Hochschulleitungen die Situation selbst herbeigeführt haben.) Darum präsentiere ich hier in schmerzhaftem Detailgrad die Rechtslage, an der die Personalabteilungen knabbern, und die Lösungsszenarien.
Mir ist was Verrücktes passiert, Leute. Ich wollte nur ein Bisschen pöbeln und jetzt gibt es einen neuen Tarifvertrag „TV Stud“ für die studentischen Beschäftigten, 1,52 Euro mehr pro Stunde für meine ehemaligen Kolleg*innen an der TU Berlin und 2000 neue Gewerkschaftsmitglieder für GEW, verdi und FAU. Und ich bin drei Jahre älter.
Ich möchte hier ganz persönlich erzählen, wie sich die Kampagne aus meiner Sicht über die Jahre entwickelt hat, und ein paar Dinge vorstellen, die mich währenddessen beschäftigt haben. Das ist ein etwas egoistischer Text. Ich schreibe ihn zunächst für mich, um meine Erinnerungen zu ordnen. Aber vielleicht interessieren sich ja auch andere für Geschichte und Hintergründe der TVStud-Kampagne – oder vielleicht einfach für die Sichtweisen des Anarchosyndikalisten, der die Kampagne von Anfang bis Ende sehr eng begleitete.
Mal sehen, wie ausufernd diese Mini-Memoiren werden. Ich rechne mit ca. drei weiteren Posts, bis ich mir die Geschichten chronologisch von der Seele geplaudert habe.
Ich habe dieser Tage meine Masterarbeit mit dem schönen Titel „Computing Coupled Similarity“ eingereicht. Coupled Similarity ist ein bestimmter Begriff davon, was für Zustände von Programmen gleich sind. Natürlich funktioniert der Begriff nicht nur für Programme, sondern auch für allgemeinere Abläufe. Es gibt sehr viele Gleichheitsbegriffe für solche Systeme. Dazu gehören jeweils Algorithmen, um die Gleichheiten zu ermitteln. Für Coupled Similarity wurde wohl bisher vergessen, so einen Algorithmus zu entwickeln, und das ist es, was ich in meiner Masterarbeit nachhole.
Seit ich letztes Jahr die TVStud-Website aufsetzte, vergeht kein Monat, in dem ich nicht irgendwem mit seinem*ihrem WordPress weiterhelfe. Eigentlich pflegte ich seit der Administration der Bildungsstreik2009-Seite Vorbehalte gegen WordPress. Aber über die letzten Jahre habe ich es zu schätzen gelernt. Immerhin läuft sogar diese Seite hier seit 2015 über WordPress.
Meistens geht es vor allem darum, Seitenstruktur und Theme zu bändigen. Damit sind viele schnell so verzweifelt, dass sie einem sogar Geld dafür geben wollen – was ich bei Print-Layout nur selten erlebt habe. Jetzt wollen sogar schon Leute WordPress-Bändigung von mir lernen.
Für mein aktuelles Lieblingsprojekt direkteaktion.org habe ich besonders viel gemacht. Den Webserver konfiguriert, Content aus einem antiken Plone migriert und an Theme und Plugins rumgeschraubt.
