Tootfinder

Heute vor 15 Jahren sei #Insta live gegangen. Seither werden Milliarden von Fotos und Daten mit #Zuckerberg geteilt. Und seit man nicht nur Bilder, sondern auch Videos teilen kann, gibt es sogar Live-Übertragungen von Folter und Mord in geschlossenen Usergruppen. Hei, was für ein Fortschritt. 🙄

Nach Dreifachmord in Argentinien: Peru liefert Verdächtigen aus
Ein grausamer Mord an drei Frauen erschüttert Argentinien. Jetzt wurde einer der mutmasslichen Täter in Peru gefasst.

P-adic Gamma classes and overconvergent Frobenius structures for quantum connections
Shaoyun Bai, Daniel Pomerleano, Paul Seidel
https://arxiv.org/abs/2509.26295 https://…

P-adic Gamma classes and overconvergent Frobenius structures for quantum connections
Consider the small quantum connection on a monotone symplectic manifold, with p-adic coefficients. We conjecture that this always admits an overconvergent Frobenius structure, whose constant term is given by a characteristic class associated to Morita's p-adic Gamma function. We prove this conjecture for toric Fano varieties and Grassmannians, and also supply additional experimental evidence.

Theorem Provers: One Size Fits All?
Harrison Oates, Hyeonggeun Yun, Nikhila Gurusinghe
https://arxiv.org/abs/2509.15015 https://arxiv.org/pdf/2509.15015

Theorem Provers: One Size Fits All?
Theorem provers are important tools for people working in formal verification. There are a myriad of interactive systems available today, with varying features and approaches motivating their development. These design choices impact their usability, alongside the problem domain in which they are employed. We test-drive two such provers, Coq and Idris2, by proving the correctness of insertion sort, before providing a qualitative evaluation of their performance. We then compare their community an…

CP violation in $K\to\mu^ \mu^-$ with and without time dependence through a tagged analysis
Giancarlo D'Ambrosio, Avital Dery, Yuval Grossman, Teppei Kitahara, Radoslav Marchevski, Diego Mart\'inez Santos, Stefan Schacht
https://arxiv.org/abs/2507.13445

CP violation in $K\toμ^+μ^-$ with and without time dependence through a tagged analysis
We point out that using current knowledge of ${\cal B}(K^0_L\toμ^+μ^-)$ and $ {\cal B}(K^0_L\to γγ)$, one can extract short-distance information from the combined measurement of the time-integrated CP asymmetry, $A_{\rm CP}(K^0\toμ^+μ^-)$, and of ${\cal B}(K^0_S\toμ^+μ^-)$. We discuss the interplay between this set of observables, and demonstrate that determining ${\rm sign}[A_{\rm CP}(K^0\toμ^+μ^-)]$ would eliminate the discrete ambiguity in the Standard Model prediction for ${\cal B…

Multiwavelength observations of a new black-widow millisecond pulsar PSR J1544-2555
Sergio Belmonte Diaz, Tinn Thingmeearkom, Adipol Phosrisom, Rene Breton, Marta Burgay, Colin Clark, Lars Nieder, Martin Mayer, Werner Becker, Ewann Barr, Sarah Buchner, Kaustav Kashyap Das, Vik Dhillon, Oliver Dodge, Elizabeth Ferrara, Jean-Mathias Griessmeier, Ramesh Karuppusamy, Mark Kennedy, Michael Kramer, Prajwal Padmanabh, John Paice, Antonio Rodriguez, Ben Stappers

Multiwavelength observations of a new black-widow millisecond pulsar PSR J1544-2555
We report the discovery of a new black-widow millisecond pulsar, PSR J1544-2555, associated with the Fermi-LAT source 4FGL J1544.2-2554. Optical, radio, and gamma-ray observations confirmed its nature as a compact spider binary system. Optical photometry from ULTRACAM revealed a \(\sim\)2.7-hour orbital period, guiding MeerKAT observations that detected \(\sim\)2.4-ms radio pulsations. Subsequent timing campaigns using the Murriyang Parkes Telescope, the Effelsberg 100-m Radio Telescope, and th…

Die #Klimakrise trifft auf die #AfD
Der Kreistag Leipzig fordert auf Antrag der #AfD, alle #Windkraft…

Auf AfD-Antrag: Kreistag fordert Stopp aller Windkraft-Vorhaben
Eine knappe Mehrheit hat im Kreistag in Borna den Landkreis Leipzig aufgefordert, alle aktuellen Windkraft-Vorhaben auszusetzen. Der Antrag dazu kam von der AfD. Wie reagiert Landrat Graichen?