Tootfinder

Represión de pueblos en la COP30 en Brasil: Posicionamiento de la Caravana Mesoamericana por el Clima y la Vida
(original: https://espejosdelsurglobal.org/2025/11/12/represion-de-pueblos-en-la-cop30-en-brasil-posicionam

Represión de pueblos en la COP30 en Brasil: Posicionamiento de la Caravana Mesoamericana por el Clima y la Vida
Fotos: Danilo Verpa – Folhapress y Anderson Coelho – Reuters Lo que ocurrió ayer en la zona azul de la COP30 del Clima desenmascara la verdadera cara de este espacio: una cumbre del cap…

Substitution Without Copy and Paste
Thorsten Altenkirch (University of Nottingham), Nathaniel Burke (Imperial College London), Philip Wadler (University of Edinburgh)
https://arxiv.org/abs/2510.12304

Substitution Without Copy and Paste
Defining substitution for a language with binders like the simply typed $λ$-calculus requires repetition, defining substitution and renaming separately. To verify the categorical properties of this calculus, we must repeat the same argument many times. We present a lightweight method that avoids repetition and that gives rise to a simply typed category with families (CwF) isomorphic to the initial simply typed CwF. Our paper is a literate Agda script.

Schade, bevor ich auf den Zug aufspringen kann, ist der keline Boom auch schon wieder vorbei?
#nachtzug #nighttrain

Nachtzüge nach Paris und Stockholm werden eingestellt - obwohl Nachfrage da ist
Erst der Nachtzug nach Paris, bald der nach Schweden: Gerade wird eine Linie nach der anderen eingestellt – dabei ist die Nachfrage da.

Sequence Variables: A Constraint Programming Computational Domain for Routing and Sequencing
Augustin Delecluse, Pierre Schaus, Pascal Van Hentenryck
https://arxiv.org/abs/2510.09373

Sequence Variables: A Constraint Programming Computational Domain for Routing and Sequencing
Constraint Programming (CP) offers an intuitive, declarative framework for modeling Vehicle Routing Problems (VRP), yet classical CP models based on successor variables cannot always deal with optional visits or insertion based heuristics. To address these limitations, this paper formalizes sequence variables within CP. Unlike the classical successor models, this computational domain handle optional visits and support insertion heuristics, including insertion-based Large Neighborhood Search. We…

Die #EU und ihre Mitgliesstaaten sollten aufhören, die #USA als befreudete Macht zu betrachten. Sie sind es nicht mehr, sondern Verbündete eines aggressiven #Russland|s.
Daher sollten wir große Anstrengungen machen (wie …

US-Sicherheitsstrategie: Deutsche Geheimdienste sind besorgt und warnen
Der Verfassungsschutz mahnt mehr Befugnisse an, um unabhängiger von amerikanischen Geheimdiensten zu werden. Denkbar sei sogar, dass sich die USA bei Wahlen in Europa stärker einmischen könnten.

The maximum product of sizes of cross-\(t\)-intersecting families
Jingjun Bao, Lijun Ji
https://arxiv.org/abs/2510.11724 https://arxiv.org/pdf/2510.11724…

The maximum product of sizes of cross-\(t\)-intersecting families
Two families of sets \(\mathcal{A}\) and \(\mathcal{B}\) are called \emph{cross-\(t\)-intersecting} if \(|A \cap B| \geq t\) for all \(A \in \mathcal{A}\) and \(B \in \mathcal{B}\). Determining the maximum product of sizes for such cross-\(t\)-intersecting families is an active problem in extremal set theory. In this paper, we verify the following cross-\(t\)-intersecting version of the Erdős-Ko-Rado theorem: For \(k\geq l \geq t \geq 3\) and \(\min\{m,n\} \geq (t+1)(k-t+1)\), the ma…

Werden Smartphones heute wirklich damit beworben, nicht nur Fotos aufnehmen zu können, sondern diese auch mit mitgelieferter Software so zu verfälschen, dass die fakes wie echt aussehen?
Was ich dagegen nicht gesehen habe ist Werbung für ein Smartphone, das CAI und c2pa eingebaut hat, um nachzuweisen, dass ein Foto, dass damit aufgenommen wurde, authentisch ist.

Werden Smartphones heute wirklich damit beworben, nicht nur Fotos aufnehmen zu können, sondern diese auch mit mitgelieferter Software so zu verfälschen, dass die fakes wie echt aussehen?
Was ich dagegen nicht gesehen habe ist Werbung für ein Smartphone, das CAI und c2pa eingebaut hat, um nachzuweisen, dass ein Foto, dass damit aufgenommen wurde, authentisch ist.

Aspects of holographic complexity and volume of the black holes
Suraj Maurya, Sashideep Gutti, Rahul Nigam, Swastik Bhattacharya
https://arxiv.org/abs/2510.11833 https://…

Aspects of holographic complexity and volume of the black holes
In this article, we study the complexity growth rate for Banados Teitlboim Zanelli, Schwarzschild, Reissner Nordstrom, and Kerr black holes using complexity-volume (CV) and complexity-action (CA) dualities and verify that it is proportional to the product of the horizon temperature and entropy of the black holes as conjectured by Susskind. Furthermore, we explore the variation in the complexity growth rate $δ\dot{\mathcal{C}}$ under various physical processes, including the Penrose process, su…

Hier #CSU-Chef Markus #Söder zum Thema:
Er fordert die Abschaffung des #Heizungsgesetzes und kritisiert die „Übersubventionierung“ von

Mythos: "Verbrenner können zukünftig mit synthetischen Kraftstoffen sauber fahren"
E-Fuels und Biokraftstoffe gelten als klimafreundlich – doch Effizienz und Verfügbarkeit sprechen eine andere Sprache. Mehr dazu im Faktencheck.