LLMs accelerate the breakdown of social practices around peer review and academic writing by students. I really wonder whether there's a future for today's paper culture. mrkeks.net/the-death-of...

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

‹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.

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

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.🕯️

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! 🥳

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)!

Should I switch from #Isabelle/HOL to #Lean for my everyday formalizations after using Isabelle for 15 years?

📱⛵ 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

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! 📦👾📦

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

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

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

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?

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

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

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

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

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

"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

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

#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.

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

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

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. ❤️

Neue Türmatte. 🍪

🎉⛵ 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

🍾

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

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

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

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

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

Gedruckt! Morgen, 18 Uhr im Café A anstoßen, anyone?

Find's lustig, dass mir Copilot vorschlägt, wie ich meine Studierenden zum verantwortlichen Umgang damit auffordern sollte. (Eigentlich wollte ich „Copilot oder Cursor“ schreiben.)

Another day, another interesting behavior of #LaTeX Longtable.

„Wenn die Politik schon keine Garantien geben will, dann sollten zumindest wir eine Garantie aussprechen: Wir werden den Blödsinn hier nicht vergessen und eines Tages werden Wegner und Co die Rechnung zahlen.“ —Mein Redebeitrag von #unkürzbar Demo letztes Wochenende. mrkeks.net/wissenschaft...

For that budget, you could make about 100 games as expansive as World of Warcraft. Like...what are the developers doing?? There aren't even any dragons in it as far as I can make out.

Guter Tag.

Ui, letzte Woche kam die lang ersehnte überarbeitete Lehrverpflichtungsverordnung für Berliner #Hochschulen #LVVO raus. Jetzt gibt es auch #digitaleLehre (neuer § 3a) und die Stellenkategorien des (seit 2021) aktuellen #BerlHG werden abgebildet. \o/ Synopse: www.parlament-berlin.de/ados/19/IIIP...

Gibt es doch noch intelligentes Leben im bürgerlichen Lager?

Mathias Kuhnt war für uns und das gesamte Bündnis gegen Dauerbefristung beim Deutschlandfunk hier reinhören: www.deutschlandfunk.de/wahlkampfthe... Kein Wahlprogramm ohne #ichbinHanna! @sonjastaack.bsky.social @sbolenius.bsky.social @social.verdi.de @gew.de

Schönes Quadratjahr 45², allerseits! (Vermutlich für uns alle das einzige solche Jahr unserer Leben.)

Zwei Jahre später: Es war doch noch etwas Arbeit, daraus zwei Papiere zu machen ... 😬 Aber jetzt ist's auch inhaltlich fast fertig 😃

Was haben alle mit diesem Film?! Und wie kann es sein, dass ein Film, dessen Humor auf 7-Jährige zielt, ab 12 ist!?

"Vereint in unserer Wut" Die Berliner TU-Präsidentin Geraldine Rauch attestiert der Berliner Wissenschaftspolitik Glaubwürdigkeitsprobleme, Täuschung und gebrochene Versprechen. Die Hochschulen prüften jetzt eine Klage gegen den Senat. Im Blog: www.jmwiarda.de/2024/12/20/v...

#SaveBrainCity 🧠 Rund 3000 Protestierende vor dem Berliner Abgeordnetenhaus haben für #Bildung gekämpft: Unser Wissenschaftsstandort #Berlin liegt uns am Herzen. ❤️ #LKRP @bbaw.bsky.social #studierendenwerkBerlin #verdi #GEW

Toller Job in atemberaubendem #TheoretischeInformatik Fachgebiet an #tuberlin zu haben!

»Das wird eine harte Auseinandersetzung.« Bericht zur heutigen Kundgebung gegen Kürzungen in der Berliner Wissenschaft jetzt Online 👇👇👇 #Unkuerzbar #SaveBrainCity #IchbinHanna gesundheit-soziales-bildung.verdi.de/mein-arbeits...

#SaveBrainCity Proteste gegen Wegners Wissenschaftskahlschlag vor dem Abgeordnetenhaus Berlin.