benkeks.bsky.social

I research how to subtract program behaviors from one-another.
Computer science, logics, games at #tuberlin.

[benkeks.bsky.social @benkeks]

#Clave now has lovely sounds designed by @AceLukeMusic and music composed by @saharaback.
Also, there's even more content and refinements and: You can add the game to your system as a #pwa. :)
Give it a try!
#finishyourgamejam #indiegamedev
https://t.co/M5NCD17KtM

[benkeks.bsky.social @benkeks]

What's the point of having more publications than can be reviewed, let alone read? https://t.co/rrbjfIFBZn

[benkeks.bsky.social @benkeks]

Heute vor 60 Jahren begann mit dem Vietnamkriegs-Protest beim Amerikahaus die West-Berliner 68er-Bewegung. Wie schockierend wenig sich seitdem verändert hat!

https://t.co/Teq3Y5METf

[benkeks.bsky.social @benkeks]

Feel the magic of #logic! 🧙‍♂️

In “Tempus Fugit” by #tuberlin students you play a mage fighting monsters. 🧟 Which spells you can cast depends on past and future events and is expressed in a variant of #LTL logic.
https://t.co/yUTFZAiBWP

(Happy #WorldLogicDay, AoE! 🥳)

[benkeks.bsky.social @benkeks]

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! 📦👾📦
https://t.co/v62IiT8Rm4

[benkeks.bsky.social @benkeks]

Mehrere Leute versuchen, #tuberlin-Präsidentin Geraldine Rauch abzulösen. Aber wer hat's drauf?

https://t.co/V6wS8m15Pd

[benkeks.bsky.social @benkeks]

What, jetzt besetzen Leute den #asta #tuberlin, weil der nichts gegen Antisemitismus unternehme? Traditionell ist Kritik andersrum, weil AStA zu israelsolidarisch sei, und letztens stellte sich noch der JSUD auf die Seite einer AStA-Veranstaltung. https://t.co/NkqPJT3jIn

[Sesame Street @sesamestreet]

Surprise box? We were really hoping there were cookies inside! 🍪

[benkeks.bsky.social @benkeks]

Spielen kann man die Produkte (auch der Vorjahre) übrigens auf https://t.co/kZxmr2ydJg. Viel Spaß! 🕹️

[benkeks.bsky.social @benkeks]

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

[benkeks.bsky.social @benkeks]

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.

[benkeks.bsky.social @benkeks]

Heute um 20 Uhr gibt es noch eine Vorstellung. Karten auf https://t.co/3tt2hfyFI3

[benkeks.bsky.social @benkeks]

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

[benkeks.bsky.social @benkeks]

Wahlwerbung zum Studierendenparlament an der #tuberlin mit #Wasserschaden Bingo.

[Elias Grünewald @eliasgruenewald]

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: https://t.co/afvbhGk4dJ
🎵 Ein musikalisches Bühnenwerk mit Live-Band

[benkeks.bsky.social @benkeks]

@Frankyschorsch Langzeitstudis sind quasi CSU.

[benkeks.bsky.social @benkeks]

Lol, über den #tuberlin-Verteiler kam gerade der StuPa-Wahlaufruf der „#Langzeitstudis gg. Studiengebühren“.
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! ❤️

[benkeks.bsky.social @benkeks]

Sie machen passenderweise sogar Werbung mit „Die Konstante an der TU.“