Tootfinder

Universal Scaling Laws for Deep Indentation Beyond the Hertzian Regime
Tong Mu, Changhong Linghu, Yanju Liu, Jinsong Leng, Huajian Gao, K. Jimmy Hsia
https://arxiv.org/abs/2506.11461

Universal Scaling Laws for Deep Indentation Beyond the Hertzian Regime
Deep indentation of soft materials is ubiquitous across scales in nature and engineering, yet accurate predictions of contact behaviors under extreme deformations ($δ/R > 1$) remain elusive due to geometric and material nonlinearities. Here, we investigate the indentation of rigid spheres into soft elastic substrates, resolving the highly nonlinear regime where the sphere becomes fully submerged. A universal geometric mapping approach reveals Hertz-type pressure distributions in the deformed c…

Cowboys' edge rusher breaks silence on contract dispute https://www.sportingnews.com/us/nfl/dallas-cowboys/news/cowboys-edge-rusher-breaks-silence-contract/bd95148b3dadc8b489cd9182

Critical scaling for spectral functions
Konrad Kockler, Jan M. Pawlowski, Jonas Wessely
https://arxiv.org/abs/2506.09142 https://arxi…

Critical scaling for spectral functions
We study real-time scalar $ϕ^4$-theory in 2+1 dimensions near criticality. Specifically, we compute the single-particle spectral function and that of the $s$-channel four-point function in and outside the scaling regime. The computation is done with the spectral functional Callan-Symanzik equation, which exhibits manifest Lorentz invariance and preserves causality. We extract the scaling exponent $η$ from the spectral function and compare our result with that from a Euclidean fixed point anal…

Table-r1: Self-supervised and Reinforcement Learning for Program-based Table Reasoning in Small Language Models
Rihui Jin, Zheyu Xin, Xing Xie, Zuoyi Li, Guilin Qi, Yongrui Chen, Xinbang Dai, Tongtong Wu, Gholamreza Haffari
https://arxiv.org/abs/2506.06137

Table-r1: Self-supervised and Reinforcement Learning for Program-based Table Reasoning in Small Language Models
Table reasoning (TR) requires structured reasoning over semi-structured tabular data and remains challenging, particularly for small language models (SLMs, e.g., LLaMA-8B) due to their limited capacity compared to large LMs (LLMs, e.g., GPT-4o). To narrow this gap, we explore program-based TR (P-TR), which circumvents key limitations of text-based TR (T-TR), notably in numerical reasoning, by generating executable programs. However, applying P-TR to SLMs introduces two challenges: (i) vulnerabi…

Russel Vought meets my definition of pure evil, through and through.
"Russell Vought, Director of the Office of Management and Budget, told appropriators last week that the administration is seeking to take “an analytical look” at Aids prevention and instead prioritize funding for “life-saving treatment” for sufferers as part of its scaling back of PEPFAR."
White House says it will spare some Aids programs that were on the chopping block | The Independent
https://www.independent.co.uk/news/world/americas/us-politics/white-house-aids-prevention-funding-b2767327.html

 
A climate of fear is perceptible in the United States today,
and it must be resisted no matter what,
CBS News correspondent Scott Pelley says.
“People are silencing themselves for fear that the government will retaliate against them,
and that’s not the America that we all love,”
Pelley told Anderson Cooper in an exclusive interview after CNN’s Saturday telecast of
“Good Night, and Good Luck.”
The Broadway play, which recounts CBS newsman Edwar…

‘If you fall silent, the country is doomed’: CBS News’ Scott Pelley stresses courage as network faces pressure campaign
A climate of fear is perceptible in the United States today, and it must be resisted no matter what, CBS News correspondent Scott Pelley says.

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
Fanpeng Yang, Xu Ma, Shuling Wang, Xiong Xu, Qinxiang Cao, Naijun Zhan, Xiaofeng Li, Bin Gu
https://arxiv.org/abs/2506.09550

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
Function summaries, which characterize the behavior of code segments (typically functions) through preconditions and postconditions, are essential for understanding, reusing, and verifying software, particularly in safety-critical domains like aerospace embedded systems. However, these mission-critical legacy code serving as a valuable reused asset often lacks formal specifications. It is challenging to automatically generate function summaries for C programs, due to the existence of complex fe…

This was foreseeable. Want to go on vacation on the state's dime? Pull your kids out of school and get vouchers.
Reminds me of the time I saw my sister-in-law tell her first grader to read a book for a treat. That was her idea of teaching her kid how to read. Both she and my brother benefited from special education throughout their schooling. The state was fine with them homeschooling. I believe they were eventually convinced by her parents to send the kids back to school. My pare…

TTrace: Lightweight Error Checking and Diagnosis for Distributed Training
Haitian Jiang, Shaowei Zhu, Zhen Zhang, Zhenyu Song, Xinwei Fu, Zhen Jia, Yida Wang, Jinyang Li
https://arxiv.org/abs/2506.09280

TTrace: Lightweight Error Checking and Diagnosis for Distributed Training
Distributed training is essential for scaling the training of large neural network models, such as large language models (LLMs), across thousands of GPUs. However, the complexity of distributed training programs makes them particularly prone to silent bugs, which do not produce explicit error signal but lead to incorrect training outcome. Effectively detecting and localizing such silent bugs in distributed training is challenging. Common debugging practice using metrics like training loss or gr…

Scaling the glassy dynamics of active particles: Tunable fragility and reentrance
Puneet Pareek, Peter Sollich, Saroj Kumar Nandi, Ludovic Berthier
https://arxiv.org/abs/2506.09589

Scaling the glassy dynamics of active particles: Tunable fragility and reentrance
Understanding the influence of activity on dense amorphous assemblies is crucial for biological processes such as wound healing, embryogenesis, or cancer progression. Here, we study the effect of self-propulsion forces of amplitude $f_0$ and persistence time $τ_p$ in dense assemblies of soft repulsive particles, a model system that interpolates between particulate active matter and biological tissues. We identify the fluid and glass phases of the three-dimensional phase diagram obtained by var…