Tootfinder

Kommentar: Deutschland schadet sich mit der Feindschaft zur Klimaanlage selbst
Klimaanlage? Geht ja gar nicht! Wärmepumpe? Super. Clemens Gleich kommentiert die seltsame deutsche Tugendwahrnehmung an der Moralscheide des Klimakompressors.

Ein unschöner Moment - Klopp schimpft: „Das ist ein jämmerliches Gewerbe“ #News #Nachrichten

🇺🇦 #NowPlaying on KEXP's #MiddayShow
Belle and Sebastian:
🎵 Another Sunny Day
#BelleandSebastian
https://m0rl0ck.bandcamp.com/track/another-sunny-day-m0rl0ck
https://open.spotify.com/track/73JnItJ3dofEssv5hWFHDs

Microsoft says its Gaming Copilot feature, which recently hit Windows 11 as a public beta, uses screenshots to understand in-game events, not to train AI models (Jowi Morales/Tom's Hardware)

Microsoft responds to Gaming Copilot controversy, says it uses screenshots to understand in-game events, not for training AI models — optional feature can be turned off, but not easily uninstalled
Microsoft says it isn't using your data to train its AI.

>> Mossad, Meinung, Moralgewitter: Friedrich Merz im Stadtbild-Tsunami
MARIE VON DEN BENKEN <<
Sehr schön zu lesende Kolumne.
https://www.n-tv.de/politik/Mossad-Meinung-Moralgewitter-Friedrich-Merz-im-…

Lees Emre!
From: @…
https://mastodon.social/@Joop/115439764049131975

Easy Acceleration with Distributed Arrays
Jeremy Kepner, Chansup Byun, LaToya Anderson, William Arcand, David Bestor, William Bergeron, Alex Bonn, Daniel Burrill, Vijay Gadepally, Ryan Haney, Michael Houle, Matthew Hubbell, Hayden Jananthan, Michael Jones, Piotr Luszczek, Lauren Milechin, Guillermo Morales, Julie Mullen, Andrew Prout, Albert Reuther, Antonio Rosa, Charles Yee, Peter Michaleas

Easy Acceleration with Distributed Arrays
High level programming languages and GPU accelerators are powerful enablers for a wide range of applications. Achieving scalable vertical (within a compute node), horizontal (across compute nodes), and temporal (over different generations of hardware) performance while retaining productivity requires effective abstractions. Distributed arrays are one such abstraction that enables high level programming to achieve highly scalable performance. Distributed arrays achieve this performance by derivi…

CASP: An evaluation dataset for formal verification of C code
Niclas Hertzberg, Merlijn Sevenhuijsen, Liv K{\aa}reborn, Anna Lokrantz
https://arxiv.org/abs/2508.18798 https://…

CASP: An evaluation dataset for formal verification of C code
Recent developments in Large Language Models (LLMs) have shown promise in automating code generation, yet the generated programs lack rigorous correctness guarantees. Formal verification can address this shortcoming, but requires expertise and is time-consuming to apply. Currently, there is no dataset of verified C code paired with formal specifications that enables systematic benchmarking in this space. To fill this gap, we present a curated evaluation dataset of C code paired with formal spec…

The Euler class of infinite-type surface bundles
Mauricio Bustamante, Rita Jim\'enez Rolland, Israel Morales
https://arxiv.org/abs/2509.21093 https://a…

The Euler class of infinite-type surface bundles
We study the Euler class of smooth orientable infinite-type surface bundles with a section. For many such surfaces, we show that this cohomology class is nontrivial, and that the behavior of its powers depends on the genus and the type of ends. As an application, we extend Morita's non-lifting theorem to many infinite-type surfaces, including surfaces of infinite genus.

Crosslisted article(s) found for math.AT. https://arxiv.org/list/math.AT/new
[1/1]:
- The Euler class of infinite-type surface bundles
Mauricio Bustamante, Rita Jim\'enez Rolland, Israel Morales