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…

#Satellitendaten zeigen einen Rückgang von 22 % bei 16 #Kaiserpinguin-Kolonien in Teilen der #Antarktis zwischen 2009 und 2024.
Hauptursache ist der Verlust stabiler

Emperor penguins show dramatic decline in one region of Antarctica, satellite photos show
WASHINGTON — The population of emperor penguins in one part of Antarctica appears to be declining faster than previously thought, according to a new analysis of satellite imagery released Tuesday

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.

Es ist still geworden um das Geschehen in der Manege. Geschuldet ist dies vermutlich aufgrund der Übermüdung aller Akrobat:innen. Viele haben ihr Repertoire an Kunststücken auch schon ausgeschöpft und die Manege verlassen. Die Älteren sind wie gewohnt widerstandsfähiger und schöpfen aus ihrer Erfahrung. Hier wird es wohl noch etwas dauern. #dem25 ^mr

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.

Bound States at Semiconductor -- Mott Insulator Interfaces
Jan Verlage, Peter Kratzer
https://arxiv.org/abs/2506.08264 https://arxiv.…

Bound States at Semiconductor -- Mott Insulator Interfaces
Utilizing the hierarchy of correlations in the context of a Fermi-Hubbard model, we deduce the presence of quasi-particle bound states at the interface between a Mott insulator and a semiconductor, as well as within a semiconductor-Mott-semiconductor heterostructure forming a quantum well. In the case of the solitary interface, the existence of bound states necessitates the presence of an additional perturbation with a minimal strength depending on the spin background of the Mott insulator. Con…

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