Tootfinder

"Trump’s withholding of federal funds has placed some states in the position of having to choose between cooperating with the administration’s aggressive migrant crackdown and funding key crime victim programs, which help victims with emergency shelter, funeral costs and medical bills, among other things."
'Unconscionable!' New Jersey prosecutor skewers Trump for president's new 'illegal demand' - Raw Story
https://www.rawstory.com/trump-2673904678/

Claude Garamont
On peut parfois se croire seul. Ma passion pour la typographie ressemble davantage Š une marotte qu’Š quelque chose d’utile dans la vie de tous les jours. Surtout, les horreurs typographiques qui nous agressent quotidiennement finissent par altérer notre capacité Š discerner ce qui est, ou non, typographiquement beau.
Lire la suite sur le 🌊

COMPASS: A Multi-Dimensional Benchmark for Evaluating Code Generation in Large Language Models
James Meaden, Micha{\l} Jarosz, Piotr Jod{\l}owski, Grigori Melnik
https://arxiv.org/abs/2508.13757

COMPASS: A Multi-Dimensional Benchmark for Evaluating Code Generation in Large Language Models
Current code generation benchmarks focus primarily on functional correctness while overlooking two critical aspects of real-world programming: algorithmic efficiency and code quality. We introduce COMPASS (COdility's Multi-dimensional Programming ASSessment), a comprehensive evaluation framework that assesses code generation across three dimensions: correctness, efficiency, and quality. COMPASS consists of 50 competitive programming problems from real Codility competitions, providing authentic …

Barbour ABI: the UK's data center count, currently 477, is set to jump by ~100 over the next five years, with more than half in London and neighboring counties (BBC)
https://www.bbc.com/news/articles/clyr9nx0jrzo

Data centres to be expanded across UK as concerns mount
The number of data centres is set to jump by a fifth in the coming years, figures seen by the BBC suggest.

Expanding the search space of high entropy oxides and predicting synthesizability using machine learning interatomic potentials
Oliver A. Dicks, Solveig S. Aamlid, Alannah M. Hallas, Joerg Rottler
https://arxiv.org/abs/2508.13389

Expanding the search space of high entropy oxides and predicting synthesizability using machine learning interatomic potentials
We propose an efficient computational methodology for predicting the synthesizability of high entropy oxides (HEOs) in a large space of possible candidate compounds. HEOs are a growing field with an enormous potential chemical composition space, and yet the discovery of new HEOs is slow and driven by experimental trial-and-error. In this work, we attempt to speed up this process by using a machine learned interatomic potential offering DFT-level accuracy. Our methodology starts by identifying a…

End-to-End 4D Heart Mesh Recovery Across Full-Stack and Sparse Cardiac MRI
Yihong Chen, Jiancheng Yang, Deniz Sayin Mercadier, Hieu Le, Juerg Schwitter, Pascal Fua
https://arxiv.org/abs/2509.12090

End-to-End 4D Heart Mesh Recovery Across Full-Stack and Sparse Cardiac MRI
Reconstructing cardiac motion from cine CMR sequences is critical for diagnosis, prediction, and intervention. Existing methods rely on complete CMR stacks to infer full heart motion, limiting their utility in intra-procedural scenarios where only sparse observations are available. We present TetHeart, the first end-to-end framework that unifies full 4D multi-structure heart mesh recovery from both offline full-stack acquisitions and intra-procedural sparse-slice observations. Our method levera…

Latest attempt to ruin government won't be starting in MY state, yet. I wish these crooks would rot.
Starting January 2026, the Wasteful and Inappropriate Services Reduction (WISeR) model will require prior authorization for certain outpatient procedures in original Medicare across six states: Arizona, New Jersey, Ohio, Oklahoma, Texas, and Washington.
#Political

Anthem 2.0: Automated Reasoning for Answer Set Programming
Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub, Tobias Stolzmann
https://arxiv.org/abs/2507.11704

Anthem 2.0: Automated Reasoning for Answer Set Programming
Anthem 2.0 is a tool to aid in the verification of logic programs written in an expressive fragment of Clingo's input language named mini-gringo, which includes arithmetic operations and simple choice rules but not aggregates. It can translate logic programs into formula representations in the logic of here-and-there, and analyze properties of logic programs such as tightness. Most importantly, Anthem 2.0 can support program verification by invoking first-order theorem provers to confirm that a…

U.S. Agriculture Secretary Brooke Rollins on Tuesday drew instant jeers when she defended the mass deportation of immigrant farm laborers -- and suggested that they could be replaced by Americans who are currently enrolled in Medicaid.
While speaking in Washington, D.C., Rollins declared that there would be "no amnesty" for immigrant farm workers
despite President Donald Trump sayingjust days ago that he was willing to let these workers stay at their jobs.
Instead, …

Trump Agriculture Chief Mocked for Suggesting Medicaid Recipients Could Replace Deported Farm Workers | Common Dreams
U.S. Agriculture Secretary defends mass deportation of immigrant farm laborers, suggests Americans on Medicaid can replace them.

Rates of convergence for multivariate SDEs driven by L\'evy processes in the small-time stable domain of attraction
Jorge Gonz\'alez C\'azares, David Kramer-Bang
https://arxiv.org/abs/2509.12377

Rates of convergence for multivariate SDEs driven by Lévy processes in the small-time stable domain of attraction
This paper explores the rates of convergence of solutions for multivariate stochastic differential equations (SDEs) driven by Lévy processes within the small-time stable domain of attraction (DoA). Explicit bounds are derived for the uniform Wasserstein distance between solutions of two Lévy-driven SDEs, expressed in terms of driver characteristics. These bounds establish convergence rates in probability for drivers in the DoA, and yield uniform Wasserstein distance convergence for SDEs with …