← Feed

Posts

• Post #4480444

  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

• Post #4430787

  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 Sachfra...

• Post #3833584

  Einfach ma n Buch lesen! 📚 https://fortune.com/article/how-did-us-spending-30-billion-dollars-on-laptops-result-in-first-generation-less-cognitively-capable-than-parents/

• Post #3714569

  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+St...

• Post #3677790

  Krasse Kampagne von @signalapp@mastodon.world Sieht man überall, an jeder Ampel im ganzen Land.

• Post #3486445

  This is well done! https://inpreparation.substack.com/p/opinion-i-was-not-allowed-to-type

• Post #3426727

  RE: https://mathe.social/@tomkalei/116812600219433585 Wie ihr vielleicht gesehen habt, ging gestern die neue #Mastodon Instanz => mathe.social <= :blobcatmaths: 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...

• Post #2520041

  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 bl...

• Post #2485941

  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! https://huggingface.co/jackcloudman/Leanstral-2603-GGUF #lean #mistral

• Post #2392886

  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-cente...

• Post #2303234

  In a blind test, audiophiles couldn't tell the difference between audio signals sent through copper wire, a banana, or wet mud. ☝️ (Via @atpfm ) https://www.tomshardware.com/speakers/in-a-blind-test-audiophiles-couldnt-tell-the-difference-between-audio-signals-sent-through-copper-wire-a-banana-or-wet-mud-the-mud-should-sound-perfectly-awful-but-it-doesnt-notes-the-experiment-creator

• Post #2286227

  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!]

• Post #2090302

  Seit heute ist die von #IMAGINARY kuratierte und von der Carl Zeiss Stiftung ( @carl_zeiss_stiftung ) 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! https://www.i-am.ai/de/index.html

• Post #1768647

  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:

• Post #1673157

  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! https://thomas-kahle.de/blog/2026/fediverse-wisskomm/

• Post #1458444

  RE: https://machteburch.social/@tomkalei/109618862178647482 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 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".

• Post #1458443

  Rickrolling aber auf dem Glasboden beim #Final4 in Köln.

• Post #1458442

  RE: https://machteburch.social/@tomkalei/116425983489602517 Hat schon wer Doom auf dem Teil zum Laufen bekommen? #Final4

• Post #1458441

  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 !!

• Post #1458439

  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.

• Post #1458437

  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

• Post #1206892

  Ich bin im Fernsehen !! 😅 Unter https://www.youtube.com/playlist?list=PLXPagaZp_dLYH-QC9JmZDGXRVvLYzB5ig haben wir eine kleine Playlist in der Mathe Profs Abi-Aufgaben erklären. Kennt ihr jemanden der/die vielleicht ab Herbst #Mathe #studieren will? Wie wär's dann mit #Magdeburg und der #OvGU ?

• Post #1184476

  Wir begrüßen die Landesbeauftragte für Datenschutz in #sachsenanhalt ( @lfd_lsa ) Maria Christina Rost in unserem Sachsen-Anhalt Starter-Pack zum #moderndenken https://datenschutz.sachsen-anhalt.de/landesbeauftragte https://fedidevs.com/s/ODc0/

• Post #1180920

  Neuer Blog-Post (zusammen mit @ChristianStump) zum Thema KI für Mathe Forschung. tldr; Ich beobachte und probiere, hatte aber noch keine Erfolgserlebnisse. Mathematiker*innen sollten aber nicht wegsehen sondern mitgestalten. Und die Werbung der KI-Firmen nicht glauben. https://www.thomas-kahle.de/blog/2025/math-in-context-window/ #llm #ki #Mathematik 🧵 👇

• Post #1099716

  RE: https://machteburch.social/@tomkalei/116350882561601727 Der Freischaltbrief kam (war normalgroß und grau übrigens) und ich konnte jetzt den ersten Antrag stellen. Das Prinzip ist sehr "kundenfreundlich": Man sammelt Fotos von seinen Rechnungen in der App und irgendwann klickt man Antrag einreichen und fertig. Zu den Fotos kann man noch Metadaten speichern wie "für welches Familienmitglied", "Typ der Rechnung", "Betrag&quo...

• Post #1099715

  "But perhaps this position [LLM = stochastic parrot] is simply denying an uncomfortable truth: that some portion of our vaunted human capabilities are in fact not that much more sophisticated in nature than the AI algorithms we have now designed to mimic them. And as AI performance continues to advance, such a human-chauvinistic viewpoint risks degenerating into an increasingly untenable “god of the gaps” philosophy..." via https://arxiv.org/abs/2603.26524, Section 6.3 1/2

• Post #1082568

  Everybody knows the 4-color-theorem. But do you know the 4-sample-theorem? Our Snapshot with @lukesky surveys this and is finally published now: https://publications.mfo.de/handle/mfo/4415

• Post #1082562

  Lese auf #Handball-World, dass die Champions-League Plätze auch nach Qualität der Social Media Präsenz vergeben werden. Da würde ich den Füchsen Berlin ja empfehlen jetzt schon mal nen #Mastodon Account anzulegen. 😬 https://www.handball-world.news/artikel/keine-garantie-verliert-die-bundesliga-sogar-einen-internationalen-startplatz-1208612

• Post #1082559

  Heute Nacht ein Schreiben vom Energieversorger bekommen: Strompreis sinkt ab 1.6. von 30 Ct. auf 25,7 Ct. und dann lese ich sofort das hier auf Tagesschau. Diese Koalition lässt einem keine Ruhe. Unerträglich.

• Post #1082558

  Der beste Kommentar zu #Artemis2 den ich irgendwo gelesen habe: Man ist einfach gar nicht mehr gewohnt, im Fernsehen oder Nachrichten so eine stundenlange, ausführliche Darstellung geballter Kompetenz zu sehen. Leute die gut nachgedacht haben und im Team einen perfekten Plan perfekt ausführen. OK, minus das mit den zwei Outlooks ;) Klar, das hat auch Energie verbraucht und CO2 wurde ausgestoßen, aber ich denke das Thema Weltraum kann uns als Menschheit zusammen und weiter bringen.