Suche
Gemini-Schock: 54.000€-Rechnung durch ungesicherten Firebase-API-Key
Ein Entwickler hat den Albtraum jedes Cloud-Nutzers erlebt: Eine 54.000€-Rechnung in nur 13 Stunden, weil ein *uneingeschränkter* Firebase-Browser-Key massiv für Gemini-API-Anfragen missbraucht wurde. Dies ist ein bitteres Lehrstück in Sachen API-Key-Sicherheit und ein eindringlicher Beweis, dass selbst "harmlos" wirkende Browser-Keys ohne IP- oder URL-Beschränkungen zum finanziellen Super-GAU führen können. Die Moral von der Geschichte ist klar: JEDEN API-Key, wirklich JEDEN, restriktieren – sonst wird's teuer.
Vera: Die Programmiersprache, von KI-Modellen geschrieben
Vera ist eine Programmiersprache, die explizit dafür entwickelt wurde, von KI-Modellen geschrieben zu werden. Dieser Ansatz dreht die traditionelle Softwareentwicklung um und macht maschinelle Code-Erzeugung zum primären Designziel.
KI klärt Himmelsrätsel: ML verifiziert alte Phänomene in Archivbildern
Historische Himmelsbilder zeigen flüchtige, sternähnliche Objekte, deren Natur lange umstritten war – echte Phänomene oder bloße Defekte? Jetzt setzen Forschende Machine Learning ein, um die Identifikation dieser Transienten zu präzisieren und ihre Existenz als echte astronomische Ereignisse zu validieren. Das von Experten trainierte ML-Modell liefert somit belastbare Beweise und stärkt die ursprünglichen Beobachtungen.
Constraint-Solver: Z3 macht komplexe Logik (wirklich) einfach
Dieser Artikel bietet eine 'dumme' Einführung in Z3, einem Constraint-Solver, der komplexe Probleme in handhabbare Logik verwandelt. Der Autor, selbst erst seit zwei Tagen mit Z3 vertraut, zeigt anhand von einfachen Beispielen wie Gleichungen und Sudoku, wie man Regeln festlegt und das Tool die Lösung findet. Es geht dabei nicht um maximale Performance, sondern darum, Regelsysteme spielend leicht anzupassen und zu lösen.
Terra API will mit AI das Gesundheits-Wirrwarr lösen
Terra API, der YC-Alumni, der diverse Gesundheitsdaten von Wearables und Apps aggregiert, sucht einen "Applied AI Strategist". Das ist kein Zufall: Nachdem das Datensammeln geklärt ist, geht es jetzt darum, aus diesem Berg an Infos echte "Health Intelligence" zu destillieren. Ein klarer Shift von reiner Konnektivität zur smarten Auswertung – und damit vom Rohmaterial zum Gold.
Google Gemini App jetzt für Mac OS verfügbar
Googles Gemini App ist ab sofort für Mac OS erhältlich. Die Verfügbarkeit wurde auf dem offiziellen Google-Blog 'The Keyword' angekündigt.
SIRA: KI presst Suchrunden zu einer intelligenten Aktion
Vergesst endlose Suchrunden! Ein neues Paper stellt den 'SuperIntelligent Retrieval Agent' (SIRA) vor, eine KI, die mehrstufige Informationssuche in eine einzige, zielgerichtete Retrieval-Aktion komprimiert. Anders als herkömmliche RAG-Systeme fragt SIRA nicht nur nach relevanten Begriffen, sondern identifiziert jene, die gewünschte Evidenz präzise von unnötigem Rauschen trennen. Diese 'Superintelligenz' wird durch LLMs ermöglicht, die Dokumente offline anreichern und auf Abfrageseite Evidenz vorhersagen.
AlphaEvolve: Geminis Code-Agent skaliert Einflussbereiche
Google DeepMind hat AlphaEvolve vorgestellt, einen KI-Code-Agenten, der auf Gemini basiert. Laut DeepMind soll diese KI ihren Einfluss über vielfältige Anwendungsfelder hinweg skalieren. Das unterstreicht DeepMinds Ambition, skalierbare KI-Lösungen mit weitreichender Relevanz zu entwickeln.
Atlas: Metadaten-Kontrolle für Vertrauens-Workflows
Die Atlas Trust Infrastructure beschreibt sich als metadaten-zentrierte Vertrauens-Steuerungsebene. Ihr Ziel ist die Absicherung von Workflows, die Speicherung von Nachweisen, die Freigabe von Vertrauen und der Beleg von Geschäftsabläufen.
antirez' ds4: Lokale DeepSeek 4 Flash AI-Inferenz für Metal
GitHub-Nutzer antirez hat das Projekt `ds4` veröffentlicht, eine lokale Inferenz-Engine für DeepSeek 4 Flash. Es wurde für die Ausführung auf Systemen mit Metal-Unterstützung entwickelt. Damit wird DeepSeek 4 Flash direkt auf kompatibler Hardware verfügbar.
Kuri: Web-Automatisierung für AI-Agenten mit Zig-Power
Kuri ist ein Zig-natives Tool, das speziell für AI-Agenten die Browser-Automatisierung und das Web-Crawling ermöglicht. Es bietet Funktionen wie token-effiziente CDP-Snapshots, HAR-Recording und einen eigenständigen Fetcher.
WebGPU-Power: Gemma 4 E2B zeichnet Excalidraw direkt im Browser
Diese neue Demo zeigt, wie Googles Gemma 4 E2B KI direkt im Browser – powered by WebGPU – Text-Prompts in Excalidraw-Zeichnungen verwandelt. Das 3.1 GB große Modell läuft komplett lokal auf dem Desktop (Chrome 134+). Es erzeugt kompakten Code anstelle von umfangreichen JSON-Daten für effiziente Diagramme.
Broccoli: KI-Coding-Agent für fertige PRs aus Linear-Tickets
Broccoli präsentiert sich als 'one-shot' KI-Coding-Agent, der nahtlos Linear-Tickets in fertige Pull Requests verwandelt. Betrieben durch Claude und Codex, läuft dieser Helfer auf der eigenen Google Cloud und verspricht, den Entwickler-Workflow massiv zu beschleunigen. Eine echte Abkürzung für alle, die schneller vom Ticket zum Code wollen, statt sich im Klein-Klein zu verlieren.
Können LLMs reale Systeme in TLA+ modellieren?
Das Specula-Team untersuchte, ob LLMs reale Systeme präzise in TLA+ modellieren können. Ein Versuch mit Claude zeigte: Die erzeugte TLA+-Spezifikation für Etcd war syntaktisch korrekt und bestand den Model-Check, rekapitulierte aber die Spezifikation des Raft-Papers, statt Etcd-spezifische Details abzubilden. Dies wirft die kritische Frage auf, wie man feststellt, ob eine KI ein System tatsächlich modelliert oder nur Trainingsdaten wiedergibt.
Dein nächster AI-Dev-Assistent? Dirac dominiert den TerminalBench!
Der Open-Source AI-Agent Dirac hat den renommierten TerminalBench-Benchmark auf Basis von Gemini-3-flash-preview haushoch gewonnen. Das ist kein akademischer Sieg, sondern ein klares Signal: KI-Agenten werden immer effektiver darin, über das Terminal zu interagieren und könnten schon bald unsere Entwicklungsworkflows massiv optimieren. Ein klares Zeichen, dass der "AI-Co-Worker" vom Buzzword zur Realität wird.
Pu.sh: AI-Coding-Agent Harness in 400 Zeilen Shell – Einfach geht's doch!
Pu.sh ist ein beeindruckendes Beispiel dafür, dass KI-Infrastruktur nicht komplex sein muss. Dieser von den Machern selbstironisch als 'slop cannon' bezeichnete 'coding-agent harness' ist ein vollständiges System in nur 400 Zeilen Shell, das lediglich curl, awk und einen API-Key nutzt, ganz ohne npm, pip oder Docker.
Anthropic-Repo: HERMES.md in Commits sorgt für Extra-Billing
Ein GitHub-Issue im Anthropic-Repository `claude-code` zeigt, dass die Erwähnung von 'HERMES.md' in Commit-Nachrichten dazu führt, dass Anfragen über die 'extra usage billing' abgerechnet werden, anstatt das Plan-Kontingent zu nutzen. Dieser Vorfall verdeutlicht, wie spezifische Textmuster in Entwicklungsprozessen direkte und unerwartete Kostenfolgen haben können. Die tieferen technischen Gründe bleiben im vorliegenden Auszug unbelegt.
Stash: Open-Source-Gedächtnis für jede KI – nie mehr Amnesie!
Viele KI-Agenten leiden unter digitaler Amnesie, was zu frustrierender Wiederholung und Kontextverlust führt, da sie sich an frühere Interaktionen nicht erinnern. 'Stash' bietet hierfür eine quelloffene, persistente Gedächtnisschicht, die es jedem AI-Agenten – von Claude über GPT bis zu lokalen Modellen – ermöglicht, sich sitzungsübergreifend an Kontext, Präferenzen und Fehler zu erinnern. Schluss mit dem ewigen Neuerklären: Stash macht KI-Interaktionen endlich kontinuierlich und intelligent.
DS4 & DeepSeek v4 Flash: Tweet-Quelle nicht verfügbar
Ein vielversprechender Titel über 'DS4, eine spezialisierte Inferenz-Engine für DeepSeek v4 Flash' führte ins Leere. Die verknüpfte Twitter-Quelle war aufgrund eines JavaScript-Fehlers nicht ladbar, wodurch der Inhalt und die genannten Details nicht verifiziert werden konnten. Eine fundierte Bewertung des vermeintlichen Durchbruchs bleibt daher leider aus.
Open Source lebt: Ein klares Statement von Strix.ai inmitten aktueller Debatten
Strix.ai veröffentlicht den Beitrag mit dem Titel 'Open Source Isn't Dead'. Obwohl der genaue Inhalt aus dem Quellauszug nicht hervorgeht, signalisiert dieser Titel eine starke Haltung gegen jeglichen Abgesang der freien Softwarebewegung. Die URL des Artikels platziert diese Aussage im Kontext einer Debatte, in der Cal.com seinen Code aufgrund von KI-Bedrohungen schließt.