Thomas Kahle
banner
tomkalei.bsky.social
Thomas Kahle
@tomkalei.bsky.social
Mathematician, Podcaster, cyclist, dad, antifascist, Magdeburg, he/him

Academic home: https://thomas-kahle.de
Podcast: @eigenraum.bsky.social

When I was young, we used to compile our own operating systems.

@[email protected] on Masto
Ja, Bügelperlen.
September 6, 2025 at 8:58 AM
Is this display running some embedded Linux? It can occasionally be seen rebooting and displaying its kernel version. But normally these have 3 digits?

Anyway, in Unix Standard time your pictures was taken at -773884800 ☝️
September 1, 2025 at 9:37 AM
Should go back to work now....
June 20, 2025 at 7:28 AM
OK, of course I had to do it and check what ams-latex does. This is how it looks.
June 20, 2025 at 7:17 AM
Taking some notes in #typst. By now I can realize some things, only to discover that I don't know how I exactly want them. E.g. spacing around the colon in a definition of a map?

Colon to close to phi?

Can you say what you want from first principles and without checking \colon in LaTeX?
June 20, 2025 at 7:13 AM
Erstmal kein YouTube. Wird eh schon dunkel.
June 14, 2025 at 7:53 PM
Best Star Trek Crew, wrong answers only
May 24, 2025 at 9:18 AM
Getting ready to see WiZO, Pennywise and Pennywise tonight.

🤘
May 23, 2025 at 2:29 PM
Wenn ich meine Dreiecke in meine Kreisschachtel packe, ist es auch immer so. Am Anfang gibt man sich noch Mühe, aber am Ende schmeißt man die Dreiecke einfach nur noch rein.
May 19, 2025 at 10:04 AM
It's always worthwhile to take your math ideas and problems outdoors, but then how are you going to take notes?

On the outdoor blackboard!

We have one right in front of the math building, and it even has some design inspired by the engineering tradition in the building.
May 15, 2025 at 7:38 AM
Our server is full of strange machines I don’t understand. Sometimes they take me there, and they produce XP, gold, iron, gunpowder, or whatever else.
May 11, 2025 at 7:10 PM
In our family, it’s the fifth grader who’s the village elder on the server. I sometimes play, but with limited time or “during vacation” -- I haven’t gotten very far. So our survival world is mostly shaped by a gang of fifth graders.
May 11, 2025 at 7:10 PM
#Minecraft is actually a quite nice simulation of life. You’re just dropped into the world — and then what?

Well, just like in real life: first survive, then find something you enjoy doing.

And maybe get along with other people, too.

🧵
May 11, 2025 at 7:10 PM
Was würdet ihr antworten?
April 30, 2025 at 9:58 AM
April 24, 2025 at 11:49 AM
Microaggression
April 12, 2025 at 1:29 PM
What does it say about a math professor if some anonymous entity fixes this to their doorknob?

BTW. I also got a 3D-Printer for my wedding in 2014 and the GPLv3 as an audiobook for my birthday around 2009.
April 3, 2025 at 7:17 AM
Pur-Abo bei Springer irgendwer?

Und ja, ich meine den Wissenschaftsverlag.
March 31, 2025 at 8:02 PM
Ich stand gerade gestern vor einem ähnlichen Problem!! Das Logo der Markov Bases Database (markov-bases.de) ist eine niedrig-auflösende Bitmap.

Also chatGPT gefragt und Option 2 wurde von den Autor*innen hier scheinbar verwendet?

(Ich habe an der Stelle einfach aufgegeben/auf später verschoben.)
March 31, 2025 at 12:05 PM
Which (open source, command line) tool do you use to convert this to pdf?
March 26, 2025 at 11:45 AM
It's from a statistics journal. We got 'minor revision' with two reports which are both positive and one is basically saying nothing. Instead of saying nothing in the old-fashioned way, it is structured exactly like chatGPT would structure its output, contains way too many adjectives, etc.
March 24, 2025 at 8:40 PM
Post a warning.
March 24, 2025 at 6:31 AM
Was machen Sie beruflich? Büroarbeit.
March 21, 2025 at 6:36 AM
Ein IT-Krebs der gerade in der Wissenschaft wächst sieht so aus:

Immer mehr Unis machen so machine in the middle attacks auf die E-Mail ihrer Leute und fügen dort solche HTML(*seufz*) Warnung ein, für alle E-Mails die nicht "vom Campus" kommen.

Als ob das eine sinnvolle Unterscheidung wäre. 🤦‍♂️
March 14, 2025 at 8:46 AM
March 10, 2025 at 3:20 PM