Krasse Kampagne von @signalapp@mastodon.world
Sieht man überall, an jeder Ampel im ganzen Land.
Remote
Thomas Kahle
@tomkalei@machteburch.social
mastodon 4.7.2➡️ Umgezogen zu @tomkalei@mathe.social
Hier nur Archiv.
➡️ I have moved to @tomkalei@mathe.social.
This account is an archive now.
88 Followers
518 Following
50 Posts
Joined April 26, 2022
Eigenraum Podcast:
Pi ist genau 3 Podcast:
Erdentage iOS App:
Wer Videos im gesamten #Peertube - Netzwerk suchen will, kann übrigens
https://peerseek.video/
nutzen. Die Seite ist made in #Berlin, hat eine API kennt extrem viele Instanzen (alle auf dem Index https://instances.joinpeertube.org/instances ) und hat auch gängige Such-Operatoren wie "before".
#feditips
Replying to
@Helmholtz_HIOH@helmholtz.social @hnnng@chaos.social
Ich freue mich über diese Nachricht, aber bitte betrachtet Mastodon nicht nur als "Kanal" über den man Botschaften "ausspielt". Das ist genau die Logik einer Werbe-Agentur mit der man auf wirklich sozialen Medien nicht weiterkommt.
RE: https://mathe.social/@tomkalei/116812600219433585
Wie ihr vielleicht gesehen habt, ging gestern die neue #Mastodon Instanz
=> mathe.social <= 
an den Start.
Wenn ihr Leute aus der (deutschsprachigen) #Mathematik kennt, die jetzt starten wollen... Bei der Registration bitte angeben, warum man auf mathe.social sein möchte und wer man ist.
Ich arbeite auch daran, dass mathematische Forschungsprojekte, Softwareprojekte, etc. ihre #wisskomm dort betreiben können und das wird dann ganz großartig.
Mehr #Mathe im #fediverse!
an den Start.
Wenn ihr Leute aus der (deutschsprachigen) #Mathematik kennt, die jetzt starten wollen... Bei der Registration bitte angeben, warum man auf mathe.social sein möchte und wer man ist.
Ich arbeite auch daran, dass mathematische Forschungsprojekte, Softwareprojekte, etc. ihre #wisskomm dort betreiben können und das wird dann ganz großartig.
Mehr #Mathe im #fediverse!Da jetzt wieder der Wahl-o-mat rumgereicht wird. Ich frage mich dabei immer: Sind Fakten, Programme usw. überhaupt noch relevant für die Wahlentscheidung? Bei Matthias Quent habe ich neulich irgendwo gehört, dass 30% in Sachsen-Anhalt eine Revolution wollen. Da geht es nicht um irgendwelche Probleme der Menschen. Die wollen einfach alles brennen sehen. Und was CDU und AfD irgendwie doch vereint ist diese Identitätspolitik. Immer "wir gegen die anderen", da geht es auch nicht um Sachfragen. 1/2
Ich werde wahrscheinlich nun doch bald #machteburch.social den Rücken kehren und auf #mathe.social weiter machen.
Komplexitätsreduktion, eat-your-own-dogfood, Sichtbarkeit für die Instanz. Hoffe natürlich, dass diese Account-Migration dann auch hält was sie verspricht.
Fördermitglied bei @softwerke@machteburch.social bleibe ich natürlich und nutze auch noch #matrix auf magdeburg.jetzt.
Und ich bin auch schon mal einigen #magdeburg accounts gefolgt, die ich sonst automatisch in der lokalen Timeline hatte.
RE: @tomkalei@machteburch.social
Gut, die Argumentation passt nicht ganz, aber einen Gedanken hatte ich neulich noch als ich bei @dazwischen@social.detektor.fm das Interview mit Sven Schulze gehört habe.
Er schwimmt da so ein wenig, weil ja Axiom 1 in der Politik ist, dass man niemals die Wähler beschuldigen oder beschimpfen darf.
Man muss die immer "zurückgewinnen", "überzeugen", etc.
Er kann nicht sagen, dass das Vollidioten sind die total realitätsfern argumentieren, wählen, sich selbst schaden, etc.
Das sagt keiner so richtig, oder? 1/2
Neuer #Blogpost: Wissenschaftskommunikation im #Fediverse.
Ein Meinungsartikel zu Mastodon + co mit einem Blick auf die #Mathematik. Geschrieben für die DMV Mitteilungen.
Angebot mit mathe.social steht!
At the faculty of #mathematics at #OvGU we are seeking to fill two professorship in the broadly defined area of statistics:
W2 Applied Stats and Data Science: https://www.ovgu.de/unimagdeburg_media/Stellenausschreibungen/2026/Professuren/005_W2_Professur+f%C3%BCr+Angewandte+Statistik_FMA_Pott_Stellenausschreibung_Englisch-p-143121.pdf
W3 Statistics and Math. Foundations of Data Science: https://www.ovgu.de/unimagdeburg_media/Stellenausschreibungen/2026/Professuren/006_W3_Professur+f%C3%BCr+Statistik_FMA_Kaibel_Stellenausschreibung_Englisch-p-143143.pdf
Please check it out and forward to suitable candidates!
#jobs #mathjobs
Ich verstehe nicht, warum die American Mathematical Society #ams ihre Mitgliederverwaltung (übrigens eine Webseite mit 2003-Look and Feel, also .aspx usw.) hinter Cloudflare haben muss und das dann nicht richtig konfiguriert und dann eine Mail an alle Mitglieder rausschickt, dass sie die Seite doch jetzt besuchen sollen um ihre Mitgliedschaft zu erneuern.
Replying to
@necrosis@chaos.social @MMagdowski@bildung.social
Ich glaube, das ist eine komplette Fehleinschätzung der Gen Alpha. Die kommen schon aus ihrer Jugend mit kompletter Vereinzelung und hoher Quote psychischer Erkrankungen. Sich nur mit dem eigenen „Feed" zu beschäftigen ist viel verbreiteter als noch vor 5 Jahren.
Dazu kommt große Entscheidungsschwäche: Viele wollen auf keinen Fall einen Fehler machen oder auch nur eine einzige schlechte Erfahrung!
Also lieber nichts tun und das hilft beim Lernen auch nicht gerade.
Seit heute ist die von #IMAGINARY kuratierte und von der Carl Zeiss Stiftung ( @carl_zeiss_stiftung@stiftungen.social ) geförderte
Wanderausstellung I am A.I.
in der oberen Etage der Mensa der @uni-magdeburg.de geöffnet.
Die Ausstellung wird bis Ende Juli an allen Wochentagen zugänglich sein (von 10:30 bis 14:30 unter Betreuung von HiWis der Fakultät für Mathematik).
Schaut vorbei!
A quine is a computer program that prints its own source code. Such a program exists in any sufficiently powerful programming language by Roger's fixed point theorem.
A quine cannot contain all of its source code as a string which it then prints. One needs a trick.
One trick is to decompose the program into 3 parts. P, a Preamble, S.quote, a tail-string S of the program quoted in the programming language, and then the literal tail string S.
The program is P++S.quote++S
1/2
Me: Using a proof assistant like #lean, we can express all math in an expressive and algorithmically checkable way!
The proof assistant: Consider this simple equation among 3x3 determinants:
Replying to
@jonmsterling
Exactly this!! Thanks for saying it more clearly than I could.
It's also not only about auto-formalization. The informal math is also becoming adversarial. Send in slop and let the referees figure out if it's correct. They can't because they are working under a good faith assumption.
Habe heute entdeckt, dass in der Fakultät ein bisher ungenutzter Server mit 2x NVIDIA V100 32GB stand. Und nach einem Treiberupdate lief darauf auch das #leanstral Modell mit vernünftiger Geschwindigkeit.
Habe jetzt die 4-Bit Quantisierung genommen und dann passt es mehr oder weniger in den VRAM. Die Kiste hat 1TB normalen RAM, also kein Problem hier.
Bin gespannt, was das kann!
Replying to
@ElenLeFoll@fediscience.org
On a whole academia level I don’t know what to do. For a while I thought there is a loss of competence through AI but now I think of it more as a voluntary competence austerity.
Academics still have the possibility to study, learn, improve and use computers for good. But they chose not to, instead taking the shortcut.
They do exactly what they are telling their students not to!
In a blind test, audiophiles couldn't tell the difference between audio signals sent through copper wire, a banana, or wet mud. ☝️
(Via @atpfm@mastodon.social )
I seriously don't know, please help me: For what do data centers need so much fresh water?
OK, cooling, sure. But why don't they condensate that water again? You don't need to fill cooling water in your car all day either? Is this leakage? 5 million gallons per day per datacenter? Can't be true.
I tried to google this but it's terrible. Nobody explains this basic fact. I find only massive fearmongering, e.g.
https://www.eesi.org/articles/view/data-centers-and-water-consumption
The scientific approach is to find a solution, not scare.
Replying to
@MMagdowski@bildung.social
Ich habe nochmal darin gelesen und sie ist auch leider irgendwie schon am ersten Tag veraltet, weil es noch keine agentischen Systeme gab, als sie geschrieben wurde.
Bsp. Ich lege hiermit offen (nach 8.2), dass _alle_ meine Folien für den #TagDerLehre morgen "KI generiert" sind. Sie sind in #typst programmiert und ich tippe das nicht mehr selbst.
Trotzdem bestimme ich was auf jeder Folie ist und zwar mit vielen Revisionen. Sie sind somit auch alle im Detail selbst gemacht!
Ich brauche mal eure Hilfe:
Ich suche ein elektronisches Türschild was anzeigt ob ein Raum belegt oder frei ist. Das soll möglichst wenig Schnickschnack haben und optisch gut aussehen (rot belegt, grün frei in groß genug).
Die einzige Funktion ist "buchen" (Touchscreen?). Da wählt man dann die Zeit aus z.B 30/60/90/... Min und dann ist es so lange rot und wird danach wieder grün.
Anschluss an Internet/Kalender usw.: nice to have aber eher nicht nötig, weil es dann wieder bloat wird.
Probably the least helpful or logical dialogue I've seen on #MacOS in a while. Can or cannot? Green gheckmark for an error? And this is an Apple Keyboard with TouchID, so very recent.
Needless to say that this "keyboard identification" is all useless anyway because the keyboard is working just fine. After all, it is just a USB-keyboard.
If by some effect all the mathematicians of the world would instead of the usual good mathematics suddenly start to only produce mediocre and meaningless self-referential and mildly incremental work --
How long would it take until the general public notices ?
And then what would politics do about it?
[ I mean from now on. In this scenario we still have access to all the good math from the past!]
Replying to
@Eigenraum Sortiert nach Farbe:
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523,541
RE: @tomkalei@machteburch.social
Ich habe gerade nachgeschaut, wann mein erster Post über #chatGPT war: Vor 1201 Tagen. (2.1.'23).
Ich glaube den Account hatte ich von @jnhlnd@machteburch.social geborgt, weil man damals nicht einfach so einen erstellen konnte oder sowas?
Am 25. Mai '23 gabs dann schon diese Eigenraum-Folge: https://eigenpod.de/eig018-chatgpt/ in der gpt "zu Wort kommt".
Replying to
@ElenLeFoll@fediscience.org
Ok, so these „AI drafted“ proposals are surely going to be very innovative and not incremental at all 🙄, but that aside: the whole concept of being taught how to use AI makes no sense to me.
If you want to use AI you can just use it. If you don’t know how to use it, you can ask the AI.
What people would need to learn is how powerful computers and source code are. In German we call it Digitalisierung and we suck at it.
Replying to
@MMagdowski
Ich habe gerade bemerkt, dass PeerTube auch im Hintergrund weiter das Audio abspielt, auch wenn ich mit dem Handy wieder zurück zur Mastodon App gewechselt bin. Ein Premium Feature gratis. 😁
Replying to
@MMagdowski @helionat
Warum postet hier eigentlich nie jemand mal irgendwo nen Link den man anklicken kann? (Das geht auf Mastodon und wird auch nicht algorithmisch abgestraft.)
In eurem Post fehlt https:// davor, daher sieht man ihn nicht. In eurem Profil habt ihr irgendwie Link und Beschreibung verwechselt, daher kann man da auch nicht klicken.
-> So: https://www.helionat.de/
Saying something without saying anything in #lean:
def non_decreasing (f : ℝ → ℝ) := ∀ x₁ x₂, x₁ ≤ x₂ → f x₁ ≤ f x₂
example (f g : ℝ → ℝ) (hf : non_decreasing f) (hg : non_decreasing g) : non_decreasing (g ∘ f) := fun _ _ h => hg _ _ (hf _ _ h)
Is this a good proof? It's certainly easy to see after seeing it !!
Rickrolling aber auf dem Glasboden beim #Final4 in Köln.
Replying to
Thanks for this nice post @ProfKinyon !
I'm currently trying to learn #lean and foolishly thought this was a good exercise to formalize!
In the end it was way beyond my current skills and I needed more time and way more AI help than I liked, but your proof works. 😅
https://tinyurl.com/4hzpyd6t
Replying to
@MMagdowski@bildung.social
Ich denke es wird im Alltag auf absehbare Zeit (also 6-8 Monate 🤓) auf Co-Working mit Agenten hinauslaufen. Solche Unterscheidungen, was ein "KI-generierter" Inhalt ist, werden dann immer schwieriger.
Klar, ein Bild das man irgendwo einbindet ist ein Artefakt, aber was ist mit einer Präsentation, einem Übungsblatt, einem Script, einem R-Paket.
Ist unsere Familienapp #Erdentage KI generiert? Ja klar und auch irgendwie Nein natürlich nicht.
Replying to
@geeeero
Formalization of a paper by LLMs:
https://tom111.github.io/BEI-lean/
(including fixing proofs that are wrong in the human written paper)
Need to write up the blog post about the experience... rather than hanging out on Mastodon 🙈
Replying to
@jdw@mathstodon.xyz
But what stops you from working the way you want to work on whatever you want?
Of course, If you need to earn money, then there are constraints.
But still, on the personal level, the availability of a new tool should not change anything for the worse, or does it?
But of course the environment changes, yes, and society and learning and attitudes. Maybe it cannot be analyzed solely on the personal level.
Replying to
@tao@mathstodon.xyz
I suspect that the referee has used claude code too, but who knows.
On that: I have learned from open source maintainers that some don't want AI generated pull requests anymore. They rather want feature requests or just the prompts so that can run the AI themselves.
I suspect that one human forwarding AI output to another human will be a short intermission until we talk directly about what an AI should do on a given document and let the author run the AI themselves.
Replying to
Replying to
@nitramred@chaos.social @staatsbuergerkunde
Hmm. Kann sein, dass das Fallback "on device" ist oder für alle die unter der Grenze sind?
Ich hab das Update leider noch nicht verfügbar und kann erst danach testen.
Und mit allem anderen hast du auch recht: Es ist schon traurig wie hier das Rad nochmal erfunden wird, mit ein paar zusätzlichen Ecken.
Replying to
@nitramred@chaos.social
BTW: Seine Transkripte sind NICHT on device. Er hat eine MacMini Farm dafür aufgebaut und transkribiert die in seinem kleinen Data Center. Dabei geht er nach Podcast-Größe vor. Je mehr Subscriber der Podcast in Overcast hat, desto früher kommen neue Folgen in die Queue. Das geht aber anscheinend schnell genug, dass er mittlerweile am Katalog rückwärts arbeitet.
Replying to
Replying to
@nitramred@chaos.social @ericteubert@chaos.social
Ah, OK, gut. Ich wollte warten, bis ich in Overcast Transkripte habe und dann die Stellen nachlesen / suchen. Das ist ja laut Marco von nun an die offiziell beste Navigation in Podcasts. (Bei dem Punkt stimme ich ihm sehr zu!)
Replying to
@jdw@mathstodon.xyz
Do you think beauty and creativity are taken from programming?
I think the opposite: Programming is now back to mostly that part that happens when being away from a computer. Thinking about structures, UI, design, etc.
The hard, creative and beautiful aspects of it!
Time spent typing, casing missing semicolon or reading API descriptions is reduced to a minimum.
Replying to
@nitramred@chaos.social
Marco hat das in mehreren Folgen ATP ja besprochen.
Da kam er auch auf die ausgelieferten Transkripte von uns "Germans" und der durchgängige Ton war: "Es gibt sowieso keine Podcasts ohne dynamic ad insertion mehr" weshalb niemand Transkripte mitliefern kann oder die die es tun sind nicht relevant.
Ich fand das alles ein bisl schade.
Er sagte auch, dass er mitgelieferter vtt noch implementieren will, aber da kam auch wieder "meine Transkripte sind eh besser" durch.
🙁