Tootfinder

Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes
Mingyi Li, Junmin Xiao, Siyan Chen, Hui Ma, Xi Chen, Peihua Bao, Liang Yuan, Guangming Tan
https://arxiv.org/abs/2509.10236

Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes
We introduce Stencil-Lifting, a novel system for automatically converting stencil kernels written in low-level languages in legacy code into semantically equivalent Domain-Specific Language (DSL) implementations. Targeting the efficiency bottlenecks of existing verified lifting systems, Stencil-Lifting achieves scalable stencil kernel abstraction through two key innovations. First, we propose a hierarchical recursive lifting theory that represents stencil kernels, structured as nested loops, us…

MSNBC fires analyst Matthew Dowd over Charlie Kirk shooting remarks.
“Hateful thoughts lead to hateful words, which then lead to hateful actions,” Dowd said, adding: “You can’t stop with these sort of awful thoughts you have and then saying these awful words and then not expect awful actions to take place.”

Scale comparison: Shahed drone, STING anti-Shahed drone, and human. To date, STING, developed by https://wildhornets.com/en/
, has intercepted over 600 Russian aerial targets. (original post on Bluesky ,

"As a collective of homeless and marginally housed mothers, Moms 4 Housing organizes to reclaim vacant property warehoused by investors. In 2020, another group of mothers began squatting in vacant foreclosed properties owned by Philadelphia’s Housing Authority (PHA)." ❤️‍🔥
https://rosalux.nyc/self-help-housing/

Paramount's streaming head Cindy Holland says streaming movies are "not a priority", as CEO David Ellison says debate on value of theatrical releases is "over" (Matt Donnelly/Variety)
https://variety.com/2025/film/news/par

Streaming Movies ‘Not a Priority’ at Paramount-Skydance
The new leadership team at Skydance's Paramount clarified their position on streaming and theatrically released films.

Family seeks justice for man wrongly accused in KC Chiefs parade shooting https://www.espn.com/nfl/story/_/id/46545176/kansas-city-chiefs-super-bowl-parade-rally-fatal-shooting-denton-loudermill-family

George Pickens 'wouldn't mind' staying with Cowboys long-term https://www.dallascowboys.com/news/george-pickens-wouldn-t-mind-staying-with-cowboys-long-term

Nieuwe app Maastricht UMC herkent longaanval op basis van stemgeluid
https://nos.nl/artikel/2586429-nieuwe-app-maastricht-umc-herkent-longaanval-op-basis-van-stemgeluid
Leuk .... Maar wat heb je er aan als vervolgens 'gewoon' gedaan wordt of het depressie is of een client die medicatie* weigert in te nemen.
Met alle gevolgen van dien.
* wegens bijwerkingen die verder innemen onmogelijk maakte, maar dat laatste werd weggelaten
(Zo klaar met die fantastische verhalen als t letterlijk aan de basis jaar op jaar verder mis kan gaan)

Two of the families in Gaza that I’m in touch with are thinking of setting up a group fundraising effort, inspired by the work of @….
We need someone who will take on the huge responsibility of setting up the fundraiser and managing it all.
If you have the time and are up for the challenge, please reply to this thread (direct messages are fine).

Stagflation: Shooting the Messengers (Paul Krugman)
https://paulkrugman.substack.com/p/stagflation-shooting-the-messengers
http://www.memeorandum.com/250815/p42#a250815p42