Tootfinder

Angesichts dessen, was wir übers Klima wissen, sind diese Überschwemmungen¹ ebenso wie Dürren etc. keine unvorher­seh­baren Ereignisse, sondern Folgen aktiver politischer Entscheidungen.² Und so sollte der Journalismus sie auch behandeln.
__
¹nicht im Einzelfall aber statistisch, also in Häufigkeit und Größe
²allgemein 30 Jahre lang Klima­maßnahmen torpedieren, konkret Hochwasser­schutz­maßnahmen zugunsten der Spezln von Aiwangers Bruder unterlassen.

Wir benötigen wieder einen demokratischen Konsens. Das ist mit der aktuellen Methode Merz, Söder, Aiwanger, mit populistischer Verzerrung nicht zu schaffen. Sie verstärkt das Problem. Diffamierung, Defätismus und #Desinformation zersetzen die #Demokratie: Man kann ja ohnehin nichts mehr gl…

Desinformation: Gutgläubige Trottel sind immer die anderen
Eine Studie hat diese Woche Erschreckendes zutage gefördert, wenn auch nichts wirklich Überraschendes: Fast ein Drittel der Deutschen verliert gerade den Kontakt zur Wirklichkeit. Was tun?

Russische Angreifer klauen Quellcode von Microsoft
Seit Monaten greifen staatlich geförderte Cyberkriminelle die Systeme von Microsoft an. Das dauert auch jetzt noch an, dabei konnten Daten entwendet werden.
ht…

"Russische Angreifer klauen Quellcode von Microsoft"
stelle mir vor wie eine gruppe russen gemeinsam den quellcode vom windows explorer durchscrollen und sich drüber lustig machen
https://www.heise.de/news/Russische-Angreif…

#CDU und #Springer haben mit ihrer Lügenhetze das Klima für solche Angriffe erzeugt. #Merz, #Döpfner,

Laut Microsoft hätten sich die Aktivitäten im Februar 2024 verzehnfacht. 😳🚨
Zum Artikel: https://heise.de/-9650468?wt_mc=sm.red.ho.mastodon.mastodon.md_beitraege.md_beitraege

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu
https://arxiv.org/abs/2403.18120

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
Large language models (LLM), such as Google's Minerva and OpenAI's GPT families, are becoming increasingly capable of solving mathematical quantitative reasoning problems. However, they still make unjustified logical and computational errors in their reasoning steps and answers. In this paper, we leverage the fact that if the training corpus of LLMs contained sufficiently many examples of formal mathematics (e.g. in Isabelle, a formal theorem proving environment), they can be prompted to transl…

Russische Angreifer klauen Quellcode von Microsoft - Seit Monaten greifen staatlich geförderte Cyberkriminelle die Systeme von Microsoft an. Das dauert auch jetzt noch an, dabei konnten Daten entwendet werden, berichtet @… #Russland

Russische Angreifer klauen Quellcode von Microsoft
Seit Monaten greifen staatlich geförderte Cyberkriminelle die Systeme von Microsoft an. Das dauert auch jetzt noch an, dabei konnten Daten entwendet werden.