Tootfinder

Immer, wenn ich sowas lese, schaue ich erst einmal auf das Datum. Ich meine, das ist gut und richtig und die Argumentation passt auch, aber haben die Verantwortlichen die letzten Jahre komplett verschlafen? Worauf haben die so lange gewartet?
> ÜSTRA verlässt die Plattform X (ehemals Twitter) | ÜSTRA

ÜSTRA verlässt die Plattform X (ehemals Twitter) | ÜSTRA

Kommentar: Jony, oh Jony, warum hast Du uns verlassen?
Apples ehemaliger Designchef Ive, die Legende hinter iMac und iPhone, will für OpenAI neue KI-Geräte bauen. Es regnet Milliarden, doch er verrät dabei Ideale.

Nach Rücksprache mit den Buch-Herausgebern und dem Verlag darf ich meine jüngste (und ausführlichste) Publikation zu generativen Machine-Learning-Systemen (GMLS) vom Januar 2025 bereits jetzt online zur Verfügung stellen: https://zenodo.org/records/15042499

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
Patrick Yubeaton, Andre Nakkab, Weihua Xiao, Luca Collini, Ramesh Karri, Chinmay Hegde, Siddharth Garg
https://arxiv.org/abs/2505.20302

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
This paper introduces VeriThoughts, a novel dataset designed for reasoning-based Verilog code generation. We establish a new benchmark framework grounded in formal verification methods to evaluate the quality and correctness of generated hardware descriptions. Additionally, we present a suite of specialized small-scale models optimized specifically for Verilog generation. Our work addresses the growing need for automated hardware design tools that can produce verifiably correct implementations …

Das kommt davon, wenn dumme Menschen unkritisch #KI nutzen.
Wenn sie damit nur sich selbst schaden würden, dann wäre das ja hinzunehmen, aber sie schaden so vielen Menschen. Da wächst sich #Dummheit zu Kriminalität aus.
#Trump

Falschangaben im Gesundheitsreport: Kennedy predigt den wissenschaftlichen »Goldstandard«. Und jetzt zitiert er Fantasiestudien
Mit seinem »MAHA Report« wollte Robert F. Kennedy die US-Wissenschaftspolitik neu definieren. Doch der Report gibt Quellen falsch wieder, einige Studien existieren gar nicht. Haben sich die Autoren auf KI verlassen?

Am Samstag wird er 95 Jahre alt : Clint Eastwood
#Schauspieler #Actor #Senior

Rastlose Legende: Hollywood-Ikone Clint Eastwood wird 95
Er ist Schauspieler, Regisseur, Produzent – und seit Jahrzehnten eine Ausnahmefigur in Hollywood. Zum 95. Geburtstag von Clint Eastwood zeigt sich: Der Mann im Cowboyhut bleibt rastlos, selbst nach einem schmerzlichen Verlust.

Wäre wirklich interessiert, wie die Grünen ihr Bundestagswahlergebnis analysiert haben.
Jette Nietzard: Winfried Kretschmann legt Grüne-Jugend-Chefin Parteiaustritt nahe - DER SPIEGEL
https://www.spiegel…

Die @… diskutiert nicht nur, sondern kann wen auch ganz schön in die Mangel nehmen. Aber in nett.
From: @…

„Vermieter reicht Räumungsklage ein“ ist keine Nachricht, die positive Gefühle erzeugt. Wenn es dann weitergeht mit „… gegen AfD-Bundeszentrale“ wird es allerdings zur Achterbahnfahrt der Gefühle.
https://www.

Wegen Wahlparty nach der Bundestagswahl: Vermieter reicht Räumungsklage für AfD-Parteizentrale in Berlin ein
Die AfD soll ihre Bundesgeschäftsstelle in Berlin-Reinickendorf verlassen. Der Vermieter bemängelt insbesondere die Wahlparty, bei der die Partei unerlaubt Hofflächen genutzt habe.

Mein #BGE verlost wieder fünf realistische und 20 utopische #Grundeinkommen. Am 11. Juni, 20:30.