Suche
Wasm & Apple Silicon: KI-Turboboost dank Zero-Copy-GPU-Power
Ein cleverer Trick macht KI-Inferenzen auf Apple Silicon blitzschnell: Statt Daten zwischen CPU und GPU zu kopieren, nutzen Entwickler jetzt Apples Unified Memory Architektur direkt aus WebAssembly. Das bedeutet Zero-Copy-Power, die Performance-Engpässe bei ML-Modellen radikal eliminiert und eine neue Ära für effiziente KI-Anwendungen einläutet.
Swift: Von GFLOP/s zu TFLOP/s für LLM-Training auf Apple Silicon
Ein Entwickler zeigt, wie er die handgeschriebene Matrix-Multiplikation für LLM-Training in Swift auf Apple Silicon von GFLOP/s zu TFLOP/s katapultiert. Dies geschieht explizit ohne Frameworks oder Bibliotheken, um die CPU, SIMD, AMX und GPU direkt zu nutzen. Das Ziel: Swift schneller als die C-Referenzimplementierung llm.c zu optimieren.
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.
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.
LLMs: Schluss mit Typen-Chaos nach der Generierung?
Large Language Models erzeugen zunehmend Code für Sprachen wie Idris oder Lean. Aktuell produzieren sie jedoch untypisierte Token-Listen, deren Typsicherheit erst nachträglich und ad-hoc geprüft wird. Der Artikel hinterfragt diese "Post-Training"-Methoden und schlägt vor, LLMs von Grund auf für die direkte Erzeugung typisierter Ausgaben zu trainieren.
LLMs auf Diät: Intels AutoRound macht KI-Modelle schlanker
Intels neues 'AutoRound'-Verfahren ist ein Quantisierungsalgorithmus, der Large Language Models (LLMs) drastisch verkleinern soll, bei gleichzeitigem Erhalt ihrer Genauigkeit. Das ist entscheidend, denn effizientere, schlankere Modelle lassen sich auf weniger leistungsstarker Hardware betreiben und senken so die Betriebskosten. Ein echter Boost für alle, die KI-Anwendungen skalieren wollen, ohne dafür ein Rechenzentrum bauen zu müssen.
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.
Zig verbietet KI-Code: Investition in menschliche Contributor
Das Zig-Projekt hat eine der strengsten Anti-KI-Richtlinien in Open Source und verbietet LLM-generierte Beiträge in Issues und Pull Requests. Diese Haltung basiert auf der Überzeugung, dass das Projekt in seine Beitragenden investiert und deren Entwicklung fördert, auch wenn PRs anfänglich unvollkommen sind – ein Ansatz, der menschliches Lernen priorisiert.
LLMs: Milliarden-Token-Kontext – Das Ende der Denk-Lücken?
Der Milliarden-Token-Kontext ist das nächste Schlachtfeld der LLM-Entwicklung, denn nur so können KIs wirklich komplexe Inhalte über ganze Bücher oder Codebasen hinweg erfassen. Bisher bremste das quadratische Skalierungsproblem der Attention-Mechanismen, aber neue Architekturen wie Mamba und Tricks wie FlashAttention weisen den Weg. Das Ziel? Eine Ära, in der LLMs zu echten kognitiven Partnern werden, die nicht nur Fragen beantworten, sondern den gesamten Kontext verstehen.
Apple's ml-sharp im Browser: Gaussian Splats via ONNX Runtime Web
Ein neues GitHub-Projekt präsentiert ein Web-Playground, das Apples ml-sharp Modell im Browser zum Laufen bringt. Ziel ist die Erstellung von Gaussian Splats direkt im Browser, realisiert mithilfe von ONNX Runtime Web. Damit wird eine spezifische 3D-Rekonstruktions-Technologie von Apple clientseitig zugänglich gemacht.
LLMs jagen Bugs: Kernel-Devs schmeißen alte Code-Last ab
Große Sprachmodelle (LLMs) generieren eine Flut von Sicherheitsberichten für den Linux-Kernel, was die Entwickler zunehmend überfordert. Um diese Meldungsflut für oft ungenutzten oder unzureichend gewarteten Code zu bewältigen und ihre "Sanity zu schützen", entfernen Kernel-Entwickler nun gezielt ganze Subsysteme wie ISA-Ethernet-Treiber und das Amateurfunk-Protokoll AX.25. Dies ist eine direkte, defensive Reaktion auf die neue Herausforderung durch AI-generierte Bugs.
Mythos widerlegt: LLMs sind keine höhere Abstraktionsebene
Entgegen der verbreiteten Annahme sind LLMs keine logische nächste Abstraktionsebene, wie es Schritte von Binary zu Python waren. Der Artikel betont, dass frühere Abstraktionen stets deterministische Funktionen (f(x) -> y) darstellten. LLMs hingegen liefern nur die Wahrscheinlichkeit eines Ergebnisses (f(x) -> P(y)) und sind somit grundlegend anders.
KI-Inferenz: 10% schneller dank cleverem GPU-Cache in SGLang
Multimodale KI-Modelle sind vielversprechend, aber ihre Inferenz-Engines noch nicht optimiert. Modal.com demonstriert, wie SGLang’s Performance um über 10% gesteigert wurde, indem aufwendige Buchhaltung für geteilten GPU-Speicher durch einen einfachen Cache-Lookup im Scheduler ersetzt wurde. Dieser sogenannte 'Handle Cache' führte zu signifikanten Verbesserungen bei Durchsatz und Latenz auf multimodalen Workloads.
ProgramBench: LLMs brauchen ganzheitliches Code-Verständnis
Der neue Benchmark ProgramBench misst die Fähigkeit von Software-KI-Agenten zur ganzheitlichen Softwareentwicklung. Dabei müssen Agenten, ausgehend von einem Programm und seiner Dokumentation, eine neue Codebasis von Grund auf architekturieren und implementieren, die dem Referenzverhalten entspricht. Dies erfordert komplexe Software-Architekturentscheidungen, die von bisherigen Benchmarks nicht abgedeckt werden.
SDL untersagt KI-Commits mit 'LLM Policy?'
Im SDL-Projekt auf GitHub wird unter Issue #15350 eine 'LLM Policy?' diskutiert. Laut Artikelbeschreibung resultiert dies in einem Verbot für von KI generierte Code-Commits. Der bereitgestellte Quellauszug enthält jedoch keine weiteren Details zu den Beweggründen oder Inhalten dieser Policy.
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.
Die LLM-Blackbox entschlüsselt: Ein visueller Karpathy-Guide
Dieser interaktive, visuelle Guide, basierend auf Andrej Karpathys technischem Deep Dive, erklärt verständlich, wie große Sprachmodelle wie ChatGPT tatsächlich gebaut werden. Er führt von der Datensammlung und -filterung über die Tokenisierung bis hin zur gesamten Trainings-Pipeline. Eine klare und detaillierte Ressource für alle, die das Innenleben von LLMs von Grund auf verstehen wollen.
LLM selber trainieren: Die Blackbox wird transparent.
Vergiss die Blackbox! Dieses GitHub-Projekt liefert einen praxistauglichen Blueprint, um ein LLM von Grund auf zu trainieren. Es ist kein Shortcut zu einem fertigen Modell, sondern ein tiefgreifender Guide für alle, die wirklich verstehen wollen, wie generative KI unter der Haube tickt, statt nur APIs zu konsumieren.
LLMs wandeln Wissenschaftssätze in JSON: Bedeutungstreue bestätigt
LLMs beweisen sich erneut als Struktur-Talente: Eine aktuelle Studie untersuchte, ob sie wissenschaftliche Sätze in hierarchische JSON-Formate überführen können, ohne deren Bedeutung zu verlieren. Ein feinjustiertes LLM generierte solche JSONs, die dann wiederum Text rekonstruierten. Der Vergleich zeigte klar: Hierarchische Formate können die Informationen wissenschaftlicher Texte effektiv bewahren.