Tootfinder

Worked with an #acting #coaching client on a scene that comes right after a very fraught speech and the depths of the scene build so well, their character becomes more dis-regulated and their inner child almost shouts. So cool to have them unearth that in the scene.

Donald Trump observed a few tents on public land and some garbage under an overpass.
Perturbed by the imagery, he issued a sweeping demand via his social media site, Truth Social:
“The Homeless have to move out, IMMEDIATELY.”
“We will give you places to stay, but FAR from the Capital,” Trump continued in his Sunday post. “Be prepared!”
The command came as he made plans to deploy 800 National Guard members to DC and temporarily federalize the city’s police department, …

DC’s homeless have nowhere to go. Trump might send them to jail.
The president's crackdown is causing fear and uncertainty among the city's unhoused and their advocates.

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
Max Barth, Marie-Christine Jakobs
https://arxiv.org/abs/2509.13699 https://

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
Automatic software verification is a valuable means for software quality assurance. However, automatic verification and in particular software model checking can be time-consuming, which hinders their practical applicability e.g., the use in continuous integration. One solution to address the issue is to reduce the response time of the verification procedure by leveraging today's multi-core CPUs. In this paper, we propose a solution to parallelize trace abstraction, an abstraction-based appro…

Loop-corrected scalar potentials and late-time acceleration in f(R) gravity
M. V. Pradosh Keshav (Christ University, Bangalore), Arun Kenath (Christ University, Bangalore)
https://arxiv.org/abs/2509.13373

Loop-corrected scalar potentials and late-time acceleration in f(R) gravity
We construct an analytic f(R) gravity model that unifies early-time inflation with late-time cosmic acceleration within a single covariant framework. At high curvature, the model reproduces a Starobinsky-like inflationary plateau, while at low curvature it asymptotes to a stable dark energy-dominated phase. In the scalar-tensor representation, this construction yields a hilltop-type potential in the Jordan frame, which maps to an exponential potential in the Einstein frame. To account for radia…

SMILES Data Release II: Probing Galaxy Evolution during Cosmic Noon and Beyond with NIRSpec Medium-Resolution Spectra
Yongda Zhu, Nina Bonaventura, Yang Sun, George H. Rieke, Stacey Alberts, Jianwei Lyu, Jane E. Morrison, Zhiyuan Ji, Eiichi Egami, Jakob M. Helton, Marcia J. Rieke, Pierluigi Rinaldi, Fengwu Sun, Christopher N. A. Willmer
https://

SMILES Data Release II: Probing Galaxy Evolution during Cosmic Noon and Beyond with NIRSpec Medium-Resolution Spectra
We present the second data release of the Systematic Mid-Infrared Instrument (MIRI) Legacy Extragalactic Survey (SMILES), focusing on JWST/NIRSpec medium-resolution spectroscopy of galaxies across cosmic time. This release includes spectroscopic observations of 166 galaxies spanning $0 < z < 7.5$, sampling star-forming galaxies, quiescent systems, and active galactic nuclei (AGN), with an emphasis on galaxies at cosmic noon ($z \sim 1$-3). We describe the target selection strategy, the observat…

Higher-order, generically complete, continuous, and polynomial-time isometry invariants of periodic sets
Daniel E Widdowson, Vitaliy A Kurlin
https://arxiv.org/abs/2509.15088 ht…

Higher-order, generically complete, continuous, and polynomial-time isometry invariants of periodic sets
Periodic point sets model all solid crystalline materials (crystals) whose atoms can be considered zero-sized points with or without atomic types. This paper addresses the fundamental problem of checking whether claimed crystals are novel, not noisy perturbations of known materials obtained by unrealistic atomic replacements. Such near-duplicates have already skewed ground truth because past comparisons relied on discontinuous cells and symmetries. The proposed Lipschitz continuity under noise …

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
Tarakaram Gollamudi, Anitha Gollamudi, Joshua Gancher
https://arxiv.org/abs/2509.11559 https://

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
RLWE-based Fully Homomorphic Encryption (FHE) schemes add some small \emph{noise} to the message during encryption. The noise accumulates with each homomorphic operation. When the noise exceeds a critical value, the FHE circuit produces an incorrect output. This makes developing FHE applications quite subtle, as one must closely track the noise to ensure correctness. However, existing libraries and compilers offer limited support to statically track the noise. Additionally, FHE circuits are als…

The Production Mechanism of the High-energy Emission Line in the Brightest Cosmic Burst
Jieying Liu, Jirong Mao, Shao-Lin Xiong, Yan-Qiu Zhang
https://arxiv.org/abs/2509.14715 h…

The Production Mechanism of the High-energy Emission Line in the Brightest Cosmic Burst
As a characteristic feature of the spectrum, the emission line carries critical information on the underlying physics of the radiation. After extensive efforts in decades, the first high-significant detection of a series of emission lines evolving from 37 MeV to 6 MeV has been detected in the ever-bright gamma-ray burst GRB 221009A. However, the physical mechanism of the entire evolutionary trend of the lines remains elusive. To provide a self-consistent interpretation, we propose a novel scena…

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
Max Barth, Marie-Christine Jakobs