Tootfinder

Series A, Episode 12 - Deliverance
TRAVIS: You sent for me?
SERVALAN: You've lost some of your fire, Travis. Whatever happened to your pride?
TRAVIS: My pride, Supreme Commander?
https://blake.torpidity.net/m/112/227 B7B6

🇺🇦 #NowPlaying on KEXP's #DriveTime
Jesse Sykes & The Sweet Hereafter:
🎵 Forever, I've Been Being Born
#JesseSykes #TheSweetHereafter
https://jessesykesandthesweethereafter.bandcamp.com/track/gentle-chaperone
https://open.spotify.com/track/2XbGMMtS3wTNpaQhdM4i80

Proceedings of the International Workshop on Verification of Scientific Software
Stephen F. Siegel, Ganesh Gopalakrishnan
https://arxiv.org/abs/2510.12314 https://

Proceedings of the International Workshop on Verification of Scientific Software
This volume contains the proceedings of the Verification of Scientific Software (VSS 2025) workshop, held on 4 May 2025 at McMaster University, Canada, as part of ETAPS 2025. VSS brings together researchers in software verification and scientific computing to address challenges in ensuring the correctness and reliability of large-scale scientific codes. The program featured five peer-reviewed papers, three invited contributions, and a set of challenge problems, covering themes such as deductive…

StatEval: A Comprehensive Benchmark for Large Language Models in Statistics
Yuchen Lu, Run Yang, Yichen Zhang, Shuguang Yu, Runpeng Dai, Ziwei Wang, Jiayi Xiang, Wenxin E, Siran Gao, Xinyao Ruan, Yirui Huang, Chenjing Xi, Haibo Hu, Yueming Fu, Qinglan Yu, Xiaobing Wei, Jiani Gu, Rui Sun, Jiaxuan Jia, Fan Zhou
https://arxiv.org/abs/2510.095…

StatEval: A Comprehensive Benchmark for Large Language Models in Statistics
Large language models (LLMs) have demonstrated remarkable advances in mathematical and logical reasoning, yet statistics, as a distinct and integrative discipline, remains underexplored in benchmarking efforts. To address this gap, we introduce \textbf{StatEval}, the first comprehensive benchmark dedicated to statistics, spanning both breadth and depth across difficulty levels. StatEval consists of 13,817 foundational problems covering undergraduate and graduate curricula, together with 2374 re…

While I'm not much for the law, I recognize that not everyone I talk to thinks the same way. But even if you are like me, the enormity of the list of Trump's crimes is just staggering. There really couldn't be any more clear of an illustration of the fact that there are two legal systems: one for the elite, and one for everyone else.
We all know #Trump just does crimes all the time, but it can be hard to track the enormity of it. The YouTube lawyer LegalEagle put together a list and it's pretty incredible. It's a little over 40 minutes of him rapidly listing times that Trump has violated the law during his second term (completely ignoring his first term).
#MassBlackout is a #Boycott of the American corporations that support the dictatorship. By showing
that people have the power to shut down the economy if elites don't listen, we can hit them where it actually hurts.
From now until December 2nd, do as many of these things as you can:
- Stop online or in-store shopping (except for small businesses)
- Stop work
- Stop streaming, cancel subscriptions, no digital purchases
This is one of the few times that boosting stuff on social media and doing nothing else actually *can* make a difference. Boost posts tagged with #WeAintBuyingIt, #MassBlackout, and #BlackOutTheSystem. Make sure everyone you know knows about it. Hold each other accountable to keep from spending. You may already not be spending because.... well,.. Trump has already made everything too expensive. The thing is that elites can't actually tell the difference. Spreading word, making the protest seem as big and impactful as possible is all that's really needed to fracture elites and turn them against each other. Boost, write your own post, make these tags trend on every platform you can, then do nothing.
Don't buy things, (if you can) don't work. Just stop. Refuse to participate in capitalism. This is the ultimate "fuck you, make me" because they absolutely can't make you. This is the ultimate reminder of where power actually comes from.
I've been trying to remind everyone, every day. Please do the same. Keep this opportunity at the top of everyone's mind. Keep it in your mind.
Trump is more vulnerable now than he's ever been, and there is no time in the next year that we have more power than right now. This is one of the most important parts of the year for the US economy. What you do, or don't do, right now has more of an impact than any other time.
#USPol #BlackFriday #CyberMonday

Cosmology Likelihood for Observables in \Euclid (CLOE). 1. Theoretical recipe
Collaboration, Cardone, Joudaki, Blot, Bonici, Camera, Ca\~nas-Herrera, Carrilho, Casas, Davini, Di Domizio, Farrens, Goh, Beauchamps, Ili\'c, Keil, Le Brun, Martinelli, Moretti, Pettorino, Pezzotta, S\'anchez, Sakr, Sciotti, Tanidis, Tutusaus, Ajani, Crocce, Giocoli, Legrand, Lembo, Lesci, Girones, Nouri-Zonoz, Pamuk, Tsedrik, Bel, Carbone, Duncan, Kilbinger, Lacasa, Lattanzi, Sapone, Sellentin, Tayl…

Cosmology Likelihood for Observables in \Euclid (CLOE). 1. Theoretical recipe
As the statistical precision of cosmological measurements increases, the accuracy of the theoretical description of these measurements needs to increase correspondingly in order to infer the underlying cosmology that governs the Universe. To this end, we have created the Cosmology Likelihood for Observables in Euclid (CLOE), which is a novel cosmological parameter inference pipeline developed within the Euclid Consortium to translate measurements and covariances into cosmological parameter cons…

🇺🇦 #NowPlaying on KEXP's #MorningShow
Jesse Sykes & The Sweet Hereafter:
🎵 Forever, I've Been Being Born
#JesseSykes #TheSweetHereafter
https://jessesykesandthesweethereafter.bandcamp.com/track/gentle-chaperone
https://open.spotify.com/track/2XbGMMtS3wTNpaQhdM4i80

On the Irreducibility of the Cuboid Polynomial $P_{a,u}(t)$
Valery Asiryan
https://arxiv.org/abs/2510.07643 https://arxiv.org/pdf/2510.07643

On the Irreducibility of the Cuboid Polynomial $P_{a,u}(t)$
In this paper we consider the even monic degree-8 cuboid polynomial $P_{a,u}(t)$ with coprime integers $a\neq u>0$. We prove irreducibility over $\mathbb{Z}$ by excluding all degree-8 splittings. First, any putative $4{+}4$ factorization is shown to force a specific Diophantine constraint that has no integer solutions, via a short $2$- and $3$-adic analysis. Second, we exclude every $2{+}6$ factorization using an exact divisor criterion together with a discriminant obstruction. Finally, after r…

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Jesse Sykes & The Sweet Hereafter:
🎵 Forever, I've Been Being Born
#JesseSykes #TheSweetHereafter
https://jessesykesandthesweethereafter.bandcamp.com/track/gentle-chaperone
https://open.spotify.com/track/2XbGMMtS3wTNpaQhdM4i80

🇺🇦 #NowPlaying on #KEXP's #MorningShow
Jesse Sykes & The Sweet Hereafter:
🎵 Forever, I’ve Been Being Born
#JesseSykes #TheSweetHereafter
https://jessesykesandthesweethereafter.bandcamp.com/track/gentle-chaperone
https://open.spotify.com/track/2XbGMMtS3wTNpaQhdM4i80
🎶 show playlist 👇
https://open.spotify.com/playlist/1r22YroTqfHn6X0RvVg67f
🎶 KEXP playlist 👇
https://open.spotify.com/playlist/6VNALrOa3gWbk794YuIrwg