Tootfinder

Andreas Rödder, Historiker und CDU-Mitglied: „Die Brandmauer wird den Herbst nicht überleben." Ein Zerbrechen der eigenen Partei hält er für ein realistisches Szenario.
Merz verweist auf klare Parteitagsbeschlüsse. Kretschmer hält Reden über Brandmauern schon jetzt für aus der Zeit gefallen – man müsse mit jedem reden, der reden wolle.
Dieselbe Partei, dieselbe Woche.
Die Frage ist nicht mehr, ob die Mauer hält. Sondern wer sie einreißt.

Christmas came early for the global far right,
as images showed tens of thousands of migrants from Morocco breaching the borders of the Spanish enclave Ceuta.
From Donald Trump to Nigel Farage, the far right reacted exactly how you would think
– by stirring up fear about a fake “invasion” and weaponizing the so-called crisis to rally their bases.
Trump said the surge should be used as a “talking point” in the midterm election,
while Farage used it to promote h…

The Fake ‘Invasion’ of Spain: What You Need to Know
9 things you should know about the so-called ‘crisis’ of Moroccan migrants forcing their way into the Spanish enclave of Ceuta – and the hysterical response from the right in the U.S., UK, and EU.

„Doch [Thorsten] Freis Freundlichkeit gilt gleichzeitig auch als seine größte Schwäche. »Als #Fraktionschef muss man manchmal auch ein Arschloch sein«, sagt ein Abgeordneter, »und Arschloch kann er nicht.« Sein Vorgänger #Spahn hatte es in dieser Disziplin zu großer Meisterschaft gebracht.“ 💀

Designierter Unionsfraktionschef Frei: Söder sendet eine verdeckte Botschaft an den Kanzler. Aber bekommt der sie mit?
Friedrich Merz will seinen engen Vertrauten Thorsten Frei zum Fraktionschef machen. Der CSU-Vorsitzende trägt die Personalie offiziell mit – und geht doch deutlich auf Distanz zum Kanzler, mit einem einzigen Satz.

from my link log —
The smell of rain: how Aussie scientists invented a new word in 1964.
https://www.csiro.au/en/news/All/Articles/2015/March/the-smell-of-rain-how-our-scientists-invented-a-new-word
saved 20…

As we march toward our later years, the dance of life sweetens. Picture waking up to leisurely mornings filled with fresh-brewed coffee, laughing with grandchildren, and planning new adventures. After ending my 50-year career, I’ve learned that time is a currency well spent. Dream big and live well! #InspiredLiving #RetirementDreams

If you want to know what Rubio is trying to do, go listen to the Revolutions podcast on 1848. Metternich built a conspiracy of kings that persecuted Liberals in order to protect European empires against revolution. It failed, of course, but he was able to hold things down (right until it all blew up in his face). The strategy was essentially mass surveillance, censorship, and general Draconian repressieve bullshit.
Rubio is trying to slap together an actual international conspiracy of governments to stomp on the face of humanity forever, and his opening offer is off-brand 70's fear mongering that no one takes seriously.
He may well be right, in some ways. The thing he calls "civilization" is white supremacist patriarchal Christian nationalism, modeled loosely on Pinochet's Chile, Franco's Spain, Mussolini's Italy, and Putin's Russia. Yeah, "the left" is a *huge* threat to that type of shit. In fact, we always win.
But Rubio is Dollar Tree Metternich, and he's not trying to stop a liberal revolution near the birth of liberalism. He's trying to stop a leftist revolution that's been refining itself now against these same tactics for hundreds of years.
We already have the playbook he's using (poorly). It's just funny that the famous Marx quote about history repeating, "the first as tragedy, then as farce," is so applicable to this Rubio as he rails against the laughable boogyman of "Marxism."

Generalized Constraint Projection: Four-Dimensional Type Inference for Dynamic Languages
Qunhui Zhang
https://arxiv.org/abs/2607.19693 https://arxiv.org/pdf/2607.19693 https://arxiv.org/html/2607.19693
arXiv:2607.19693v1 Announce Type: new
Abstract: Type inference for dynamically typed languages must reconcile four distinct sources of evidence for function parameters: internal assignments, explicit declarations, contextual requirements, and structural operations. Existing systems often merge these sources into one constraint set, causing spurious conflicts or requiring redundant annotations. We present Generalized Constraint Projection (GCP), a zero-annotation inference framework that stores the four sources in separate monotone slots on a stable definition-time template and checks each call in a fresh projection session. Ordinary calls verify concrete arguments and specialize return types without modifying the template, while currying produces residual projected functions. GCP uses Outline Equational Matching (OEM), a structural compatibility preorder with an open bidirectional delegation protocol, and future this, a receiver-preserving extension for subtype-refining fluent APIs. On the strict success fragment of a finite-height type preorder, we prove monotonicity, local and global convergence in $O(Nh_T)$ effective updates, conditional projection-obligation soundness, projection termination, multi-module convergence, and order independence under fair monotone iteration. For the pure, recursion-free core Outline0, we additionally prove big-step evaluation definedness, type preservation, runtime receiver retention, and projection-evaluation coherence. We instantiate GCP in the Outline dynamic language as a typed substrate for ontology worlds and apply it to unannotated Python source to recover PEP 484 annotations for downstream compilation.
toXiv_bot_toot