Suche
Datalog im GPU-Turbomodus: So wird Logik endlich rasend schnell
Datalog, die oft unterschätzte Sprache für komplexe rekursive Queries, bekommt endlich ihren wohlverdienten Performance-Boost. Eine neue Studie zeigt, wie man Datalog-Programme auf GPUs optimieren kann, um selbst anspruchsvolle Logik-Abfragen massiv zu beschleunigen. Das ist ein Game-Changer für Bereiche wie statische Code-Analyse oder Datenbanken, wo Geschwindigkeit entscheidend ist.
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.
Datenbanken sind nicht für autonome KI-Agenten konzipiert
Datenbanken basieren auf einem stillschweigenden Vertrag, der menschlich erstellte, deterministische und vorhersehbare Abfragen voraussetzt. Autonome KI-Agenten verletzen diesen Pakt fundamental, indem sie eigenständig unvorhersehbare Queries generieren. Dies zwingt zum Umdenken, wie wir unsere Datenarchitektur im Kern aufbauen.
MiniZinc: Die High-Level-Sprache für diskrete Optimierung
MiniZinc ist eine High-Level-Sprache zur Modellierung von Constraint-Problemen, die es erlaubt, diskrete Optimierungsprobleme präzise auszudrücken und zu lösen. Sie zeichnet sich durch lesbare, intuitive logische Konstrukte, Typensicherheit und Solver-Unabhängigkeit aus und vereinfacht mit einer großen Bibliothek vordefinierter Constraints die Modellierung komplexer Beziehungen wie Routenplanung oder Stundenplangestaltung.
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.
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.
Claude als IP-Stack: Wie weit lässt sich KI für Netzwerk-Logic pushen?
In einem faszinierenden Experiment treibt Adam Dunkels die Idee, dass Markdown Code ist, auf die Spitze: Er instruiert Claude Code, als User-Space IP-Stack auf Pings zu antworten. Die LLM soll IP-Pakete byte für byte parsen und replizieren, ein Ansatz, den Dunkels selbst als 'ridikulös' und 'tokenverschwenderisch', aber auch 'lustig' beschreibt. Das generierte Skript zur Paketverarbeitung sieht einen 35-Sekunden-Timeout für das Lesen eines Pakets vor, was die theoretische Natur dieses tiefgreifenden LLM-Einsatzes unterstreicht.
Code verstehen: Interaktive Wissensgraphen mit KI
Das GitHub-Projekt 'Understand Anything' transformiert Code und Wissensdatenbanken in interaktive Wissensgraphen. Nutzer können diese Graphen erkunden, durchsuchen und direkt Fragen stellen, um komplexe Inhalte besser zu erfassen. Das Tool funktioniert mit gängigen KI-Code-Assistenten wie Claude Code, Copilot und Gemini CLI, mit dem Ziel, Wissen aktiv zu vermitteln statt nur zu präsentieren.
Mistral: 14 Mrd. $ AI-Imperium – erfolgreich, weil nicht US-amerikanisch.
Das französische Unternehmen Mistral hat sich zu einem beeindruckenden $14 Mrd. AI-Imperium entwickelt. Ihr Erfolg wird explizit darauf zurückgeführt, *nicht* amerikanisch zu sein. Dies demonstriert, dass geopolitische Identität und strategische Positionierung im globalen AI-Wettrennen von entscheidender Bedeutung sein können.
Copy Fail: Nicht AI-relevant für flinkbase.com
Die Story 'Copy Fail' (CVE-2026-31431) beschreibt einen kritischen Linux-Kernel-Exploit, der seit 2017 unentdeckt ist und gängige Distributionen betrifft. Da die Meldung keinerlei direkten Bezug zu KI/ML hat, ist sie für einen AI News Digest wie flinkbase.com thematisch ungeeignet.
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-Mitarbeiter: Claude CLI-Nutzung für OpenClaw wieder erlaubt
Anthropic-Mitarbeiter haben dem OpenClaw-Team mitgeteilt, dass die Nutzung des Claude CLI im OpenClaw-Stil wieder erlaubt ist. OpenClaw behandelt diese Integration als sanktioniert, solange Anthropic keine neue offizielle Richtlinie veröffentlicht. Für langfristige Gateway-Hosts bleiben Anthropic API-Keys der klarere und vorhersehbarere Produktionsweg.
GovernGPT (YC W24): Kommt die KI zum Denken nach Montreal?
Das frische YC-Startup GovernGPT (W24-Batch) sucht Backend Engineers in Montreal, um 'Thinking Systems' zu bauen. Das klingt nicht nach smarter Software, sondern nach der Infrastruktur für KI, die tatsächlich planen, überlegen und zielgerichtet handeln kann. Ein ambitioniertes Vorhaben, das die Grenzen dessen, was wir von AI erwarten, neu definieren könnte.
KI-Launen: Claude Code wird wählerisch bei Code-Commits
Theo Browne scherzt: Die KI "Claude Code" weigert sich oder verlangt extra, wenn "OpenClaw" in deinen Commits auftaucht. Obwohl das Satire ist, trifft es einen Nerv: Wie sehr können wir darauf vertrauen, dass KI unvoreingenommen agiert und nicht subtil durch ihre Trainingsdaten oder Geschäftsinteressen beeinflusst wird? Ein humorvoller Gedanke, der uns aber an die Notwendigkeit von Transparenz und Kontrolle bei der KI-Entwicklung erinnert.
DeepClaude: Code-Agentenloop 17x günstiger dank DeepSeek V4 Pro
DeepClaude ist ein GitHub-Projekt, das den autonomen Agenten-Loop von Claude Code nutzt. Es ermöglicht die Anbindung an günstigere Backends wie DeepSeek V4 Pro oder OpenRouter und verspricht dabei die gleiche Nutzererfahrung. Das Tool zielt darauf ab, die Kosten für die KI-Code-Erstellung um das 17-fache zu senken.
AI fürs Code-Chaos: 10 Subagenten navigieren 500K Zeilen Clojure
Metabase stand vor dem Berg einer 500.000 Zeilen Clojure-Codebasis – ein Albtraum für jede Wartung. Statt auf eine Generalisten-KI zu setzen, bauten sie zehn spezialisierte Subagenten, die sich das Monstrum Stück für Stück vorknöpfen. Das zeigt eindrucksvoll: Smarte AI-Architektur schlägt rohe Rechenkraft, wenn es darum geht, komplexe Tech-Probleme zu lösen.
Amateur (23) löst 60-Jahre-Mathe-Rätsel – GPT-5.4 mit neuem Weg
Liam Price, ein 23-jähriger Amateur ohne Mathematik-Ausbildung, hat ein 60 Jahre altes Erdős-Problem gelöst. Er nutzte dafür eine ChatGPT Pro-Subskription (GPT-5.4 Pro), welche auf einen einzigen Prompt hin eine Lösung mit einer völlig neuartigen Methode lieferte. Das zeigt, wie generative KI selbst komplexe mathematische Herausforderungen meistern kann, wo menschliche Intuition bisher an Grenzen stieß.
Europas Finanzelite: Über 27 Mrd. Dollar trotz Menschenrechts-Kritik in Palantir
Trotz massiver Kritik an Palantir wegen Dienstleistungen für die US-Einwanderungsbehörde ICE, die israelische Armee und wiederholter Menschenrechtsverletzungen, sowie der antidemokratischen Haltung von Gründer Peter Thiel, haben über 100 europäische Finanzinstitute ihre Investitionen drastisch erhöht. In den letzten zwölf Monaten wuchs ihr kombinierter Anteil um über 60%, was die Gesamtinvestition auf mehr als 27 Milliarden Dollar treibt. Die Fakten zeigen: Ethische Bedenken scheinen die europäischen Anlagestrategen nicht abzuschrecken.
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.
Claude: Ständiger Malware-Reminder blockiert Subagenten wieder
Im Claude-Code-Repository von Anthropic wurde eine Regression festgestellt: Eine Malware-Erinnerung, die bei jedem Lesevorgang auftritt, führt erneut dazu, dass nachgeschaltete 'Subagenten' die Weiterverarbeitung verweigern. Ein zuvor implementierter Fix, der in Version v2.1.92 enthalten war, scheint in der aktuellen Version v2.1.111 nicht mehr zu greifen.