Tootfinder

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
Ryota Kojima, Corina Cirstea
https://arxiv.org/abs/2510.04653 https://arxiv.org…

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
We introduce continuation semantics for both fixpoint modal logic (FML) and Computation Tree Logic* (CTL*), parameterised by a choice of branching type and quantitative predicate lifting. Our main contribution is proving that they are equivalent to coalgebraic semantics, for all branching types. Our continuation semantics is defined over coalgebras of the continuation monad whose answer type coincides with the domain of truth values of the formulas. By identifying predicates and continuations, …

Publishers that have been wary of Reddit are launching new accounts and reviving old ones, as the platform offers new features such as tools to track engagement (Klaudia Jaźwińska/Columbia Journalism Review)
https://www.cjr.org/analysis/reddit-winnin

Reddit is winning the AI game.
Since the site struck licensing deals with Google and OpenAI, its traffic—and its importance to legacy media outlets—has surged.

Large Language Models Achieve Gold Medal Performance at International Astronomy & Astrophysics Olympiad
Lucas Carrit Delgado Pinheiro, Ziru Chen, Bruno Caixeta Piazza, Ness Shroff, Yingbin Liang, Yuan-Sen Ting, Huan Sun
https://arxiv.org/abs/2510.05016

Large Language Models Achieve Gold Medal Performance at International Astronomy & Astrophysics Olympiad
While task-specific demonstrations show early success in applying large language models (LLMs) to automate some astronomical research tasks, they only provide incomplete views of all necessary capabilities in solving astronomy problems, calling for more thorough understanding of LLMs' strengths and limitations. So far, existing benchmarks and evaluations focus on simple question-answering that primarily tests astronomical knowledge and fails to evaluate the complex reasoning required for real-w…

Wie unverhohlen Trump und Putin Europa angreifen, bringt die europäischen Konservstiven in eine Zwickmühle:
Petrolobbypolitik machen, eine souveräne Europäische Union aufgeben und Trump in den Arsch kriechen
oder
Machterhalt und damit eben auch Souveränität in Europa sichern und dafür die Abhängigkeiten von ausländischen Diktaturen kappen.
„Beides“, also Machterhalt und für die Petrolobby die Weltverbrennen bekommen sie nur mit dem Modell Belarus hin: Macht im eigen…

The Kavanaugh Stop's Legacy: 50 Days, 170 Detained Citizens, Zero Answers (Mike Masnick/Techdirt)
https://www.techdirt.com/2025/10/29/the-kavanaugh-stops-legacy-50-days-170-detained-citizens-zero-answers/
http://www.memeorandum.com/251029/p126#a251029p126

A polynomial bound on the pathwidth of graphs edge-coverable by $k$ shortest paths
Julien Baste, Lucas De Meyer, Ugo Giocanti, Etienne Objois, Timoth\'e Picavet
https://arxiv.org/abs/2510.02901

A polynomial bound on the pathwidth of graphs edge-coverable by $k$ shortest paths
Dumas, Foucaud, Perez and Todinca (2024) recently proved that every graph whose edges can be covered by $k$ shortest paths has pathwidth at most $O(3^k)$. In this paper, we improve this upper bound on the pathwidth to a polynomial one; namely, we show that every graph whose edge set can be covered by $k$ shortest paths has pathwidth $O(k^4)$, answering a question from the same paper. Moreover, we prove that when $k\leq 3$, every such graph has pathwidth at most $k$ (and this bound is tight). Fi…

Heartbreaking to see a once sharp, insightful and shrewd friend give up on rigor and logic and collapse into purified rage and lashing out with no foundation nor grounding.
Hard losing the trust and closeness that once was.
Radicalization can ruin so much. We are all vulnerable to it.
Asking oneself questions like "what information, if it existed, would change my mind" and "am I wrong, can I figure out how I am" and finding answers might help avoid it…

Krise in Europa - deutsch-französische Freundschaft auf Tiefpunkt
Bundeskanzler Friedrich #Merz sieht in den Gesetzen von Nicolas Carnot († 24.8.1832) einen Angriff auf die deutsche Verbrennerindustrie und wirft Emanuel #Macron vor, elektrische Kleinwagen gegenüber deutschen Maximalverbrauchern bevort…

Some left-leaning audiences are turning to independent outlets like Bulwark and Crooked Media, abandoning legacy media over their pro-Trump transgressions (Max Tani/Semafor)
https://www.semafor.com/article/09/21/2025/look-at-the-cha…

‘Look at the charts’: Democrats desert legacy media for new outlets
Angry viewers are trying to make legacy outlets pay for their pro-Trump transgressions by turning to competitors.