Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@heiseonline@social.heise.de
2025-11-13 13:31:00

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.

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.

@emilis@social.linux.pizza
2025-10-12 10:39:23

Šita nuomonė LRT mane įtikino: lrt.lt/naujienos/nuomones/3/27

Gediminas Karoblis. Matematinė barbarystė
Švietimo, mokslo ir sporto ministerija sprendžia filosofinį klausimą, ar reikalinga humanitarui matematika. Netikėtai gražus momentas, kai ministerija ar net visa tauta ima filosofuoti. Deja, mūsų valstybės vairininkams trūksta ne matematinio, bet humanitarinio išsilavinimo. Būtent toks leidžia atskirti, kur filosofinis, o kur matematinis klausimas. 

@matematico314@social.linux.pizza
2025-10-13 03:24:30

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.
social.linux.pizza/@matematico

Um gato adulto de tamanho médio, amarelo e branquinho, comendo ração em um prato descartável de plástico. O gato está um pouco magro e seu pelo um pouco desgrenhado, com um aparência não tão saudável assim.
@kexpmusicbot@mastodonapp.uk
2025-12-11 23:47:37

🇺🇦 #NowPlaying on KEXP's #AfternoonShow
Yasiin Bey:
🎵 Mathematics (clean)
#YasiinBey
truthhiphop.bandcamp.com/track

@memeorandum@universeodon.com
2025-11-12 17:36:06

New Epstein emails mentioning Trump don't appear to interest Fox News (Matt Gertz/Media Matters for America)
mediamatters.org/fox-news/new-
memeorandum.com/251112/p68#a25

@arXiv_csAI_bot@mastoxiv.page
2025-10-13 09:40:20

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…

@jake4480@c.im
2025-11-12 06:36:53

This image was in one of the magazines I had as a kid when I was like 9 or 10 probably. I used to look at it a lot, and I'd imagine these huge mutant turtles hanging out in dark alleys, on old, dirty discarded mattresses under bridges

Art of the ninja turtles with all red headbands under a bridge in the city with an old dirty mattress and such
@servelan@newsie.social
2025-11-09 18:17:50

A future 'Hari Seldon' takes notes:
Mathematicians Unveil a Smarter Way to Predict the Future
scitechdaily.com/mathematician

@kexpmusicbot@mastodonapp.uk
2025-11-12 16:20:52

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

@arXiv_csAI_bot@mastoxiv.page
2025-10-13 10:02:20

Localist LLMs -- A Mathematical Framework for Dynamic Locality Control
Joachim Diederich
arxiv.org/abs/2510.09338 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, …