Tootfinder

Jetzt auch von Anthropic: Proaktiver KI-Agent für den Arbeitsalltag
Anthropic veröffentlicht mit Claude Duet nun auch einen persönlichen Agenten. Er zielt zunächst auf Fachleute und Kleinunternehmer und startet als Preview.

Jetzt auch von Anthropic: Proaktiver KI-Agent für den Arbeitsalltag
Anthropic veröffentlicht mit Claude Duet nun auch einen persönlichen Agenten. Er zielt zunächst auf Fachleute und Kleinunternehmer und startet als Preview.

Anthropic says it partnered with Theorem to use Claude to formally prove security properties at the assembly level across 100 real-world open-source libraries (Anthropic)
https://www.anthropic.com/research/formal-verification

LLMs are making formal software verification feasible at a much larger scale
Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.

#KeepAndroidOpen https://keepandroidopen.org

#Anthropic will #KI-Modelle blocken "wenn mehr als 50 Menschen getötet werden könnten" oder bei einem erwartbaren Schaden von einer Milliarde Dollar.

Episode 517 – Listen, Sing, Play On There Will Never Be Another You
#beginnerjazz
http://10minutejazzlesson.com/2026/09/05/episo…

Im Hiphopkurs sind wir eine Stufe weitergegangen und haben uns gegenseitig unseren Tag rappend erzählt (mit echten Worten). Erstaunlicherweise klappte auch das; der Trainer kam 2x auf mich zu und meinte, dass ich das echt gut kann. Reimen funktionierte auch ganz okay.
Ich sagte zu meiner Mutter, dass ich das Rappen weiterverfolgen möchte. Meine Mutter: "Aber das machen doch nur Jugendliche."
Jemand anders fragte: "Wozu ist das gut (in Gibberish zu rappen)?" 1/…

Filings: Nvidia, Anthropic, and OpenAI had their highest-spending lobbying quarter between July and September, spending $2.2M, $2.1M, and $1.5M, respectively (Lauren Feiner/The Verge)
https://www.theverge.com/policy/1016585/openai-anthropic-nvidia-lobbying-re…

OpenAI, Anthropic, and Nvidia had record lobbying quarters
Leading AI companies are ramping up their federal lobbying spending, with OpenAI, Anthropic, and Nvidia having their biggest lobbying quarters yet ahead of the midterms.

If it sounds like a duck, flies like a duck, eats like a duck and dislikes like a duck, let's call it a duck instead of a neo-duck or a parkloving swimming bird
https://www.theguardian.com/world/2026/aug/27/the-nazis-drove-bauhaus-out-of-town-now-the-far-right-is-waging-another-war-against-the-movement?CMP=Share_AndroidApp_Other

Anthropic donates the Agent Skills open standard to the Agentic AI Foundation and says 70 platforms have integrated it, after donating MCP to the AAIF in 2025 (Anthropic)
https://www.anthropic.com/news/donating-agent-skills-to-the-agentic-ai-foundation

Donating Agent Skills to the Agentic AI Foundation
We’re donating Agent Skills, the open standard that gives AI agents specialized knowledge and workflows, to the Agentic AI Foundation. More than 70 agent platforms, including ChatGPT, Cursor, GitHub Copilot, and VS Code, have integrated Agent Skills since we published the standard in December 2025.

a16z rebrands a16z Crypto as a16z Frontier and expands the fund's scope to back startups developing AI, robotics, and other emerging technologies (Camila Grigera Naón/Fortune)
https://fortune.com/2026/10/22/venture-gian…

Venture giant Andreessen Horowitz drops ‘crypto’ from name of blockchain fund, rebrands as ‘a16z Frontier’
The rebrand follows similar moves by Paradigm and Haun Ventures as crypto investors look beyond digital assets.