Thomas Kahle

Portfreunde Stiller

#ITBands

Reinhard MySQL

#ITBands

BTW: Always a SUPREMELY bad idea to enrage gamers.

https://www.pcgamer.com/software/ai/sam-altman-argues-that-its-bad-you-want-dram-in-your-computer-and-not-a-data-center-actually/

There are *no* polytopes in mathlib!

The reason is not that no one is trying. People really like formalizing polytopes, and there are many independent proposals. We have our own of course: https://github.com/ooovi/Polyhedral. Took us a year to get here, no auto-formalization, but in return, mathlib quality.

Here is the real problem: mathlib in general, but its convex-geometry fragment in particular, is lacking reviewers. There are many open PRs in convexity, but too few people to check them. And nothing gets into mathlib without careful review.

If you can read Lean and you like convexity/polytopes, please help!

@Bundesregierung@social.bund.de hahahahahahahhahhahahhhahahhahahhahahahhahahahhahahhahahahhahaahhahhahahahahahhahahahhahahahhahahahahahahahahahahahahahahahahahahahahahahhahahahahahahahhaahhahaahahhahaahahahahahahhahahahahahahahahahahaaahahahhahahhahahaahahhaahahhaahahahahahahahahahahahah holt Luft hahahahahahahahahhahahahahaahahahhaahahahahahahahahahahahahahhahahhhahahahahhaaahahahhaahahahahaahahhahahahahahhahahahahahhaahahahahaahhaahahahahahahahhahaahhaahhaahhahahahahahahhahaahhahahahaahahahahahaahahahahahahahhahahahhaahahahahahahahahahahhahahahahaahahahahahahahahaahahahahahahahahahahahahahaahhahaahahahahahahahaahhaahahahahahahahahahahahaahahahhahahahahaahaahahahaahahahahahahahahahhahahaahahahhahahahahahahahahhahhahaahahahaahahahaa ihr Kasper ey

Super praktische Suchfunktion im DB Navigator: nur fahrbare Verbindungen.

ZZ HTOP

#ITBands

Redhat Chili Peppers #ITBands

Auf Apple Systemen viel gehört:

Taylor Swift

#ITBands

Minor Thread

#ITBands

Was viele nicht wissen: das Album Dookie von Green Day sollte erst “Cookie” heißen Damals tourte die Band auch manchmal noch unter ihrem alten Namen “Zero Day”.

"Boulevard of Broken Builds” wurde auch noch kurzfristig vom Management umbenannt…

#ITBands

Wer mich kennt weiss, damals auf Twitter war ich mutual mit

Errorgruppe

#ITBands

Die toten Hosts

#ITBands

Feine Sahne Phishfilet

#ITBands

System of a Downtime

#ITBands

Here is a truncated dodecahedron, deforming while keeping unit edge lengths. Can this be real? https://mathoverflow.net/a/513195/108884

RE: https://mathe.social/@tomkalei/117525799739727724

Exhibit A

“Hier ist das Dokument, guck mal drüber und wenn noch was ist, meld dich einfach” ist heutzutage Code für “Ich schicke dir ungelesenen KI output und wenn du dumm genug bist das wirklich zu kommentieren, kippe ich deine Kommentare auch nur wieder in die KI”.

Egal ob in Prozessen mit oder ohne KI (aber meistens mit), in der Arbeitswelt ist es normaler geworden “workslop” abzuliefern. D.h. man pfuscht irgendwas hin und gibt es an die nächste Ebene weiter mit “meld dich einfach, wenn irgendwas nicht stimmt”. Dabei wird normalerweise das Produzieren an die KI ausgelagert und das Gegenlesen dann einfach weggelassen oder eben “nach oben delegiert”.

Das ist eine Katastrophe für die Produktivität und vor allem die Qualität.

Gleichzeitig hat man aber den Prozess dass sich alle durch das permanente Reinschieben von KI überall sehr schnell daran gewöhnen, dass alles einfach Grütze ist. Jedes Dokument enthält absurde KI Fehler, jedes Bild was irgendwo illustriert ist KI-Einheitsbrei, wir stumpfen einfach komplett ab.

Diese beiden Prozesse laufen jetzt gleichzeitig, und weil der zweite so effizient ist, bemerken wir den ersten auch bald nicht mehr.

Irgendwie wieder eine neue Dimension von Enshittification.