Tootfinder

https://www.calcalistech.com/ctechnews/article/05h54sjd1

ServiceNow in advanced talks to acquire Armis at around $7 billion valuation
The Israeli cybersecurity unicorn, which raised $435 million at a $6.1 valuation just last month, was preparing for a potential IPO by 2027.

🇺🇦 #NowPlaying on KEXP's #SonicReducer
Tramadol:
🎵 Calculated Slaughter
#Tramadol
https://donor-records.bandcamp.com/track/calculated-slaughter
https://open.spotify.com/track/0Ji5jofNUkQut8MCgV16QW

Geodesic Calculus on Latent Spaces
Florine Hartwig, Josua Sassen, Juliane Braunsmann, Martin Rumpf, Benedikt Wirth
https://arxiv.org/abs/2510.09468 https://

Geodesic Calculus on Latent Spaces
Latent manifolds of autoencoders provide low-dimensional representations of data, which can be studied from a geometric perspective. We propose to describe these latent manifolds as implicit submanifolds of some ambient latent space. Based on this, we develop tools for a discrete Riemannian calculus approximating classical geometric operators. These tools are robust against inaccuracies of the implicit representation often occurring in practical examples. To obtain a suitable implicit represent…

Cut-elimination for the alternation-free modal mu-calculus
Bahareh Afshari, Johannes Kloibhofer
https://arxiv.org/abs/2510.11293 https://arxiv.org/pdf/2510…

Cut-elimination for the alternation-free modal mu-calculus
We present a syntactic cut-elimination procedure for the alternation-free fragment of the modal mu-calculus. Cut reduction is carried out within a cyclic proof system, where proofs are finitely branching but may be non-wellfounded. The structure of such proofs is exploited to directly transform a cyclic proof with cuts into a cut-free one, without detouring through other logics or relying on intermediate machinery for regularisation. Novel ingredients include the use of multicuts and results fr…

The Henstock-Kurzweil Functional Calculus on Self-Adjoint Operators
Marin Matei-Luca
https://arxiv.org/abs/2510.09622 https://arxiv.org/pdf/2510.09622

The Henstock-Kurzweil Functional Calculus on Self-Adjoint Operators
This dissertation focuses on developing a new construction of a functional calculus using Henstock-Kurzweil integration methods. The assignment of a functional calculus will be applied to self-adjoint operators. We will address both the bounded and unbounded cases, examine the advantage of the underlying function space compared to larger spaces, prove the spectral mapping theorem, and explore one application of this functional calculus in abstract differential equations.

The UK CAT refuses Apple permission to appeal a ruling that it abused its dominance by charging unfairly high App Store fees; a lawyer calculates damages at £1B (Sam Tobin/Reuters)
https://www.reuters.com/world/apple-refused-permissio…

"Psychology and acting are very closely linked. It's just about studying people and how they work. It can be an incredible discipline and exercise."
—Claire Danes
#acting #coaching #inspiration

We report the first calculation of light scattering on heavy dark matter (DM) particles: #DarkMatter, the substance that makes up most of the Universe, could potentially be detected as a red or blue light ‘fingerprint’, new research shows: https://www.york.ac.uk/news-and-events/news/2025/research/dark-matter-light-colour/

The Labor Department says it will release a key report on the September job market next Thursday, almost seven weeks behind schedule.
The jobs report is one of many closely-watched economic indicators that were held up by the government shutdown.
The report — which details hiring, layoffs and the unemployment rate for September — was almost complete when the government economists who tally jobs were abruptly furloughed by the shutdown.
Since the data was already in hand, th…

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Chelsea Wolfe:
🎵 American Darkness
#ChelseaWolfe
https://chelseawolfe.bandcamp.com/track/american-darkness
https://open.spotify.com/track/3EbhSXEdsmco2mz9YWGXVr