iiinova — where your digital self keeps evolving

ben🍪 @benkeks.bsky.social · 08/05/2026

Wozu braucht man Überhauptgebäude?

ben🍪 @benkeks.bsky.social · 08/05/2026

Jetzt ist wohl das #tuberlin Hauptgebäude dran. Fühle mich immer strange, das sinkende Schiff verlassen zu haben... www.tu.berlin/themen/schli...

tu.berlin

Informationen zur Schließung des TU-Hauptgebäudes

Ab dem 9. Mai 2026 ist das Hauptgebäude der TU Belrin geschlossen.

151

ben🍪 @benkeks.bsky.social · 14/03/2026

The #PiCalculus is a fundamental model of distributed computation, aiming for genericity similar to the #LambdaCalculus. It does not have much to do with 3.14..., but I thought I should still tell you about it on #PiDay. Play ‹Space Pies› on: games.equiv.io/2019sose-spa...

games.equiv.io

Space Pies

Rundenbasiert, HotSeat, Aufbauspiel, 1vs1.

000

ben🍪 @benkeks.bsky.social · 14/03/2026

‹Space Pies› is a space combat game written in the #pi-calculus. 🛸 Weapons and armor are modeled as reacting pi-actions. My #tuberlin students used a giant parallel composition to control the game state, and added a visual representation in #phaserjs.

100

ben🍪 @benkeks.bsky.social · 02/02/2026

Ich habe Rita #Süssmuth nie ganz verstanden! Eigentlich scheint es Naturgesetz, dass genug Zeit in der Politik Menschen zu Arschlöchern macht oder zynisch oder resigniert. Aber Rita Süssmuth war aus einem anderen Material. Nie fehlte es ihr an Herz, Mut und Zuversicht. Umso mehr wird sie fehlen.🕯️

Rita Süssmuth leitet TU-Kuratoriumssitzung mit protestierenden studentischen Beschäftigten

ben🍪 @benkeks.bsky.social · 27/01/2026

My New Year's resolution has been to give #lean4 a serious try. There's a lot of wonderful stuff! I'm hyped to one day use the proof widgets to insert playable JS-examples into theories. 🤯 And today, my first tiny submission to leanprover/cslib has been merged, yay! 🥳

github.com

