Tootfinder

This https://arxiv.org/abs/2505.17155 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLG_…

TrimR: Verifier-based Training-Free Thinking Compression for Efficient Test-Time Scaling
Large Reasoning Models (LRMs) demonstrate exceptional capability in tackling complex mathematical, logical, and coding tasks by leveraging extended Chain-of-Thought (CoT) reasoning. Test-time scaling methods, such as prolonging CoT with explicit token-level exploration, can push LRMs' accuracy boundaries, but they incur significant decoding overhead. A key inefficiency source is LRMs often generate redundant thinking CoTs, which demonstrate clear structured overthinking and underthinking patter…

Die Verbraucherzentrale Rheinland-Pfalz hat festgestellt, dass sich einige Unternehmen querstellen, wenn es um die Kündigung von Glasfaserverträgen geht. Aber lasst euch nicht verunsichern! Ihr habt Rechte!
Zum Artikel: https://heise.de/-10421162?w…

Selenskyj: Gefangenenaustausch wird vorbereitet
Der ukrainische Präsident Selenskyj hat bestätigt, dass die Verhandlungsrunde in Istanbul beendet ist. Selenskyj sagte während eines Besuchs in der litauischen Hauptstadt Vilnius, eine neue Freilassung von Kriegsgefangenen werde vorbereitet.
🔗

Ukraine und Russland: Verhandlungen beendet - neuer Gefangenenaustausch
Zum zweiten Mal haben sich Vertreter der Ukraine und Russlands in Istanbul getroffen. Nach dem Ende der Gespräche kündigte die Ukraine einen neuen Austausch von Gefangenen an.

Diese Hintergrundinformationen zum Nazi OB-Kandidat*Innen benötigt unbedingt mehr Reichweite.
From: @…
https://mastodon.bida.im/@rkowl/1146160412…

Looking for Attention: Randomized Attention Test Design for Validator Monitoring in Optimistic Rollups
Suhyeon Lee
https://arxiv.org/abs/2505.24393 https:/…

Looking for Attention: Randomized Attention Test Design for Validator Monitoring in Optimistic Rollups
Optimistic Rollups (ORUs) significantly enhance blockchain scalability but inherently suffer from the verifier's dilemma, particularly concerning validator attentiveness. Current systems lack mechanisms to proactively ensure validators are diligently monitoring L2 state transitions, creating a vulnerability where fraudulent states could be finalized. This paper introduces the Randomized Attention Test (RAT), a novel L1-based protocol designed to probabilistically challenge validators in ORUs, t…

Was isst KI: Wichtiger Text von @… und @… fürs @… über die Zerstörung des Planeten…

Wenn der Glasfaser-Anbieter die Kündigung nicht annimmt
Angeblich kein Widerruf des Glasfaservertrags möglich? Oder die Kündigung wird nicht bestätigt? Dann läuft etwas mächtig schief, erklären Verbraucherschützer.

Es ist so unfassbar schlecht, Geld damit zu machen, dass man Hass unter Menschen verbreitet und vergrössert,
und das sollte doch so selbstverständlich und offensichtlich sein,
dass ich absolut nicht verstehen kann, wie wir das auch weiterhin zulassen können und zusehen,
wie die Welt um uns herum
durch US-amerikanische und chinesische Algorithmen
verroht!
🤯
#Tiktok

Rund um den #Jordansprudel im #Audi!
Der Grund, warum er überhaupt so weit gekommen ist, sind die nicht wieder an Ort und Stelle verbrachten #Poller im Weg. Gerne werden die von Stadtwerken u…

Was braucht ein guter Begleiter im Turnieralltag? Hier lernst du, wie du junge Talente optimal unterstützt. Mehr Know-how gibt’s in den weiteren Workshops!
➡️ https://www.deutsche-schachjugend.de/termine/2025/akademie/