mrkeks.net

Use the boxes, trap the monsters! – Clave 0.1.0

21. Mai 2022 / 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! :)

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

19. November 2020 / 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!

TVStud-Arbeitskampf: Aktion, Eskalation, Wirkung

27. August 2020 / 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.

Prozess-Gleichheiten als (spielbare) Spiele

21. Mai 2020 / 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“. ^[1]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 erschien übrigens dereinst auch der Artikel von Dijkstra, wegen dessen ich Philosoph*innen für Beispiele verwende ;).

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

13. Oktober 2019 / 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?

DGX BattleSpace 9142 auf itch.io

3. Februar 2019 / Kommentieren

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 ;).

TVStud: Wachstum und der Weg zu Verhandlungen (Teil II von „Drei Jahre Arbeitskampf“)

2. November 2018 / 3 Kommentare

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

#TVLfuerStudis: Von der Unmöglichkeit, Studis wie vollwertige Beschäftigte zu behandeln

22. Oktober 2018 / 1 Kommentar

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.

TVStud: Drei Jahre Arbeitskampf (Teil I: Aufbruch, Situation, Bewusstsein)

6. Oktober 2018 / 3 Kommentare

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.

Computing Coupled Similarity

22. April 2018 / 1 Kommentar

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.