Tootfinder

Die Echsen­menschen erhöhen jetzt schon jährlich merklich die Temperaturen, um die mittlere Durchschnitts­temperatur auf den für ihre wechsel­warmen Körper optimalen Werte zu bekommen. Hierzu haben sie das politische System übernommen und sorgen für eine fortwährende Erhöhung des CO₂-Ausstoßes. Wenn wir Warmblüter in einer für uns passenden Welt überleben (d.h. auch Nahrungs­mittel produzieren) wollen, müssen wir sie dringend stoppen!
Ich dachte mir ich mach jetzt auch mal in Verschwör…

#Indien hat seine #Klimaziele des Pariser Klimaabkommens fünf Jahre früher erreicht.
Bereits die Hälfte der #Stromerzeugung stammt aus

Energie-Revolution macht Tempo: Indien schafft Klimaziele fünf Jahre vor Plan – EU hinterher
Indien rangiert auf Platz drei bei der Erzeugung von Strom aus erneuerbaren Energien – und hat mittlerweile die Ziele des Pariser Klimaabkommens erreicht.

❤️ #Stadtbahn @…

Neuer Stadtbahn-Fan im Verkehrsministerium
Die geplante Kieler Stadtbahn ist ein Politikum geworden. Die CDU ist auf Kreisebene mittlerweile gegen das große ÖPNV-Projekt, weil sie die Finanzierung als unrealistisch ansieht. Das Land Schleswig-Holstein zeigt sich offiziell offen für die Stadtbahn, obwohl einige CDU-Politiker der Landesregierung gleichzeitig bei der Kieler Kreispartei Stimmung gegen die Stadtbahn machen.

DIE ZEIT hat es auf den Punkt gebracht: "Öl, Blut und keine Ahnung".
Knapper kann man den Kriegseintritt der USA unter der Darth #Trump Administration nicht besschreiben.
(Paywall)
https…

Kriege der USA: Öl, Blut und keine Ahnung
Trump bombt und prahlt, als gäbe es die Vorgeschichte nicht: Die USA machen im Mittleren Osten immer wieder dieselben Fehler – und missachten fünf wichtige Lehren.

Offensichtlich ist es für die Moderat*innen von Mastodon unerträglich, wenn sich Autor*innen dafür einsetzen, dass Menschenrechte unteilbar sind und auch für palästinensische Menschen gelten. Mittlerweile fordern mehrere Regierungen von EU-Mitgliedsländern von Israel, Menschenrechte in Gaza zu respektieren. Es ist enttäuschend, dass Mastodon sich gegen Menschenrechte im rechten politischen Lager positioniert.

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Samuel Teuber, Mattias Ulbrich, Andr\'e Platzer, Bernhard Beckert
https://arxiv.org/abs/2507.08581

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Formally specifying, let alone verifying, properties of systems involving multiple programming languages is inherently challenging. We introduce Heterogeneous Dynamic Logic (HDL), a framework for combining reasoning principles from distinct (dynamic) program logics in a modular and compositional way. HDL mirrors the architecture of satisfiability modulo theories (SMT): Individual dynamic logics, along with their calculi, are treated as dynamic theories that can be flexibly combined to reason ab…

Wohl gesprochen: "Wenn es dann anderswo brennt: Meldet euch bei den Christdemokraten, die haben es mit medialer Skandalisierung verbockt."
#lüneburg #cdu

Am Sande: Lokale Amnesie trifft Alarmismus
Was ein paar Holzbänke so alles anrichten können. Die Verdrängungs-Strategie der Lüneburger CDU für die Sauf- und Raufbolde auf den neuen Sitzmöbeln auf dem Platz Am Sande wäre ein Anwärter für den…

Es ist schon tragisch, dass wegen des #Terrorregimes in #Israel jüdische Bürger anderer Staaten gefährdet werden. Netanjahu heizt international die Hetze gegen Israel und seine Bürger an.
Dabei ist es die Poliitk des Terrorregimes von Netanjahu, das den Nahen und MIttleren Osten in eine Krise stürz…

Sepp, was machst du? - Schellhorn-Pannen belasten die Regierung #News #Nachrichten