Tootfinder

'Negotiation can begin where the front line currently stands' — Zelensky says ahead of meeting with Trump: https://benborges.xyz/2025/08/17/negotiation-can-begin-where-the.html

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ing\'olfsd\'ottir
https://arxiv.org/abs/2509.14089

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
This paper studies the complexity of determining whether a formula in the modal logics characterizing the nested-simulation semantics is characteristic for some process, which is equivalent to determining whether the formula is satisfiable and prime. The main results are that the problem of determining whether a formula is prime in the modal logic characterizing the 2-nested-simulation preorder is coNP-complete and is PSPACE-complete in the case of the n-nested-simulation preorder, when n>=3. T…

Las Vegas negotiating with NFL to host 2029 Super Bowl https://www.reviewjournal.com/sports/football/super-bowl/las-vegas-negotiating-with-nfl-to-host-2029-super-bowl-3462531/

Common Sense about Negotiations (Timothy Snyder/Thinking about)
https://snyder.substack.com/p/common-sense-about-negotiations
http://www.memeorandum.com/250817/p53#a250817p53

"Traditionally…country that illegally invades another country & carries out war crimes is held responsible legally & financially for these actions. Trying war criminals & requiring aggressor states to pay reparations are…traditional…is expected…countries return their armed forces to within…own borders…entirely normal…for Ukraine’s allies to station troops on Ukrainian territory…entirely traditional measures…not startling new developments."

Common Sense about Negotiations
For Americans about Ukraine

Nested Operator Inference for Adaptive Data-Driven Learning of Reduced-order Models
Nicole Aretz, Karen Willcox
https://arxiv.org/abs/2508.11542 https://ar…

Nested Operator Inference for Adaptive Data-Driven Learning of Reduced-order Models
This paper presents a data-driven, nested Operator Inference (OpInf) approach for learning physics-informed reduced-order models (ROMs) from snapshot data of high-dimensional dynamical systems. The approach exploits the inherent hierarchy within the reduced space to iteratively construct initial guesses for the OpInf learning problem that prioritize the interactions of the dominant modes. The initial guess computed for any target reduced dimension corresponds to a ROM with provably smaller or e…

Octopus Heat-pump Journey - Via quote and survey and negotiation to keeping us warm fossil-free #heatPump #DHW #spaceHeat

Octopus Heat-pump Journey
Via quote and survey and negotiation to keeping us warm fossil-free #heatPump #DHW #spaceHeat #defossilisation

Trump declined to approve more than $400 million in military aid to Taiwan this summer,
as he tries to negotiate a trade deal and potential summit with Chinese leader Xi Jinping.

The decision, which may still be reversed, marks a U-turn in U.S. policy toward the self-governing island that China claims as its own territory.

Two people familiar with the matter said the package was worth more than $400 million and would have been “more lethal” than past rounds of aid to Taiwan…

Trump nixed $400 million in Taiwan military aid, pushing future arms sales
President Trump declined to approve more than $400M in military aid to Taiwan this summer, favoring future arms sales to the self-governing island China claims.

Zelenskyy: The war must STOP! We are ready for TRILATERAL negotiations #shorts: https://benborges.xyz/2025/08/18/zelenskyy-the-war-must-stop.html

🔥 Trump hints at Zelenskyy negotiations with Putin, North Korea cements nuclear status!: https://benborges.xyz/2025/09/15/trump-hints-at-zelenskyy-negotiations.html