AI Slop oder besserer Code: GCC-Arbeitsgruppe für KI-Richtlinien gestartet
Die Working Group for GCC AI Policy soll festlegen, inwiefern Contributors KI-Tools beim Entwickeln der GNU Compiler Collection nutzen dürfen.
Meta kauft zig Millionen AWS Graviton Cores für Agentic AI
Meta und AWS erweitern ihre Partnerschaft mit einem Deal über mehrere zehn Millionen Graviton-Kerne für Metas Agentic-AI-Pläne.
Developer-Häppchen fürs Wochenende – kleinere News der Woche
Kleine, aber interessante Meldungshäppchen vom News-Buffet zu C++, GitLab, .NET, Arrow, Databricks, IntelliJ, Spring, Slint und Eclipse Foundation.
software-architektur.tv: Wozu formale Methoden? mit Lars Hupel
In der Episode diskutieren Eberhard Wolff und Lars Hupel über den gewinnbringenden Einsatz formaler Methoden im Software-Architektur-Alltag.
DeepSeek v4: Günstige KI-Alternative fordert OpenAI und Anthropic heraus
Das chinesische Start-up DeepSeek hat eine neue KI-Generation veröffentlicht. Das Modell setzt auf eine neue Architektur und bietet ein größeres Kontextfenster.