Tootfinder

Considerado uno de los mejores bateristas en la historia del rock, hoy habría cumplido 73 años Neil Peart, el encargado de ponerle letras a gran parte de la música de Rush, quien nació el 12 de septiembre de 1952.
#NeilPeart #CumpleañosRockero

🇺🇦 #NowPlaying on KEXP's #PacificNotions
Noel Brass Jr.:
🎵 In This Light
#NoelBrassJr
https://noelbrassjr.bandcamp.com/track/in-this-light

Sina Zarieß is giving the KONVENS keynote on training BabyLMs #nlproc
The slide shows the number of words a 12yo human has seen in their lifetime compared to the numbers of words typical language models have seen in training #llm

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…

"Der sichere Arbeitsplatz ist gecancelt", "Wer seinen Wert nicht steigert, wird durch KI ersetzt" grad auf Lin ke d In gelesen. Können solche neoliberalen Schwätzer nicht mal die Klappe halten. Das Schlimme aber ist, zu solchen Meinungen gibt es in der Linke d in- Blase fast nur Claqueure und der Algorithmus verschafft solchen Positionen mehr Gehör, als sie verdienen. Wenigstens ein Handwerker widerspricht, vereinzelt werden Zahlen zur angeblichen Ersetzbarkeit als nicht …

from my link log —
Luhn credit card checksum using SWAR and SIMD.
https://nullprogram.com/blog/2022/04/30/
saved 2022-04-30 https://

🇺🇦 Auf radioeins läuft...
Nilüfer Yanya:
🎵 Kneel
#NowPlaying #NilüferYanya
https://niluferyanya.bandcamp.com/track/kneel
https://open.spotify.com/track/3zHlu8zTCOQ2R6nobGogKJ

Day eight of my road trip and a driving day from Nullabor Roadhouse, SA to Cocklebiddy Roadhouse, WA. Had to go through the quarantine search at the border. Great sunrise over the Nullabor weather station. #RoadTrip

Kürzen? Bei deren Köpfen ja
https://www.surplusmagazin.de/wirtschaftsweise-veronikagrimm-soziales-kurzungen-pflege/

Wirtschaftsweise will Soziales kürzen und den Reichtum pflegen
Rufe aus dem Unternehmerlager nach Sozialkürzungen werden immer deutlicher. Der neoliberale Sachverstand schließt sich an.

🇺🇦 #NowPlaying on KEXP's #EasternEchoes
Nilüfer Yanya:
🎵 Cold Heart
#NilüferYanya
https://niluferyanya.bandcamp.com/track/cold-heart
https://open.spotify.com/track/5WRdonm8caliL2JA6fT2fL