ben🍪
LightNews LightNews
banner
benkeks.bsky.social
ben🍪
@benkeks.bsky.social
41 followers 61 following 66 posts
Computer science, logics, games at #tuberlin.
Rep. of academic staff at TU Berlin Board of Trustees
https://bbisping.de
Posts Replies Media Videos
Reposted by ben🍪
purplesloth.studio
📱⛵ 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.
December 2, 2025 at 3:59 PM
benkeks.bsky.social
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! 📦👾📦
Clave - Apps on Google Play
Use the boxes, trap the monster!
play.google.com
December 2, 2025 at 11:30 AM
benkeks.bsky.social
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...
The Weak Spectroscopy Game to Characterize Behavioral Equivalences
The Weak Spectroscopy Game to Characterize Behavioral Equivalences in the Archive of Formal Proofs
www.isa-afp.org
November 24, 2025 at 10:24 AM
benkeks.bsky.social
Die Ironie, wenn man auf Headlines zu Cloudflare-Ausfall klickt und anstelle eines Artikels nur die Cloudflare-Error-Page sieht.
November 18, 2025 at 1:56 PM
benkeks.bsky.social
Mehrere Leute versuchen, #tuberlin Präsidentin Geraldine Rauch abzulösen. Aber wer hat's drauf?
Präsidentschaftswahlen an der TU Berlin und wie man aus Fehlern lernt oder nicht « mrkeks.net
Diesen Herbst wählen die Gremien der TU Berlin ein neues Präsidium. Amtsinhaberin Geraldine Rauch kandidiert erneut. Aber drei weitere Bewerber:innen fordern sie öffentlich heraus. Das ist eine bei Un...
mrkeks.net
November 10, 2025 at 5:23 PM
benkeks.bsky.social
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?
„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.
www.tagesspiegel.de
November 10, 2025 at 1:07 PM
benkeks.bsky.social
Oha, der h-Index wird diesen Monat zwanzig Jahre alt. So gesehen jünger, als ich gedacht hätte. #happybirthday oder so.
November 2, 2025 at 4:14 PM
Reposted by ben🍪
purplesloth.studio
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.
August 8, 2025 at 8:21 AM
benkeks.bsky.social
Die Studierenden meines Programmierpraktikums an der #tuberlin haben diese Woche ihre Browserspiele fertiggestellt. Jedes Spiel dreht sich um einen Berechnungsformalismus aus der #Informatik:
July 23, 2025 at 8:41 AM
benkeks.bsky.social
Die Premiere des #TUBerlin Musicals gestern war umwerfend! (Hier ein Bild des „Tariftangos“.)
July 12, 2025 at 3:01 PM
Reposted by ben🍪
verfassungsblog.de
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.“
July 11, 2025 at 11:40 AM
Reposted by ben🍪
linksfraktionb.bsky.social
"Das Urteil ist ein schwerer Rückschlag für alle Bemühungen die ausufernde Befristungspraxis an Hochschulen einzudämmen. Menschen um die 40, mit zwei Studienabschlüssen, promoviert, werden nach einer Diss oder Juniorprof weiter wie Auszubildende behandelt." so @tobiasschulze.bsky.social gleft.de/6id
Bitterer Rückschlag für #ichbinHanna und den Kampf gegen Kettenbefristung in der Wissenschaft: Die Linke Fraktion im Abgeordnetenhaus von Berlin
Es wundert nicht, dass diese unsicheren Karriereperspektiven gerade die Besten aus unseren Hochschulen vertreiben – in die Wirtschaft oder gleich ins Ausland, wo es wesentlich frühere Sicherheit gibt. Das heutige Urteil wird viele in den Hochschulen frustriert zurücklassen.“
gleft.de
July 10, 2025 at 11:22 AM
benkeks.bsky.social
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
July 10, 2025 at 12:53 PM
benkeks.bsky.social
#Bundesverfassungsgericht zeigt heute den #Wissenschaftlen Deutschlands und #ichbinhanna den 🖕: Aus abgelehnten Änderungsanträgen wird herbeiphantasiert, dass das #WissZeitVG eine (im Gesetzestext nicht vorkommende) Sperrwirkung gegen Landesregelungen zu Anschlusszusagen für #PostDocs habe.
July 10, 2025 at 9:35 AM
benkeks.bsky.social
Wahlwerbung zum Studierendenparlament an der #tuberlin mit #Wasserschaden Bingo.
Wahlwerbung mit durchgekreuzten TU-Gebäuden, die Wasserschäden hatten.
July 9, 2025 at 12:24 PM
Reposted by ben🍪
eliasgruenewald.bsky.social
DAS UNI-MUSICAL feiert Premiere! 🎙️ 🎸 🎷 🎹
🗓️ 11. + 12. Juli 2025, 20.00 Uhr (Einlass: 19.00 Uhr)
🎭 Cafe Theater Schalotte, Behaimstr. 22, 10585 Berlin
🎟️ Tickets, Trailer und alle Infos: arts-sounds-thoughts.de
July 8, 2025 at 8:49 PM
benkeks.bsky.social
Lol, über den #tuberlin Verteiler kam gerade der StuPa-Wahlaufruf der „Langzeitstudis gg. Studiengebühren“.
Weshalb ich mich freue: Es ist einfach derselbe Text, den ich vor 11 Jahren geschrieben habe, leicht aktualisiert. Bei den Langzeitstudis wird „Alt aber noch gut.“ sehr ernst genommen. ❤️
July 7, 2025 at 2:30 PM
benkeks.bsky.social
Neue Türmatte. 🍪
Türmatte mit einem Keks und Text: „Please accept all cookies to enter.“
July 5, 2025 at 10:47 AM
Reposted by ben🍪
purplesloth.studio
🎉⛵ TRAILS is out now! ⛵🎉

