← Feed

Posts

• View post

  RE: https://social.heise.de/@hakendran/117132607846508411 Ich glaube die Frage mit #threads war (auch) von mir: https://machteburch.social/@tomkalei/116932063888145246 Bin gespannt!

• View post

  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.

• View post

  RE: https://machteburch.social/@tomkalei/117133346329105448 Gut, die Argumentation passt nicht ganz, aber einen Gedanken hatte ich neulich noch als ich bei @dazwischen 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 real...

• View post

  RE: https://mathe.social/@tomkalei/117138315855825131 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 bleibe ich natürlich und nutze auch noch #matrix auf magdeburg.jetzt. Und ich bin auch schon mal einigen #magdeburg accounts gefolgt, die ich...

• View post

  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

• View post

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

• View post

  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/

• View post

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

• View post

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

• View post

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

• View post

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

• View post

  @neuSoM@bewegung.social Das meinte ich gestern @Marcel@machteburch.social ;) Noch was für heute Abend @gavinkarlmeier@mastodon.social ?

• View post

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

• View post

  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

• View post

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

• View post

  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

• View post

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

• View post

  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

• View post

  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:

• View post

  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/

• View post

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

• View post

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

• View post

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

• View post

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

• View post

  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.

• View post

  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

• View post

  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 ?

• View post

  Einige prominente Accounts wie @sachsenanhalt oder @mwu_sachsenanhalt würde ich zwar gerne aufnehmen, aber ihre Accounts sind auf "nicht auffindbar" gestellt, was vermutlich ein Versehen oder eine übersehene Default-Einstellung ist? Wenn ihr dort arbeitet oder jemanden kennt, fragt doch bitte mal an! Bluesky-Brückenaccounts können auch nicht aufgenommen werden. Bitte kommt persönlich ins #fediverse z.B. @uni-magdeburg.de Danke an @fedidevs für die Umsetzung. @neuSoM

• View post

  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/

• View post

  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 🧵 👇