Perspektive als Wissenschaftlicher Mitarbeiter bei „Berlin ist unkürzbar“: Was ist noch garantiert?

/ Kommentieren

Mein Redebeitrag von der „Berlin ist unkürzbar“-Demo gegen die Haushaltskürzungen des Berliner Senats, 2025-02-22:

Tach allerseits, ich arbeite als wissenschaftlicher Mitarbeiter in der Informatik der TU Berlin. Dort bin ich in Mittelbauini und Kuratorium. Das Kuratorium hatte kürzlich die große Ehre, einen Haushalt zu beschließen, den der Senat postwendend rasierte.

Letzte Woche meinte Wissenschaftssenatorin Czyborra zum Tagesspiegel:

In diesen Zeiten ist es generell ziemlich schwierig, als Politikerin Garantien zu geben.

Dasselbe müssen wohl bald auch die Hochschulen sagen: Wie sollen wir Lehre und Forschung garantieren?

Wegen der Einschnitte zehrt die TU Berlin dieses Jahr ihre beweglichen Rücklagen auf. Danach ist das realistische Szenario für kurzfristiges Sparen, dass man Stellen von wissenschaftlichen Mitarbeiter:innen nicht mehr neu besetzt. Denn unsere Beschäftigtengruppe arbeitet größtenteils kettenbefristet.

weiterlesen

Yeti Tournament: Snowy team battles!

/ Kommentieren

Yeti Tournament is a small team-battle game with Yetis engaging in a snow fight. To mix things up, the Yetis have UFOs and rocket launchers at their disposal. You should definitely try it! The game is cute and arcady and features basic tactical elements.

View from above on map with snow cones for yetis to spawn at
Yeti watching others defend a giant candy cane with rocket launchers

This game has been lying around for a decade! It’s been my only Unity project, originally using Unity 3.0. While it’s kinda fun to have so much taken care of by a powerful game engine. On the other hand, the code is frozen in Unity 2017 as it’s using the discontinued UnityScript and the peer-to-peer networking system from 2012. You can read more about it’s past in the itch.io devlog.

weiterlesen

Ein Jahrzehnt Viertelparität an der TU Berlin

/ 1 Kommentar

Am Mittwoch, dem 15. Mai 2013, geschah etwas Historisches an der Technischen Universität Berlin: Der Erweiterte Akademische Senat beschloss eine neue Grundordnung, nach der dieses Gremium zukünftig viertelparitätisch besetzt würde: mit je 15 Professor:innen, 15 akademischen Mitarbeiter:innen, 15 Studierenden sowie 15 Technik- und Verwaltungsmitarbeiter:innen. Die vorherige Zusammensetzung, die vor allem bei Präsidiumswahlen ausschlaggebend ist, sieht eine Mehrheit von 31 Profs zu je 10 der anderen Gruppen vor. Verrückterweise gilt die „vorherige“ Zusammensetzung noch heute – zehn Jahre später, als wäre nichts beschlossen worden! Dabei wurde die Viertelparität gleich fünf Mal beschlossen… Wie kann das so lange dauern?!

weiterlesen

Use the boxes, trap the monsters! – Clave 0.1.0

/ Kommentieren

This is the first actual (pre-alpha) release of Clave. Finally! \o/

I originally developed this game over-night on 12/13 April 2012 in the context of a university course. The task back then was to build a minimal C#/XNA game only using circles and squares for graphics.

The game idea derives heavily from the box/circle requirement: My thinking was that the circles likely should be something that moves and that the squares would represent things blocking the movement. This lead to the idea of one circle being that tries to create an area on the map with boxes that is separated from the other circle beings.

The result actually made a lot of fun for an overnight project and also impressed the other course participants and instructors. Obviously, the code was geared towards throwaway-prototyping. But I always wanted to redo a “clean” implementation of Clave.

Thus, in 2016, I recoded the original game using Scala.js (and with browser 3d graphics using Three.js). The levels and mechanics are mostly identical with the original overnight prototype. Today’s release is mostly this version with some bug fixes and extended by support for touch devices since 2016.

I’m still hoping to extend on the mechanics one day. But for now, this pre-alpha release is just a more shiny version of the proof-of-concept game from 2012. I hope, you enjoy it anyways. It can be played directly on https://benkeks.itch.io/clave. The source is on https://github.com/benkeks/clave. Don’t let the monsters get you! :)

20 years of programming

/ Kommentieren

I started to program in the Easter holidays 20 years ago. Therefore, I’ll try to recollect some memories of what I programmed over these years. I went through heaps of old screenshots and tried to pick one project / direction of work per year.

weiterlesen

AStA-Info Oktober 2015 … fünf Jahre her!

/ Kommentieren

Krass, dass es schon fünf Jahre her ist, dass ich das letzte Mal was größeres Gedrucktes redigiert und gelayoutet habe. Habe gerade mal wieder durchs AStA-Info 2015-10 geblättert.

Viel lustig-provokantes darin… Merkt man sehr, dass ich davor ein Seminar bei Gunnar Schupelius (BZ-Kolumnist) belegt habe? xD

HU-Präsidentschaftswahl: Weshalb Sabine Kunst eigentlich nicht wieder-gewählt ist

/ Kommentieren

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!

weiterlesen

TVStud-Arbeitskampf: Aktion, Eskalation, Wirkung

/ Kommentieren

Ich habe ein Kapitel über die Wirkungsebenen der TVStud-Kampagne zum Buch „Ohne uns läuft hier nix! – Der Arbeitskampf der studentischen Beschäftigten in Berlin“ beigesteuert. Hier dokumentiere ich meinen Beitrag mit zusätzlichen Links und Bildern. Nicht zuletzt wegen der vielen coolen anderen Beiträge lohnt es sich natürlich trotzdem, das ganze Buch zu kaufen. (Ich signiere es euch gerne! ;))

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.

weiterlesen

Prozess-Gleichheiten als (spielbare) Spiele

/ Kommentieren

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.

In Computing Coupled Similarity habe ich 2018 etwas erklärt, mit welchem Gleichheitsbegriff ich mich bei meiner Masterarbeit beschäftigt habe. Seitdem haben wir die Ergebnisse bei der Konferenz TACAS 2019 präsentiert. Details zu den logischen Spielen gibt unser Acta-Informatica-Artikel „Coupled Similarity: The First 32 Years“. Da erschien übrigens dereinst auch der Artikel von Dijkstra, wegen dessen ich Philosoph*innen für Beispiele verwende ;).

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.

Zwei konkurrierende Spieler im Bisimulationsspiel mit Seitentausch.
Starke Bisimulation in Dominiks Process Equivalence Video Game.

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.

DA: Lässt das Bundesarbeitsgericht die Bauherrn der Mall of Shame zahlen?

/ Kommentieren

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?

weiterlesen