Tootfinder

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 #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.

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: ++ Ukraine erhält Leichname von Gefallenen ++
Die Ukraine hat die sterblichen Überreste von mehr als 1.200 getöteten Soldaten erhalten. Russland meldet einen Vorstoß im Westen der ukrainischen Region Donezk.

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 …

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…

Sehr traurig und ein großer Verlust 😢 Margot Friedländer ist gestorben.
Sie ist als Holocaust-Überlebende mit 88 Jahren in das Land der Täter (Deutschland) zurück gekehrt, um hier aufzuklären und sich dafür einzusetzen, das so etwas nie wieder passiert.
Ich bin Ihr dankbar, dass Sie geholfen hat dieses Land zu einem besseren Ort zu machen in dem man leben möchte!

Holocaust-Überlebende Margot Friedländer gestorben
Margot Friedländer war eine der bekanntesten Holocaust-Überlebenden. Nun ist sie im Alter von 103 Jahren gestorben. Bis zuletzt widmete sie ihr Leben der Aufklärung über die Verbrechen der Nationalsozialisten.

Distinct origins of environmentally quenched galaxies in the core and outer virialised regions of massive clusters at $0.8<z<1.5$
Guillaume Hewitt, Florian Sarron, Michael L. Balogh, Gregory Rudnick, Yannick Bah\'e, Devontae C. Baxter, Gianluca Castignani, Pierluigi Cerulo, M. C. Cooper, Ricardo Demarco, Adit H. Edward, Rose A. Finn, Ben Forrest, Adam Muzzin, Julie Nantais, Benedetta Vulcani, Gillian Wilson, Dennis Zaritsky

Distinct origins of environmentally quenched galaxies in the core and outer virialised regions of massive clusters at $0.8
High-redshift ($z\sim1$) galaxy clusters are the domain where environmental quenching mechanisms are expected to emerge as important factors in the evolution of the quiescent galaxy population. Uncovering these initially subtle effects requires exploring multiple dependencies of quenching across the cluster environment, and through time. We analyse the stellar-mass functions (SMFs) of 17 galaxy clusters within the GOGREEN and GCLASS surveys between $0.8