In formalized proofs, the characterization of bisimilarity through symmetric simulations often is more convenient than the one through bisimulation relations. (The reason is that paper proofs about...

000

ben🍪 @benkeks.bsky.social · 15/01/2026

Feel the magic of #logic! 🧙‍♂️ In “Tempus Fugit” you play a mage fighting monsters. 🧟 Which spells you can cast depends on past and future events and is expressed in a variant of linear temporal logic #LTL. games.equiv.io/2019wise-tem... Happy #WorldLogicDay (AoE)!

games.equiv.io

Tempus Fugit

Logik-Kartenspiel als rundenbasiertes Fantasy-RPG.

000

ben🍪 @benkeks.bsky.social · 26/12/2025

Paper schlägt jedenfalls bestimmt Rocq.

Purple Sloth Studio @purplesloth.studio · 02/12/2025

Reposted by ben🍪

📱⛵ TRAILS is now available to go! ⛵📱 Get it on iOS: apps.apple.com/us/app/trail... google play: play.google.com/store/apps/d... * no ads! * first 20 levels free! * full game as one-time purchase! * portrait and landscape * dark mode #indiegame #indiedev #mobilegame #puzzlegame

Mixed media picture. A photo inside of a Berlin Tram with a black and white (and grey) drawing of a person sitting on one of the chairs and holding a small sailing ship with turbines between their arms on their lap. The photo shows a ticket machine and the doors of the tram on either side of the one person seat.

1179

Clave - Apps on Google Play

Want to play a cute little game for free? 🕹️ I just released Clave, an old open source game of mine, on Google Play. Go get it, and trap the dangerous green monsters in your mazes before it's too late! 📦👾📦

play.google.com

Use the boxes, trap the monster!

Das Versagen wird dann bequem auf Rauch verschoben. Doch wer auch immer P ist, kann nicht die Hausaufgaben für die Fraktionen und Gremien machen. Vieles kann nur besser werden, wenn die Gruppenprozesse auf den Ebenen besser werden.

Mit Ausstieg der Refrak-Fraktionsführerin und mit dem Schlingerkurs des liberalen Fraktionsführers (der sich jetzt ja auch im crazy Ergebnis zeigt, dass liberale P-Kandidatin bei 19 Sitzen im EAS nur 9 Stimmen bekommt?!) ist auf der Ebene recht destruktives Führungsvakuum.

Offene Enden, die AS-Mehrheit in letzten Jahren schuf: - „Wir setzen AG für Kürzungen ein, aber dann wollen wir Ergebnisse nicht umsetzen.“ - „Wir wollen Rauch wegputschen, scheitern, aber schließen auch keinen Frieden.“ - „Wir wollen wegen HS-Verträgen klagen, aber haben Angst, Land zu verärgern.“

Die Formulierung mit den „loyalen Interessengruppen“ macht mich stutzig. Wer sind die? Ich denke, viel von dem, was Rauch z.B. bei Kommunikation negativ zugerechnet wird, ist eher Effekt der Desorganisation der zentralen Lager im Akademischen Senat, die viele offene Enden erzeugt.

ben🍪 @benkeks.bsky.social · 01/12/2025

Naja, abstrakt ist die Mischung aus Bock auf frische (aber auch unerfahrenere) Person und Schlechtmacherei von Amtsinhaber:in, die Deniz' Wahl wahrscheinlich macht, doch dieselbe, die 2022 Rauchs Wahl befeuerte. Wenn man 2022 als Fehler sieht, ist hier also keine Selbstkorrektur erkennbar.

110

ben🍪 @benkeks.bsky.social · 24/11/2025

Check out the #isabelle-hol formalization of the core contribution from my thesis in the #archive-of-formal-proofs! Computer-says 🤖: Ben's math is correct! ✅ www.isa-afp.org/entries/Weak...

isa-afp.org

The Weak Spectroscopy Game to Characterize Behavioral Equivalences

The Weak Spectroscopy Game to Characterize Behavioral Equivalences in the Archive of Formal Proofs

000

ben🍪 @benkeks.bsky.social · 18/11/2025

Die Ironie, wenn man auf Headlines zu Cloudflare-Ausfall klickt und anstelle eines Artikels nur die Cloudflare-Error-Page sieht.

ben🍪 @benkeks.bsky.social · 10/11/2025

Oh no, jetzt besetzen Leute den #asta #tuberlin, weil der nichts gegen Antisemitismus unternehme. Traditionell ist Kritik andersrum, weil die Hälfte der AStA-Leute israelsolidarisch ist, und letztens stellte sich noch der JSUD auf die Seite einer AStA-Veranstaltung. Wer soll da hinterherkommen?

tagesspiegel.de

„Wir sind linke jüdische Studierende“: Erstmals Besetzung gegen Antisemitismus an der TU Berlin

Erneut werden Räume einer Berliner Uni besetzt. Dahinter stehen erstmals Antisemitismus-kritische Studenten, die sich gegen Hamas-Glorifizierung auf dem Campus wehren.

000

ben🍪 @benkeks.bsky.social · 02/11/2025

Oha, der h-Index wird diesen Monat zwanzig Jahre alt. So gesehen jünger, als ich gedacht hätte. #happybirthday oder so.

020

Reposted by ben🍪

Purple Sloth Studio @purplesloth.studio · 08/08/2025

We have just released the free #demo for our latest puzzle game TRAILS. You can now check out 20 levels (18 on the main path and 2 optionals) for free! Let us know what you think of them 😊 Steam: store.steampowered.com/app/3605120/... itch\.io: purplesloth.itch.io/trails #indieGameDev #freeDemo

A screenshot of the overworld map of the game TRAILS. Twenty levels have been solved, the others are greyed out. There is a rip across the center, everything to the right of it is in greys instead of colored.

22212

Ergebnisse der MTV-Programmierpraktika an der TU Berlin

Spielen kann man die Produkte (auch der Vorjahre) übrigens auf pr.mtv.tu-berlin.de. Viel Spaß! 🕹️

pr.mtv.tu-berlin.de

Praktikums-Projekte

031

Vor allem geht es dabei darum, dass die Studis lernen, wie man Software in #Scrum-Teams mit #Git Workflow entwickelt. Aber sie nehmen auch einiges mit über #GameDesign, Usability, die Formalismen und Technologien wie #TypeScript und #phaser bzw. C# und #unity.

131

„Markov Survivor“ 🧟 ist ein forderndes #Hacknslay, in dem der Skill-Tree einem #MarkovDecisionProcess folgt. (Klickt euch durch wachsende Wellen von Monstern!)

„Lost in Translation“ 💎 ist ein entspanntes Adventure, in dem man #ComputationalTreeLogic Formeln erfüllen muss. (Bringt die richtigen Steine an die richtigen Orte!)

„Cat's Escape“ 🐈 ist ein knuffiges #Jumpnrun, in dem die Levels zelluläre Automaten sind. (Passt auf, dass euch die Haie nicht erwischen!)

Die Studierenden meines Programmierpraktikums an der #tuberlin haben diese Woche ihre Browserspiele fertiggestellt. Jedes Spiel dreht sich um einen Berechnungsformalismus aus der #Informatik:

ben🍪 @benkeks.bsky.social · 12/07/2025

Die Premiere des #TUBerlin Musicals gestern war umwerfend! (Hier ein Bild des „Tariftangos“.)

Es ist wirklich peinlich, dass so ein verbuggtes Urteil jetzt maßgeblich die Weiterentwicklung von wissenschaftlichen Karrierewegen hemmen wird. Die deutschen Hochschulen hätten hier Updates so dringend nötig.

000

Mithin referiert das Bundesverfassungsgericht also den Inhalt von § 110 (6) #BerlHG stumpf sachlich falsch, wenn es behauptet, dieser hätte die Hochschulen verpflichtet _allen_ quali-befristeten Post-Docs Anschlusszusagen zu machen, z.B. in Rn. 22.

Ausgehend hiervon greift die gesetzliche Pflicht, allen zur Qualifizierung befristet eingestellten promovierten wissenschaftlichen Mitarbeitern eine auf eine Dauerbeschäftigung gerichtete Anschlusszusage zu erteilen, in die Wissenschaftsfreiheit ein.

110

Im Berliner Hochschulsprech sind „Qualifikationsstellen“ eine bestimmte Kategorie von haushaltsfinanzierten Stellen mit Lehrverpflichtung. Aber z.B. WissZeitVG-befristete WiMis in einem Graduiertenkolleg sind in dieser Logik NICHT auf Qualistellen. Ebensowenig die meisten Post-Docs.

100

Verfassungsblog @verfassungsblog.de · 11/07/2025

In Rn. 44 des #berlhg Urteils des Bundesverfassungsgerichts kann man schön beobachten, dass die Richter den Unterschied zwischen Stellen und Arbeitsverträgen nicht begriffen haben. Das #WissZeitVG trifft _keinerlei_ Regelungen zu Qualifikations-Stellen in der Hochschulorganisation.

Die Gesamtwürdigung der Regelungen des Wissenschaftszeitvertragsgesetzes zur Dauer und Beendigung der Arbeitsverträge des promovierten wissenschaftlichen Personals auf Qualifikationsstellen ergibt, dass ... (Rn 44)

100

Reposted by ben🍪

Die Entfristungsregelung im Berliner Hochschulgesetz ist verfassungswidrig, so das BVerfG in einem gerade veröffentlichten Beschluss. THOMAS GROẞ meint: Das Gericht betrachtet die Wissenschaftsfreiheit allein aus der Perspektive der Professor*innen. verfassungsblog.de/zementierte-...

Zitat: „In Wirklichkeit geht es nicht um ein Recht der Hochschule insgesamt, sondern um die Verteidigung eines professoralen Privilegs.“

06025

Das Land scheint ja auch absichtlich verloren zu haben. Laut Urteil hat Berliner Senat nicht von seinem Recht auf Stellungnahme im Verfahren Gebrauch gemacht. Es stand also nur die (von einem Bundesverfassungergerichtskollegen mit vorbereitete) HU-Beschwerde ohne Gegenposition zur Diskussion...

Drucksachen und Protokolle zur ursprünglichen Gestaltung des #WissZeitVG siehe da: dip.bundestag.de/vorgang/.../...

dip.bundestag.de

DIP

Schauen wir mal in Drucksache, was da steht... Upsi, der Bundes-Gesetzgeber wollte die Personalstrukturen explizit den Ländern überlassen!

Das „Wissenschaftszeitvertragsgesetz“ soll daher unter Vermeidung von Begrifflichkeiten formuliert werden, die zwar der derzeit vorhandenen Personalstruktur der Hochschulen Rechnung tragen, jedoch einer zukünftigen Fortentwicklung in den Ländern entgegenstehen könnten.

251

Das Bundesverfassungsgericht stützt sein Urteil gegen #BerlHG Anschlusszusagen auf das Argument, der Bund wollte mit #WissZeitVG die befristete Personalstruktur an den Hochschulen abschließend regeln. Komischerweise wird die maßgebliche Drucksache des Bundestags 16/4043 nie zitiert... #ichbinhanna

170

Geht auch in meinem Post nicht um Wissenschaftsfreiheit?

100

Ich glaube wirklich langsam, dass das deutsche Wissenschaftssystem nicht mehr zu retten ist. Politik, Gerichte und Hochschulen haben einen perfekt verknoteten Haufen aus Unreformierbarkeiten erschaffen. Schade.

031

Warum sollte Landesebene nicht regeln können, wie solche Stellen aussehen, insbesondere, dass Anschlusszusagen gegeben werden? Im #WissZeitVG und im Urteil findet sich kein einziger klarer Punkt dafür. Nur indirekte Argumente. Es lässt sich nur damit erklären, dass BVG voller Profs sitzt.