Tootfinder

Anthropic Cowork: Claude räumt Desktop auf – Research Preview gestartet
Anthropic hat ein neues Software-Tool namens Cowork vorgestellt. Es ist Claude Code ähnlich, soll aber deutlich leichter verwendbar sein.

Mit wichtiger Hardware-Änderung: Hinweis auf Apples neuen Profi-Bildschirm
Im Code der dritten Dev-Beta von macOS 26.1 finden sich interessante Details zu Apples Pro Display XDR 2. Apple wetzt wohl mindestens eine Feature-Scharte aus.

Anthropic launches Cowork for Claude, built on Claude Code to automate complex tasks with minimal prompting, as a research preview for Claude Max subscribers (Webb Wright/ZDNET)
https://www.zdnet.com/article/anthropic-cowork-for-claude-complex-action…

Claude Cowork automates complex tasks for you now - at your own risk
Available first to Claude Max subscribers, the research preview empowers Anthropic's chatbot to handle complex tasks.

“Ook de 100 nieuwbouwhuizen in Nijstad-Oost moeten vanaf dag één gebruikmaken van waterstof.
[..]
Waterstof is duurder dan aardgas, via een subsidiepotje krijgen deelnemers de meerkosten vergoed voor de komende vijftien jaar vergoed.”
🙈
https://www.

Nieuw systeem voegt geur toe aan waterstof: Hoogeveen klaar voor proef
Waterstof is geurloos, dus als er ergens een lek in huis zou zijn ruik je het niet. "Net als bij aardgas wordt daarom een luchtje toegevoegd, die van rotte eieren, om zo een lek te kunnen vinden", vertelt Kees Boer van de gemeente Hoogeveen.

GMFB Mad Minute: Vikings-Cowboys Preview https://www.vikings.com/video/gmfb-mad-minute-vikings-cowboys-preview

Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers
Jian Fang, Yican Sun, Yingfei Xiong
https://arxiv.org/abs/2510.10131 https://arxiv.org/p…

Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers
One important approach to software verification is interactive theorem proving. However, writing formal proofs often requires substantial human effort, making proof automation highly important. Traditionally, proof automation has relied on symbolic provers. Recently, large language models (LLMs) have demonstrated strong capabilities in theorem proving, complementing symbolic provers. Nonetheless, prompting LLMs can be expensive and may pose security risks for confidential codebases. As a result…

Zionist extremist group Betar to shut down in New York after state AG probe, settlement | Courthouse News Service
https://www.courthousenews.com/zionist-extremist-group-betar-to-shut-down-in-new-york-after-state-ag-probe-settlement/

The Justice Department refuses to open a criminal civil rights investigation into the killing of a woman by a U.S. Immigration and Customs Enforcement officer in Minneapolis.
The decision to keep the Justice Department’s Civil Rights Division out of the investigation into the fatal shooting of #Renee #Good marks a sharp…

DOJ sees no basis for civil rights probe in Minnesota ICE shooting
A top Justice Department official says there is not currently any basis to open a criminal civil rights investigation into the killing of a woman by a U.S. Immigration and Customs Enforcement officer in Minneapolis. The decision to keep the Justice Department’s Civil Rights Division out of the investigation into the fatal shooting of Renee Good marks a sharp departure from past administrations, which have moved quickly to probe shootings of civilians by law enforcement officials for potential…

Dog sled race organizers probe rogue invite to Trump's Greenland envoy (Seb Starcevic/Politico)
https://www.politico.eu/article/greenland-dog-sled-race-organizers-probe-rogue-invite-to-donald-trump-jeff-landry-special-envoy/
http://www.memeorandum.com/260113/p90#a260113p90