Thomas Kahle
banner
tomkalei.machteburch.social.ap.brid.gy
Thomas Kahle
@tomkalei.machteburch.social.ap.brid.gy
Der radfahrende podcastende antifaschistische Matheprof und Papa aus Magdeburg.

Math professor at OvGU Magdeburg posting in English and German.

When I was […]

🌉 bridged from ⁂ https://machteburch.social/@tomkalei, follow @ap.brid.gy to interact
I get this mail about once a week now. Coming from some private e-mail address at hotmail, firemail, gmail, ... Subject: "Unsolicited application as Materials Scientist." or similar with different field (never maths) The senders are also different each […]

[Original post on machteburch.social]
December 8, 2025 at 9:15 AM
#wisspodweihnacht bringt 24 Folgen mit max 24 Minuten, also höchstens 576 Minuten. Eine @Freakshow hat normalerweise ca. 200-300 Min und nächsten Montag kommt wohl schon wieder eine neue (besondere!).

Es staut sich in der #Overcast-Queue... ich muss […]

[Original post on machteburch.social]
December 4, 2025 at 9:10 AM
Meine letzten #threema Chats chronologisch. Was sagt euch das über mich?
December 4, 2025 at 8:15 AM
Wer sagte hier X sei ein geeignetes Medium um Zielgruppen in Öffentlichkeit, Politik und Journalismus zu erreichen? #exit
November 29, 2025 at 7:29 PM
Man bekommt auch noch coole Empfehlungen für weitere Produkte, die einen vielleicht interessieren könnten:
November 28, 2025 at 11:29 PM
Hallo @admin_toots !

Aktuell gibt es ein Problem mit Vorschaubildern, oder?

Im Web sieht es so aus und erst ein Klick zeigt das Bild. In Ivory stürzt sogar der Client ab, wenn man da drauf klickt.

@ferdimath hatte das Problem glaube ich auch in IceCubes.
November 28, 2025 at 10:26 PM
For those who celebrate: Die unterträglichen Füchse Berlin sind ja letztes Jahr deutscher Handballmeister geworden. Jetzt haben sie sich die eine Meisterschale klauen lassen.

Laut Hanning wurde dabei ein "Generalschlüssel" genutzt. Aha.
Wir nehmen noch Captions entgegen ...
November 24, 2025 at 6:55 AM
Heute in der Lukasklause: Die 59. Guericke-Tagung.

Manon Bischoff @manon_ym sprach über Das Nichts und wie man es wiegt. Antwort: Mit einer Balkenwaage in einem Bergwerk auf Sardinien. Aktuell wird das Experiment aber noch aufgebaut und an der Oberfläche […]

[Original post on machteburch.social]
November 22, 2025 at 5:37 PM
Hier ist übrigens die philosophische Definition von Wissen aus dem Talk (als Venn-Diagramm of all things -- memeable @MMagdowski ? )

Die Definition von "Rechtfertigung" habe ich aber nicht so richtig mitbekommen oder verstanden. Stehe da noch etwas auf […]

[Original post on machteburch.social]
November 22, 2025 at 8:07 AM
Ein paar schöne Jahre war ich komplett immun gegen Kinderkrankheiten.

Ach das war nice, aber ist jetzt auch wieder vorbei. Den jüngsten Magen-Darm-Virus habe ich mitgenommen. 🤢

Aber ich habe gerade 12h geschlafen und jetzt ist's wieder gut.

Apropos […]

[Original post on machteburch.social]
November 22, 2025 at 8:02 AM
Das Netz an der Uni ist heute wieder sehr sehr leistungsstark.
November 20, 2025 at 2:36 PM
I just wanted to quickly typst an example for the lecture tomorrow and suddenly I'm on #oeis again: https://oeis.org/A088138

I think this sequence is the result of the tri-diagonal determinant of twos, but it does not appear in the OEIS comments at all! […]

[Original post on machteburch.social]
November 16, 2025 at 10:12 PM
Antrag. Heute würde das nie klappen. 😆
November 11, 2025 at 8:02 AM
Heute gibt’s mal ein schönes neues #ipa das mir @jnhlnd aus 🇫🇷 mitgebracht hat. 🫶
November 3, 2025 at 5:12 PM
New in @typst 0.14: skewed fractions!

Do it like this: frac(1,2,style: "skewed")
November 1, 2025 at 3:56 PM
Die Zukunft ist morgen und heute ist hier.

F-Haus Jena. 🤘
October 31, 2025 at 6:24 PM
I formalized my first very simple lemma in #leanprover:

A binomial is a polynomial with at most two monomials. If you multiply a monomial with a binomial you get a binomial. This is the distributive law and the fact that monomial times monomial is a […]

[Original post on machteburch.social]
October 31, 2025 at 8:58 AM
Kommunikation per Expedia-Chat nur so mittel.
October 30, 2025 at 10:32 AM
Am Donnerstag 20.11. findet wieder der akademische Festakt der @uni-magdeburg.de statt und zwar in der Johanneskirche in #magdeburg.

Mit dabei: mein ehemaliger Doktorand Andreas Kretschmer, der den Dissertationspreis der Fakultät für Mathematik gewonnen […]

[Original post on machteburch.social]
October 29, 2025 at 1:19 PM
Na wenn's eh ohne Garantie ist...
October 27, 2025 at 9:13 AM
Zur Erinnerung, das alte #profilbild
October 24, 2025 at 11:27 AM
Komplett neues Profilfoto?
October 23, 2025 at 7:15 PM
Umbrisches #ipa aus Gualdo Cattaneo.
October 20, 2025 at 4:47 PM
A new paper whose authors include Eric Schmidt, Gary Marcus and Yoshua Bengio not only defines AGI, but also has this nice figure. It shows us that GPT-5 has reached the maximum possible ability in math.

I think they are trying to say that they are done […]

[Original post on machteburch.social]
October 16, 2025 at 6:17 PM
Nicht vergessen: Ab heute kann man #bahntickets für Weihnachten und danach buchen.

Habe schon wieder eine lustige Meldung entdeckt: In diesem Zug erscheinen und verschwinden anscheinend Tische und die Sitze drehen sich aus dem nichts.

Das wird ein Spaß. 🤗
October 15, 2025 at 6:00 AM