Tootfinder

Im hbz wird eine neue Leitung der Gruppe "Datenbankservices und Verbunddienstleistungen" gesucht, siehe https://metadaten.community/t/hbz-leitung-der-gruppe-datenbankservices-und-verbunddienstleistungen/827

Under Siege From Trump and Musk, a Top Liberal Group Falls Into Crisis (New York Times)
https://www.nytimes.com/2025/07/25/us/politics/media-matters-musk-crisis.html?unlocked_article_code=1.ZE8.uS77.aCoRbTwphEFY&smid=url-share
http://www.memeorandum.com/250725/p57#a250725p57

Docs and interviews: Media Matters is struggling to survive, having racked up ~$15M in legal fees to defend itself from lawsuits by Elon Musk, the FTC, and AGs (New York Times)
https://www.nytimes.com/2025/07/25/us/poli

Under Siege From Trump and Musk, a Top Liberal Group Falls Into Crisis
Scrambling to pay legal fees, Media Matters has dialed back its criticism, trimmed its staff and contemplated closing entirely.

Azerbaijan-Russia tensions escalate as Baku accuses Moscow of intentional killing of its citizens: https://benborges.xyz/2025/07/01/azerbaijanrussia-tensions-escalate-as-baku.html

Replaced article(s) found for cond-mat.supr-con. https://arxiv.org/list/cond-mat.supr-con/new
[1/1]:
- Superconductivity in doped planar Dirac insulators: A renormalization group study
Sk Asrap Murshed, Sanjib Kumar Das, Bitan Roy

Russian propaganda media Sputnik shuts down operations in Azerbaijan amid tensions: https://benborges.xyz/2025/07/03/russian-propaganda-media-sputnik-shuts.html

US-Senat plant Gesetzesentwurf zu Russland-Sanktionen
Der US-Senat will noch in diesem Monat damit beginnen, einen Gesetzesentwurf zu möglichen weiteren Sanktionen gegen Russland auszuarbeiten. Das kündigte der republikanische Mehrheitsführer im Senat, John Thune, an. Zwar hoffe die US-Regierung nach wie vor auf eine Einigung zur Beendigung des Krieges, aber der Senat sei bereit, den Druck auf Moskau zu erhöhen. "Wir sind auc…
📑

Ukraine-Liveblog: ++ Ukraine-Verbündete beraten über weitere Hilfen ++
Auf Einladung Deutschlands und Großbritanniens kommt am Mittwoch die sogenannte Ramstein-Gruppe zusammen, um über weitere Hilfen für die Ukraine zu beraten - die USA nehmen nicht teil. Moskau fordert die Anerkennung der eroberten Gebiete.

Héél jammer dat we DOS dit jaar missen
Voor Deventer Op Stelten komen ze nu van de andere kant van de wereld | Deventer | destentor.nl
https://www.destentor.nl/deventer/voor-deventer-op-stelten-komen-ze-nu-van…

Backward Responsibility in Transition Systems Beyond Safety
Christel Baier, Rio Klatt, Sascha Kl\"uppelholz, Johannes Lehmann
https://arxiv.org/abs/2506.05192

Backward Responsibility in Transition Systems Beyond Safety
As the complexity of software systems rises, methods for explaining their behaviour are becoming ever-more important. When a system fails, it is critical to determine which of its components are responsible for this failure. Within the verification community, one approach uses graph games and the Shapley value to ascribe a responsibility value to every state of a transition system. As this is done with respect to a specific failure, it is called backward responsibility. This paper provides ti…