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...
‹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...
Rita Süssmuth leitet TU-Kuratoriumssitzung mit protestierenden studentischen Beschäftigten
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)!
Paper schlägt jedenfalls bestimmt Rocq.
Should I switch from #Isabelle/HOL to #Lean for my everyday formalizations after using Isabelle for 15 years?
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.
📱⛵ 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! 📦👾📦
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.
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.
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.
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.
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
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.
„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:
Die Premiere des #TUBerlin Musicals gestern war umwerfend! (Hier ein Bild des „Tariftangos“.)