Hoist the sails - the desert awaits!

Get the game here:
store.steampowered.com/app/3605120/...
purplesloth.itch.io/trails

#indiegames #release #indiedev #trails #steam #itch #gamedev #puzzle
2d Keyart of our game TRAILS. A white sailing ship with a violet sail is moving over the dunes of a stylized desert, leaving a dust trail behind it. The red mountains in the background are lit by a setting sun. The logo "TRAILS" is set in front of the sun.
May 29, 2025 at 12:00 PM
benkeks.bsky.social
🍾
We are pleased to inform you that your submission has been accepted to CONCUR 2025. Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems
May 27, 2025 at 3:09 PM
Reposted by ben🍪
agelfert.bsky.social
Die Fans der #ExStra haben ihr Minimalziel erreicht; die Reduktion von 7 auf 5 Exz.clustern an den Berliner Unis spiegelt wohl auch die desaströsen hochschulpolitischen Rahmenbedingungen (und vielleicht auch die einstürzenden Gebäude?) wider -- vielleicht also ein ganz realistisches Ergebnis. #bua
May 22, 2025 at 4:16 PM
benkeks.bsky.social
Mittelbauversammlung an #tuberlin zu kommenden Kürzungen und mehr, diesen Mittwoch, 2025-05-21, 16–19 Uhr, H 110.
mittelbau.refrak.de/2025/05/06/m...
Mittelbauversammlung 2025‑05‑21
mittelbau.refrak.de
May 19, 2025 at 7:41 AM
benkeks.bsky.social
Heute vor 12 Jahren beschloss die @tuberlin.bsky.social, in Zukunft Präsidien viertelparitätisch zu wählen. Bis heute ist das nicht in Kraft getreten, obwohl es mittlerweile 7-mal beschlossen wurde. Peinliches Trauerspiel für #tuberlin und #BerlinerSenat!
mrkeks.net/ein-jahrzehn...
Ein Jahrzehnt Viertelparität an der TU Berlin « mrkeks.net
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 vi...
mrkeks.net
May 15, 2025 at 6:48 AM
benkeks.bsky.social
Habe gerade in #deutschlandfunk Nachrichten gelernt, die #jerusalemDeclaration erwähne Israelfeindlichkeit nicht, und darum solle man nicht mit der Linkspartei zusammenarbeiten. 🫠
www.deutschlandfunk.de/zentralrat-d...
Wegen Umgangs mit Antisemitismus - Zentralrat der Juden fordert klare Abgrenzung zur Linkspartei
Der Zentralrat der Juden in Deutschland hat eine klare Abgrenzung von der Linkspartei gefordert.
www.deutschlandfunk.de
May 14, 2025 at 6:14 AM
Reposted by ben🍪
purplesloth.studio
Our new game is releasing soon! 🤩

TRAILS is a cozy puzzle game in which you plot routes for floating sandships and deliver vital cargo to remote outposts - without collisions, dead ends, or backtracking.

⛵ Wishlist now ⛵
store.steampowered.com/app/3605120/...

#indiegame #indiedev #puzzle #gameart
2d Keyart of our game TRAILS. A white sailing ship with a turquoise sail is moving over the dunes of a stylized desert, leaving a dust trail behind it. The red mountains in the background are lit by a setting sun. The logo "TRAILS" is set in front of the sun.
May 13, 2025 at 5:29 PM