Tootfinder

Categorical K\"unneth formulas for analytic stacks
Youshua Kesting
https://arxiv.org/abs/2507.08566 https://arxiv.org/pdf/2507.0…

Categorical Künneth formulas for analytic stacks
In arXiv:0805.0157v5, the authors define a class of derived stacks, called "perfect stacks" and show that for this class the categories of quasi-coherent sheaves satisfy a categorical Künneth formula. Motivated to extend their results to the theory of analytic stacks as developed by Clausen-Scholze, we investigate categorical Künneth formulas for general $6$-functor formalisms. As applications we show a general Tannakian reconstruction result for analytic stacks and, following recent work of …

Andriy Zagorodnyuk, a former Ukrainian defence minister, said “an acceptable armistice may never formally arrive” and that Kyiv should formulate “a revised theory of victory” – which accepts that the Kremlin considers itself engaged in a forever war against its smaller neighbour.
The former minister describes the new approach as “strategic neutralisation”, a permanent and dynamic military effort to ensure that Russia’s forces cannot advance and that Moscow becomes “operationally incapab…

Formalising Software Requirements using Large Language Models
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
https://arxiv.org/abs/2506.10704 https:…

Formalising Software Requirements using Large Language Models
This paper is a brief introduction to our recently initiated project named VERIFAI: Traceability and verification of natural language requirements. The project addresses the challenges in the traceability and verification of formal specifications through providing support for the automatic generation of the formal specifications and the traceability of the requirements from the initial software design stage through the systems implementation and verification. Approaches explored in this project…

Klassischer Fall von "mal eben umstellen und wieder vergessen": wundere mich, warum ich Mails mit Termineinladungen nicht mitkriege, diese aber tentative im Kalender stehen. Upsi, war eine FairEmail-Einstellung.
Jetzt muss ich nur noch rausfinden, warum DavX5 bei über FairEmail akzeptierten Terminen nen 403er bringt, obwohl Rechte gegeben sind. Und die Termine scheinen eigentlich sogar richtig im Kalender zu stehen.
Aber merke, Automatisierung nur, wenn man schlau genug…

"Trump says EU and Mexico face 30% tariff from August"
via @…
Tariff Man on the loose again.
Tariff You

Formel-1-Pilot gesteht - Wechsel zu Red Bull? „Fühle mich nicht bereit!“ #News #Nachrichten

A look at WindBorne, which uses weather balloons and AI to improve forecasting, as potential budget cuts to NOAA threaten its access to public weather data (Tim Fernholz/New York Times)
https://www.

The Future of Weather Prediction Is Here. Maybe.
Thanks to A.I., companies like WindBorne hope to usher in a golden age of forecasting. But they rely in part on government data — and the agency that provides it is in turmoil.

York Cavity Formalism and Canonical Ensemble Thermodynamics of (2 1)D Black Holes
Nazir A. Ganaie
https://arxiv.org/abs/2507.08063 https://

York Cavity Formalism and Canonical Ensemble Thermodynamics of (2+1)D Black Holes
I perform a detailed investigation of the thermodynamic behavior of (2+1) dimensional Banados Teitelboim Zanelli (BTZ) black holes contained within the canonical ensemble framework, utilizing York formalism. A static, non-rotating BTZ black hole is considered inside a finite radius circular cavity maintained at constant temperature. By getting the measure of the Euclidean action, I obtain expressions for thermodynamic parameters including temperature, entropy, energy, pressure, and heat capacit…

Formalizing Neuromorphic Control Systems: A General Proposal and A Rhythmic Case Study
Taisia Medvedeva, Alessio Franci, Fernando Casta\~nos
https://arxiv.org/abs/2506.10203

Formalizing Neuromorphic Control Systems: A General Proposal and A Rhythmic Case Study
Neuromorphic control is receiving growing attention due to the multifaceted advantages it brings over more classical control approaches, including: sparse and on-demand sensing, information transmission, and actuation; energy-efficient designs and realizations in neuromorphic hardware; event-based signal processing and control signal computation. However, a general control-theoretical formalization of what "neuromorphic control systems" are and how we can rigorously analyze, design, and control…

„Ich weiß, dass ...“ - Formel-1-Rennstall vor Verkauf? Teamchef reagiert #News #Nachrichten