Tootfinder

Starz reports Q4 revenue down 6.2% YoY to $330.6M, an operating loss of $136.3M, up from $30.8M, and 13.04M streaming subscribers, up 470K from Q3 (Todd Spangler/Variety)
https://variety.com/2025/tv/news/starz-quarterly-…

Starz Quarterly Revenue Drops 6%, Takes $168M Content Impairment Charge
Starz, fresh off its separation from former parent company Lionsgate, reported results for the first three months of the year.

The Vampire Diary
Filip B\'artek, Ahmed Bhayat, Robin Coutelier, M\'arton Hajdu, Matthias Hetzenberger, Petra Hozzov\'a, Laura Kov\'acs, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
https://arxiv.org/abs/2506.03030

The Vampire Diary
During the past decade of continuous development, the theorem prover Vampire has become an automated solver for the combined theories of commonly-used data structures. Vampire now supports arithmetic, induction, and higher-order logic. These advances have been made to meet the demands of software verification, enabling Vampire to effectively complement SAT/SMT solvers and aid proof assistants. We explain how best to use Vampire in practice and review the main changes Vampire has undergone since…

business owners once again proving they don't know how people get to their stores. they equate congestion with economic activity, when the opposite is true. there's no parking on the street! taxis are allowed!! the vast majority will come by public transit
“S.F. businesses are pressuring Mayor Lurie to reopen Market Street to cars. Will it work?”

Local dark matter density from Gaia DR3 K-dwarfs using Gaussian processes
Laurin S\"oding, Ruben Bartel, Philipp Mertsch
https://arxiv.org/abs/2506.02956

Local dark matter density from Gaia DR3 K-dwarfs using Gaussian processes
Modern astrophysical surveys have produced a wealth of data on the positions and velocities of stars in the Milky Way with varying accuracies. An ever-increasing detail in observational data calls for more complex physical models and in turn more sophisticated statistical methods to extract information. We perform a vertical Jeans analysis, including a local approximation of the tilt term, using a sample of $200\,000$ K-dwarf stars from the Gaia DR3 catalogue. After combination with the Survey-…

Optimal BESS Scheduling for Multi-Market Participation in the Nordics
Zeenat Hameed, Chresten Traeholt
https://arxiv.org/abs/2506.02837 https://

Optimal BESS Scheduling for Multi-Market Participation in the Nordics
Battery energy storage systems BESSs can provide fast frequency reserves and energy arbitrage in Nordic electricity markets but their limited energy capacity requires accurate revenue forecasts and coordinated bidding across multiple submarkets. This paper introduces a unified framework that employs generalized additive models GAMs to generate one week ahead forecasts of spot and FCRN revenues in Denmark, Finland, and Norway using three years of hourly price and volume data. Forecast outputs fe…

This https://arxiv.org/abs/2505.22223 has been replaced.
initial toot: https://mastoxiv.page/@ar…

Bayesian Learning in Structural Dynamics: A Comprehensive Review and Emerging Trends
Bayesian learning has emerged as a compelling and vital research direction in the field of structural dynamics, offering a probabilistic lens to understand and refine the analysis of complex dynamical systems. This review meticulously traces the three-decade evolution of Bayesian learning in structural dynamics, illuminating core principles, groundbreaking methodologies, and diverse applications that have significantly influenced the field. The narrative commences by delving into the basics of …

Strongly driven transmon as an incoherent noise source
Linda Greggio, R\'emi Robin, Mazyar Mirrahimi, Alexandru Petrescu
https://arxiv.org/abs/2505.24549

Strongly driven transmon as an incoherent noise source
Under strong drives, which are becoming necessary for fast high-fidelity operations, transmons can be structurally unstable. Due to chaotic effects, the computational manifold is no longer well separated from the remainder of the spectrum, which correlates with enhanced offset-charge sensitivity and destructive effects in readout. We show here that these detrimental effects can further propagate to other degrees of freedom, for example to neighboring qubits in a multi-qubit system. Specifically…

business owners once again proving they don't know how people get to their stores. they equate congestion with economic activity, when the opposite is true. there's no parking on the street! taxis are allowed!! the vast majority will come by public transit
“S.F. businesses are pressuring Mayor Lurie to reopen Market Street to cars. Will it work?”

„#Project2025 ist der eigentliche Motor des #Trump|schen Theaters. Ich habe vor über einem Jahr die ganzen 900 Seiten durchgelesen. Der Kern von Project 2025 ist die Abschaffung des rechtmäßigen Verwaltungsstaates. Das erreicht man durch die Auflösung oder Streichung der Mittel aller Ministe…

Bayesian Learning in Structural Dynamics: A Comprehensive Review and Emerging Trends
Wang-Ji Yan, Lin-Feng Mei, Yuan-Wei Yin, Jiang Mo, Costas Papadimitriou, Ka-Veng Yuen, Michael Beer
https://arxiv.org/abs/2505.22223

Bayesian Learning in Structural Dynamics: A Comprehensive Review and Emerging Trends
Bayesian learning has emerged as a compelling and vital research direction in the field of structural dynamics, offering a probabilistic lens to understand and refine the analysis of complex dynamical systems. This review meticulously traces the three-decade evolution of Bayesian learning in structural dynamics, illuminating core principles, groundbreaking methodologies, and diverse applications that have significantly influenced the field. The narrative commences by delving into the basics of …