Tootfinder

Steady gains, heavy losses: Assessing Russia’s summer campaign in Ukraine: https://benborges.xyz/2025/09/08/steady-gains-heavy-losses-assessing.html

Interpolation in First-Order Logic
Balder ten Cate, Jesse Comer
https://arxiv.org/abs/2510.03822 https://arxiv.org/pdf/2510.03822

Interpolation in First-Order Logic
In this chapter we give a basic overview of known results regarding Craig interpolation for first-order logic as well as for fragments of first-order logic. Our aim is to provide an entry point into the literature on interpolation theorems for first-order logic and fragments of first-order logic, and their applications. In particular, we cover a range of known refinements of the Craig interpolation theorem, we discuss several important applications of interpolation in logic and computer science…

ok so the MHO98 logic analyzer is. not good. at all.
and the protocol decoders are basically not useful, i can see why they haven't bothered implementing even 10 of them (they only decode what's exactly on screen, like on the lower end models)
it's best understood as "logic analyzer attachment to orient you for where you want to see your analog traces" more so than a "logic analyzer" per se in any meaningful sense of the term

"You can be exposed to PFAS through food, water, even swimming in lakes"
#PFAS #ForeverChemicals #Health

You can be exposed to PFAS through food, water, even swimming in lakes
Since the 1940s, companies have been using PFAS—perfluoroalkyl and polyfluoroalkyl substances—to make products easier to use, from Teflon nonstick pots to waterproof rain gear, stain-resistant carpet and firefighting foam.

Bengals RG Patrick to miss games with calf injury https://www.espn.com/nfl/story/_/id/46200406/bengals-rg-lucas-patrick-miss-multiple-games-calf-injury

Israel-Premier Tech cycling team loses title sponsor after protests | Cycling News | @…
#Israel #Gaza #cycling

Transcript: Trump Suddenly Facing Worsening Losses on Many Key Fronts (New Republic)
https://newrepublic.com/article/200103/transcript-trump-suddenly-facing-worsening-losses-many-key-fronts
http://www.memeorandum.com/250908/p140#a250908p140

Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
Maximilian R. P. von Liechtenstein
https://arxiv.org/abs/2510.04716 https:…

Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
Curved Boolean Logic (CBL) generalizes propositional logic by allowing local truth assignments that do not extend to a single global valuation, analogous to curvature in geometry. We give equivalent sheaf and exclusivity-graph semantics and a context-aware proof calculus that is conservative in the flat limit. We formalize CBL-SAT and basic complexity (NP-complete in general) and present operational operators (CBL-AC and CBL-CONS) that prune contradictions earlier on classical hardware. We mode…

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, …

Strategy Logic, Imperfect Information, and Hyperproperties
Raven Beutner, Bernd Finkbeiner
https://arxiv.org/abs/2510.03952 https://arxiv.org/pdf/2510.0395…

Strategy Logic, Imperfect Information, and Hyperproperties
Strategy logic (SL) is a powerful temporal logic that enables first-class reasoning over strategic behavior in multi-agent systems (MAS). In many MASs, the agents (and their strategies) cannot observe the global state of the system, leading to many extensions of SL centered around imperfect information, such as strategy logic with imperfect information (SL$_\mathit{ii}$). Along orthogonal lines, researchers have studied the combination of strategic behavior and hyperproperties. Hyperproperties …