Tootfinder

heise | Roborock in Home Assistant einbinden: Staubsauger smart steuern
Wer seinen Roborock-Roboter in Home Assistant integriert, kann neue Features hinzufügen, Reinigungen automatisch starten und ihn per Dashboard steuern.

Trump wants to use traffic stops to target undocumented immigrants (April Rubin/Axios)
https://www.axios.com/2025/08/14/trump-immigration-traffic-stops-police
http://www.memeorandum.com/250815/p27#a250815p27

Opendoor CEO Carrie Wheeler steps down, with Shrisha Radhakrishna named president and interim CEO; OPEN jumps 8% (Norah Mulinda/Bloomberg)
https://www.bloomberg.com/news/articles/2025-08-15/opendoor-hunts-for-new-ceo-as-whee…

49ers hail Purdy fill-in Jones: 'Hell of a job' in win https://www.espn.com/nfl/story/_/id/46263038/mac-jones-steps-brock-purdy-helps-49ers-sink-saints

#Staubsauger - Sedimente
#Philips 5000 Series
FC9555

Israel kräver information om bidragsgivare – stora hjälporganisationer som Läkare utan gränser och Rädda barnen kan tvingas lämna Gaza och Västbanken. https://www.dn.se/varlden/israel-kraver-information-om-bidragsgivare-stora-hjalporganisatio…

Israel kräver information om privata bidragsgivare
Israels nya regler kommer att stoppa internationella hjälparbetare som i dag verkar i Gaza och på Västbanken, larmar 100 organisationer i ett uttalande.

Natural Language Translation of Formal Proofs through Informalization of Proof Steps and Recursive Summarization along Proof Structure
Seiji Hattori, Takuya Matsuzaki, Makoto Fujiwara
https://arxiv.org/abs/2509.09726

Natural Language Translation of Formal Proofs through Informalization of Proof Steps and Recursive Summarization along Proof Structure
This paper proposes a natural language translation method for machine-verifiable formal proofs that leverages the informalization (verbalization of formal language proof steps) and summarization capabilities of LLMs. For evaluation, it was applied to formal proof data created in accordance with natural language proofs taken from an undergraduate-level textbook, and the quality of the generated natural language proofs was analyzed in comparison with the original natural language proofs. Furtherm…

What's the plural of #AS (as in #AutonomousSystem)? Asses? 🤪
(Might be a #shitpost, but SCNR. 😇)

J.J. McCarthy injury: Ankle sprain could sideline Vikings' second-year QB for up to a month in another setback

https://www.cbssports.com/nfl/news/j-j…

Source: Nvidia is scaling back DGX Cloud to primarily internal R&D use; DGX Cloud was initially envisioned to compete with major cloud providers like AWS (Anissa Gardizy/The Information)
https://www.theinformation.com/articles/nvidia-steps-back-cloud-ef…

Nvidia Steps Back From Cloud Effort to Compete with AWS
Nvidia is stepping back from its nascent cloud computing business, which had put it in quasi-competition with Amazon Web Services. It has lessened its efforts to attract businesses to the cloud service, dubbed DGX Cloud, said a person with direct knowledge of the situation. Instead, Nvidia plans ...