Tootfinder

Der OpenAI-Chef Sam Altman glaubt, dass ChatGPT heute schon mächtiger ist als jeder Mensch, der jemals gelebt hat. Er verweist darauf, dass sich Hunderte Millionen Menschen täglich auf den Chatbot verlassen. 🤖
Zum Artikel: https://heise.de/-10439804…

Das #Fairphone6 kommt am 25. Juni und setzt erneut auf #Reparierbarkeit und eine faire Produktion.
Der Preis ist geringer als beim Vorgänger, aber immer noch sehr teuer. Neu ist die zweiteilige Rückseite, die farblich kombinierbar ist und modulare Accessoires wie Lanyards oder Karte…

Fairphone 6: 'Faires' Smartphone mit modularer Bauweise - Preis & Bild
Die niederländische Firma Fairphone will in Kürze die neueste Ausgabe ihres leicht reparierbaren und "fair" produzierten Smartphones präsentieren. Das Fairphone 6 wird noch vor Ende Juni erwartet. Wir haben erste Details und ein offizielles Marketing-Bild vorliegen.

Bij ‘Goedenavond Nederland’ weigerde demissionair staatssecretaris van Defensie Tuinman de actie van burgers om bij de grens met Duitsland voertuigen staande te houden, op zoek naar asielzoekers, te veroordelen. Zelfs in de vrolijk rechtse studio groeide het ongemak.

Tuinman wast illegale grenscontroles wit bij ‘Goedenavond Nederland’
ZAP: Bij ‘Goedenavond Nederland’ weigerde demissionair staatssecretaris van Defensie Tuinman de actie van burgers om bij de grens met Duitsland voertuigen staande te houden, op zoek naar asielzoekers, te veroordelen. Zelfs in de vrolijk rechtse studio groeide het ongemak.

Uff. Das habe ich nicht erwartet…
„Der frühere Suhrkamp-Verleger Siegfried Unseld hat vor 1945 der NSDAP angehört. Das berichtet die „Zeit“ und beruft sich dabei auf den Historiker Thomas Gruber.“
https://www.deutschlandfunk.de/suhrkamp-ve

"Zeit"-Bericht - Suhrkamp-Verleger Siegfried Unseld wurde offenbar mit 17 Jahren Mitglied der NSDAP
Der frühere Suhrkamp-Verleger Siegfried Unseld hat vor 1945 der NSDAP angehört. Das berichtet die "Zeit" und beruft sich dabei auf den Historiker Thomas Gruber. Der 2002 gestorbene Unseld gilt als einer der wichtigsten Verleger der Nachkriegszeit.

Slowakei lehnt neues Sanktionspaket der EU ab
Der slowakische Ministerpräsident Robert Fico lehnt die geplanten neuen EU-Sanktionen gegen Russland in der jetzigen Form ab. "Die Slowakei wird das kommende 18. Sanktionspaket gegen Russland nicht unterstützen, wenn die Europäische Kommission keine echte Lösung für die Krisensituation vorlegt, in der sich die Slowakei nach dem vollständigen Stopp der Gas-, Öl- und Kernbrennstoffl…
📑

Ukraine-Liveblog: ++ Südosteuropäische Staaten verurteilen Invasion ++
Die Regierungschefs südosteuropäischer Staaten haben auf einem Gipfel in Odessa die russische Invasion verurteilt. Die Ukraine hat die sterblichen Überreste von mehr als 1.200 getöteten Soldaten erhalten.

This https://arxiv.org/abs/2505.20302 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

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 …

Rückschlag für Optimus Bot: Chef der Robotersparte verlässt Tesla
Milan Kovac, Chef der Entwicklung des humanoiden Roboters Optimus bei Tesla, verlässt das Unternehmen überraschend. Der Weggang könnte sich negativ auswirken.

Das Gutachten des Wissenschaftlichen Dienstes des Bundestages zum Entzug des passiven Wahlrechts bei Verurteilung wegen Volksverhetzung. Betrifft Seite 50 des Koalitionsvertrags und mehrere unter anderem meine Petition an den BT.
Anders als in dem Gutachten hervorgehoben, sehe ich im Entzug nicht den Verlust von Ehrenrechten als Hauptziel, sondern den Schutz der Demokratie vor offensichtlichen Verfassungsfeinde.
From: @…

Galaxy Cluster Mass Estimation Through The Splashback Radius
Lucas Gabriel-Silva, Laerte Sodr\'e Jr
https://arxiv.org/abs/2506.07425 https://

Galaxy Cluster Mass Estimation Through The Splashback Radius
We present an analysis of the splashback radius ($R_{\text{sp}}$) and the associated splashback mass ($M_{\text{sp}}$) for a sample of galaxy clusters using SDSS spectroscopic data and mock simulations. $R_{\text{sp}}$ marks a physical boundary between the virialized core and the outer infall regions of clusters, providing a robust measure of cluster mass accretion history without being affected by pseudo-evolution. We model the cumulative galaxy number profile of clusters, testing different ha…

VeriLoC: Line-of-Code Level Prediction of Hardware Design Quality from Verilog Code
Raghu Vamshi Hemadri, Jitendra Bhandari, Johann Knechtel, Badri P Gopalan, Ramesh Narayanaswamy, Ramesh Karri, Siddharth Garg
https://arxiv.org/abs/2506.07239

VeriLoC: Line-of-Code Level Prediction of Hardware Design Quality from Verilog Code
Modern chip design is complex, and there is a crucial need for early-stage prediction of key design-quality metrics like timing and routing congestion directly from Verilog code (a commonly used programming language for hardware design). It is especially important yet complex to predict individual lines of code that cause timing violations or downstream routing congestion. Prior works have tried approaches like converting Verilog into an intermediate graph representation and using LLM embedding…