Tootfinder

DMA: EU-Kommission prüft mögliche Mediendiskriminierung durch Google
Die EU-Kommission geht dem Verdacht nach, dass Google beim Ranking von Webseiten legitime Inhalte abwertet. Das soll unter anderem Medienangebote betreffen.

The 1990 Total Recall is one of my favorite movies, and I didn't know David Cronenberg was the original director for it and created the character of Kuato and all the mutants (although it makes perfect sense). The puppet itself was created by Rob Bottin.
How Kuato the mutant was created for Total Recall without any CGI:

How Total Recall Created Sci-Fi Mutant Kuato Without An Ounce Of CGI - SlashFilm
Total Recall's mutant rebel Kuato is one of many impressive non-CGI effects that Rob Bottin provided for Paul Verhoeven's sci-fi film.

It's always lovely to have the doubters get their asses academically kicked when it comes to Ada Lovelace's actual mathematical capabilities, but at the same time, I am so, so, so tired. Just so very tired. From an open access 2017 Historia Mathematica article debunking the idea that Lovelace was not a competent mathematician.

O amarelinho, ex-prisioneiro, apareceu agora hš pouco. Dš pra perceber com nitidez como ele estš mais magro e como seu pelo estš menos saudšvel do que costumava ser.
https://social.linux.pizza/@matematico314/115357678350152632

🇺🇦 #NowPlaying on KEXP's #AfternoonShow
Yasiin Bey:
🎵 Mathematics (clean)
#YasiinBey
https://truthhiphop.bandcamp.com/track/mos-def-aka-yasiin-bey-mathematics-truth-remix

New Epstein emails mentioning Trump don't appear to interest Fox News (Matt Gertz/Media Matters for America)
https://www.mediamatters.org/fox-news/new-epstein-emails-mentioning-trump-dont-appear-interest-fox-news
http://www.memeorandum.com/251112/p68#a251112p68

RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows
Hamed Mahdavi (Pennsylvania State University), Pouria Mahdavinia (Pennsylvania State University), Samira Malek (Pennsylvania State University), Pegah Mohammadipour (Pennsylvania State University), Alireza Hashemi (City University of New York), Majid Daliri (New York University), Alireza Farhadi (Amirkabir University of Technology), Amir Khasahmadi (Autodesk), Niloofar Mireshghallah (Carnegie Mellon …

RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows
State-of-the-art (SOTA) LLMs have progressed from struggling on proof-based Olympiad problems to solving most of the IMO 2025 problems, with leading systems reportedly handling 5 of 6 problems. Given this progress, we assess how well these models can grade proofs: detecting errors, judging their severity, and assigning fair scores beyond binary correctness. We study proof-analysis capabilities using a corpus of 90 Gemini 2.5 Pro-generated solutions that we grade on a 1-4 scale with detailed err…

FRYING Russian propaganda dumb fakes! Mutant LOCUSTS hit Kremlin! | Weapons with @StarskyUA : https://benborges.xyz/2025/12/12/frying-russian-propaganda-dumb-fakes.html

🇺🇦 #NowPlaying on KEXP's #MorningShow
Math and Physics Club:
🎵 Indian Summer
#MathandPhysicsClub

Localist LLMs -- A Mathematical Framework for Dynamic Locality Control
Joachim Diederich
https://arxiv.org/abs/2510.09338 https://arxiv.org/pdf/2510.09338

Localist LLMs -- A Mathematical Framework for Dynamic Locality Control
We present a novel framework for training large language models with continuously adjustable internal representations that span the full spectrum from localist (interpretable, rule-based) to distributed (generalizable, efficient) encodings. The key innovation is a locality dial, a tunable parameter that dynamically controls the degree of localization during both training and inference without requiring model retraining. This is achieved through group sparsity penalties on attention mechanisms, …