Tech-Teardown
42ArtikelTiefenanalysen von KI-Frameworks und Tools — Was, Wie und ob es sich lohnt.
Tech Teardown 042 | Stacks: 7.500 Seiten in 16 Mio. Zeilen Lean
Axiom Math hat die vollständige formalisierung des Stacks-Projekts angekündigt – einer Referenz für offene algebraische Geometrie mit etwa 7.500 Seiten, also etwa 16 Millionen Zeilen (offizielle Selbstanzeige). Es gilt als die größte integrierte, wiederverwendbare formale Mathematikbibliothek. Ein schichtiges Netzwerk von AI-Agenten übersetzte Aussagen und erstellte Beweise; @[stacks TAG]-Mappelemente, Mehr-Agenten-Audits sowie der Lean 4-Kern sorgen dafür, dass die Bibliothek echt bleibt.
FlashProve: ZK-Beweise für KI-Inferenz, Claude-written, Lean-geprüft
Das anthropische, open-source-geschriebene FlashProve ist ein Forschungsprototyp, der zkSNARKs verwendet, um zu beweisen, dass die Antworten tatsächlich vom ausgewählten Modell stammen. Claude hat die zkSNARKs verbessert; Lean Proofs unterstützen die Sicherheitsvorstellungen. Alle Zahlen werden von den Herstellern gemeldet.
Tech Teardown 040 | Stringman: ein 795-$-Seilroboter fürs Zimmer
Stringman ist ein 795 US-Dollar teurer Raumscannender Kabelroboter von Neufangled Robotics: Vier Kabel aus den Ecken der Decke tragen eine Greifvorrichtung, die durch Winden bewegt wird – „Nur die Spannung ist notwendig.“ Es handelt sich um ein OSHWA-zertifiziertes Open-Source-Gerät mit öffentlich zugänglichem CAD-, PCB- und Steuerungssoftware sowie vollständig drahtlos fähiger lokaler KI. Optional steht auch eine Cloud-Übermittlung zur Verfügung. Die Frage nach der Entwicklung: Warum vier Aktuatoren, nicht sechs?
Tech Teardown 039 | dsh-superagent: von Agenten geschrieben
dsh-superagent ist das Forschungsprototyp des DeepSeek Harness-Teams: ein eingesetzter Programmierer, der einem GitHub-Repo dient und innerhalb von drei Tagen 13.000 Sterne erzielt hat. Ein Großteil seiner Ingenieurarbeit wurde von Programmierern erstellt. Seine Verteidigung gegen Anweisungs-Übernahmen basiert auf der Architektur, nicht auf den Anweisungen selbst – das System verfolgt Erlaubnislisten und Vorgaben, und die Berechtigungen der Nachrichten können niemals geändert werden.
Tech Teardown 038 | nibnib: Ein 4bpp-Bildformat für sechs Taktzyklen
nibnib ist das 4bpp-Bildformat von Raph Levien, das für eine extrem hohe Dekodiergeschwindigkeit entwickelt wurde: Palettendelta, zwei Pixel pro Byte, ein multiplikativer-additiver Innentrick, und es ist so gestaltet, dass es für die DVI-Ausgabe des RP2350 bei etwa sechs Taktzyklen pro Pixel geeignet ist. Die Kodierung ist absichtlich asymmetrisch (Floyd-Steinberg plus gierige Suche). Lokale Tests: 4,043 bpp, etwa 3,96x im Vergleich zu RGB565, PSNR bei etwa 36,5 dB – unsere eigenen Messungen, keine offiziellen Daten.
Tech Teardown 037 | Project Suncatcher: Googles KI im Orbit
Google’s Project Suncatcher-Prototypenavigationssatellit leistete am 30. Oktober seine erste Bodenfunktion mit Gemma 4 und sendete die Daten an eine Bodenstation. Dabei zeigte sich, dass eine gehärtete TPU nach dem Start durch Vibrationen, Strahlung und Vakuum starten, verbinden und Auswertungen vornehmen kann. Ein echtes Weltraumzentrum benötigt jedoch noch Verbesserungen in Bezug auf thermisches Management, Laserverbindungen und gemeinsames Fliegen mit anderen Satelliten.
Tech Teardown 036 | Nesformer: Ein NES in den Qwen-Gewichten
Nesformer kompiliert eine NES-CPU, RAM und ROM in die Gewichte eines Standard-Qwen3.5-Modells: Jeder Vorlauf simuliert den 6502-Chip, wobei Mario mit einer Geschwindigkeit von 1/150 bis 1/290 der echten Geschwindigkeit abgespielt wird – ohne dass eine Trainingseinheit erforderlich ist.
Tech Teardown 035 | Ropes & Gray: KI für Due Diligence im Eigenbau
OpenAI beschreibt, wie Ropes & Gray eine proprietäre Due-Diligence-Agentur auf Astra for Law entwickelt hat, um Berichte zu Problemen in Wochen auf Stunden zu komprimieren. Alle Zahlen stammen von den Anbietern; bisher gibt es keine unabhängige Bewertung.
Tech Teardown 034 | DAYJOB: Steuern: Wie weit sind AI-Agenten von
Die Steuerabwicklung ist seit langem ein Bereich, der stark von menschlichem fachlichem Urteilsvermögen abhängt. Von individuellen Steuererklärungen bis hin zu Unternehmensfusionen und Übernahmen, ...
Planet Patch: Die globale Kooperation bei der Entdeckung wichtiger Sicherheitslücken durch künstliche Intelligenz
PHP ist eine Open-Source-Sprache, die weltweit bei zahlreichen Webanwendungen verwendet wird. Von Content-Management-Systemen über E-Commerce-Plattformen bis hin zum Backend vieler kleiner und mitt...
OpenAI Mathematik-Depot: AI-Beweise, Lean-Formalisierung und 4000 Aufgaben
Im Oktober 2026 veröffentlichte OpenAI das `openai/math`-Depot auf GitHub. Im Depot befinden sich keine Trainingscode,
Hurston-1: Open-Source-TTS, der amerikanische Südstaaten-Akzent und afroamerikanisches Englisch spricht
Bewertung und Demonstration eines TTS-Modells (Text zu Sprache). Langzeitfunktionen für Standard-Amerikanischer und Standard-Englischer Akzent. Doch im echten Leben ist der Akzent viel komplexer. Kundenservice, Callcenter, Automatische Kommunikation
OpenAI führt die Bekanntgabe der wichtigen PHP-Lücke voran: Das AI-Sicherheitsreaktionsmechanismus von Patch-the-Planet
PHP ist eine quelloffene Programmiersprache, die viele weltweit verbreitete Websites und Webanwendungen unterstützt. Von WordPress bis Laravel, von kleinen und mittleren Unternehmenswebseiten bis hin zu großen...
Headroom: Das Middleware zur Kontextkomprimierung für den AI-Agenten
Am 22. Oktober hat headroomlabs-ai/headroom auf GitHub etwa 77.000 ★ Forks.
Technische Analyse 034 | DeepSeek – offene Produktions- und Reasoning-Framework DeepInfer
Der offene Produktions-Speech-Tuning-Framework von DeepSeek, DeepInfer – hinter dem großen Interesse steckt ein Code-Dump oder eine wieder verwendbare Engineering-Richtlinie?
Handwired: Das JS-Code direkt in ein neuronales Netzwerk umwandeln
Handwired kombiniert normale JavaScript-Code in neuronalale Netzwerke, die differenzierbar sind – diese können ohne Training ausgeführt werden. In diesem Artikel wird der Mechanismus, die Qualität des Entwurfs sowie die Grenzen von Handwired analysiert.
Handwired: Verwandelt normale JS-Code in ein neuronales Netzwerk, in 4 Tagen 1730 Sterne.
Der Entwickler chenglou hat den herkömmlichen JavaScript-Code in Matrix-Multiplikationen mit einem Reglu-Netzwerk umgewandelt: Ohne Training, präzise, vollständig differenzierbar – in 4 Tagen erreichte der Wert 1730 Sterne. Dieser Artikel beschreibt in sechs Abschnitten seine Identität, Mechanismus, Engineering-Qualität und Grenzen.
git-ai: Zwei Tage bis zu tausend Sternen – Open-Source-Remake von Anthrpic's Scion
Anthropic 10-13 veröffentlichte einen Blogbeitrag über das interne Versionskontrollsystem Scion. Zwei Tage später erstellte der Entwickler feder-cr ein Open-Source-Remake namens git-ai: Die Basis ist eine Fork-Version von GitLab Gitaly, mit einem neuen graft-Subsystem von ca. 75.000 Zeilen, MIT-Lizenz, binnen zwei Tagen erreichte es etwa 1.000 Sterne (GitHub search API meldet 1.057). Dieser Artikel analysiert seine Identität, Architektur, Validierung und Bewertung in sechs Abschnitten.
Tech Teardown 026｜esp32-iphone-agent: 7-Dollar-ESP32 lässt KI ein echtes iPhone bedienen
Kein Jailbreak, kein PC, kein Entwicklerkonto: Ein ca. 7-Dollar-ESP32-S3-Board als Augen und Hände, das KI-Gehirn läuft in der App auf demselben iPhone. Vier Tage 2418 Sterne, MIT-Lizenz. Dieser Artikel analysiert seine Hardware-Bridge-Architektur, das BLE-Protokoll und den dreifachen Kalibrierungs-Loop sowie die von ihm offengelegte AssistiveTouch-Angriffsfläche.
Tech Teardown 025｜pg_vectorsearch: Timescales offizieller neuer Index für Vektorsuche, 100 Millionen Vektoren in 6 Millisekunden
Timescale (Tiger Data) veröffentlicht die Open-Source PostgreSQL ANN-Erweiterung pg_vectorsearch mit selbstentwickeltem PRISM-Partitionsindex + RaBitQ-Quantisierung. Offiziellen Angaben zufolge: 100 Millionen Vektoren, 95% Recall, P50 6ms, Speicherverbrauch etwa ein Viertel von HNSW; README gibt explizit an: nur für Tests, nicht für den Produktionseinsatz.
Tech Teardown 024｜oss-scanner: Anthropics offizielles Schwachstellen-Scan-Repository, 5 Tage 960 Stars, darin jedoch keine einzige Zeile Scanner-Code
Das Repository anthropics/oss-scanner erreichte in 5 Tagen über 960 Stars mit 76 Registrierungen bedeutender Open-Source-Projekte (openssl/cpython/grafana…). Es ist kein Scanner-Code, sondern eine Registrierungstabelle + Konfigurationsprotokoll + Selbstprüfungstool: Der Scanner verbleibt auf der Anthropic-Serverseite. Sechsteilige Analyse dieser neuen Form der KI-Sicherheitsinfrastruktur.
Tech Teardown 023｜anatomy: Agent-Skillpaket mit 6300 Sternen in 5 Tagen, das „Klar erklären" zu einer interaktiven Maschine macht
wheresryan22/anatomy erreicht 6300 Sterne in 5 Tagen seit Repo-Erstellung: 173 Zeilen SKILL.md-Spezifikation + isometrische Rendering-Toolbox + acht Vorlagen, ermöglicht es Agenten wie Claude Code/Codex, Konzepterklärungen in interaktive isometrische Maschinenillustrationen umzuwandeln. Diese Analyse in sechs Abschnitten: Agent-Skills werden zur neuen Verteilungseinheit.
Tech Teardown 022｜wordcraft: Eine Person plus ein Agenten-Schwarm hat Word in fünf Tagen „rekonstruiert"
storytold/wordcraft in fünf Tagen 6000+ Sterne: Reine Rust-Clean-Room-Neuimplementierung von Microsoft Word, der Hauptbeitragende reichte in drei Tagen 57.353 Zeilen Code ein, die Roadmap-Arbeitszeit wird in „Opus 5.5 Agent Wall-Clock-Zeit“ berechnet. Analyse seines Vierer-Set-Engineering-Mechanismus und der Diskrepanz bei den selbstgemeldeten Zahlen.
Tech Teardown 021｜iPhone-use: Codex über USB ein echtes iPhone steuern lassen, 1719 Sterne in vier Tagen
Teardown des MCP-Plugins, mit dem Codex über USB ein echtes iPhone steuert: WDA-Kanal, 17+2 Tool-Oberflächen, Dual-Modus-Lokalisierung mit Screenshot-Fallback, Sicherheitsgrenzen durch getrennte Eingabe und Übermittlung. Ingenieursmuster für die Steuerung echter Geräte durch Agenten.
Technische Analyse 020｜ARTEX: Penetrationstest in den Agent-Workflow verlagert, Backup-Repo 721 Stars an einem Tag
Repository-Analyse des autonomen KI-Penetrationstest-Systems ARTEX: ereignisgesteuerter Planner, Dual-Graph-Blackboard, Interception-Approval (DELETE-Methode plus deny-Regeln für löschende Schnittstellenpfade), SHA-256-Evidenzkette. Siegerprojekt des Baidu Attack-Defense-Challenge-Wettbewerbs (laut Eigenangabe des Projekts), beschränkt auf lokale isolierte Umgebungen.
Technische Analyse 019｜openai/math: Repository-Analyse der einmaligen Open-Source-Freigabe von 722 KI-Mathematikmanuskripten durch OpenAI
Am 6. Oktober veröffentlichte OpenAI das math-Repository: 722 Manuskripte, 372 Ergebnisfamilien, Lean-Formalisierungs-Bibliothek mit 120.000 Dateien, 3.1GB. Dieser Artikel analysiert die Repository-Struktur, den Comparator-Verifizierungsprozess und dessen Grenzen – die quasi-Riemannsche Vermutung 7/8 ist ein Fortschritt, kein Rekordbruch.
mini-AGI: Ein kontinuierlich lernendes Byte-Level-Sprachmodell, trainiert von Grund auf auf einer 8GB-Grafikkarte
Am 21. September 2026 erreichte volotats mini-AGI Show HN (255 Upvotes): ein von Grund auf trainiertes, niemals eingefrorenes Byte-Level-Sprachmodell, dessen Gewichte auf der Festplatte gespeichert und bei Bedarf in den VRAM ausgelagert werden, wobei die Obergrenze der Parameteranzahl durch die Festplatte und nicht durch den VRAM bestimmt wird. Dieser Artikel analysiert sechs Aspekte: Was es ist, warum es sich anzusehen lohnt, der Mechanismus von PonderNets adaptiver Tiefe und Top-8-Experten-Routing, die Zahlen und Grenzen von 318,1 M gelesenen Zeichen bis 1,2026 Bits/Byte, die Einstiegshürde, bei der bereits eine RTX 3070 ausreicht, und die Unterscheidung zwischen Forschungsbeispielwert und Produktivitätswert. Der Autor gibt offen an, dass es sich um ein Toy-Level-Experiment handelt und die Gewichte noch nicht veröffentlicht sind.
Technik-Zerlegung 016 | jianying-headless: Das Programm öffnet CapCut für dich – kein starres Endergebnis, sondern direkt ein lokales Projektdraft
Am 15.09.2026 auf GitHub erschienen: jianying-headless holte in einer Woche 1972 Sterne ein: Es nutzt nicht FFmpeg, um ein starres Endergebnis zu backen, sondern kompiliert den JSON-Schnittplan in ein CapCut-Projektdraft, das geöffnet, weiterbearbeitet und mit der nativen Engine exportiert werden kann. Dieser Artikel zerlegt sechs Aspekte: Was ist es, warum ist es so erfolgreich, die Architektur der Hash-Prüfbrücke und deren Ingenieurs-Elegance, fünf harte Hürden, sechs selbst aufgelistete Einschränkungen, für wen es geeignet ist. Die Lizenz erlaubt persönliches Lernen und nicht-kommerzielle Verwendung; kommerzielle Nutzung erfordert die schriftliche Genehmigung des Autors.
Technische Analyse 015 | Jev: Ein Modell, das nicht plaudern kann, und die zwei Wetten darum herum
Jev ist das am 15. September von TypeSafe AI veröffentlichte Modell: Transformer-Architektur, generiert aber keinen Text, gibt nur drei typisierte Antworten plus kalibrierte Wahrscheinlichkeiten zurück. Offizielle Angaben: 193,6-mal schneller, 444,6-mal günstiger (Selbsttests); Drittparteitests zeigen ca. 5-18-mal. Dieser Artikel zerlegt den Mechanismus, die Lesart, die Ökosystem-Integration in vier Tagen und vier Wege zum Einstieg.
Bestätigter Supply-Chain-Angriff im „Anti-KI-Tool“ mit 729★: In main.py verbirgt sich eine C2-Adresse
Das text-humanizer-Repository, das auf GitHub innerhalb von drei Tagen 729 Sterne erhielt, wurde durch statische Analyse als Supply-Chain-Angriff bestätigt: Die im README versprochene Übersetzungs-Pipeline läuft gar nicht; stattdessen wird in Zeile 12 von main.py eine verschlüsselte Payload ausgeführt, die sofort beim Import eine Verbindung zu einem fest codierten C2-Server herstellt. Es infiziert nur Windows, und das Modul der zweiten Stufe wird im Speicher ausgeführt, ohne auf die Festplatte zu schreiben. Statische Analyse ohne Ausführung von Code.
fast-jev-compaction Analyse: Claude Codes Kompression auf das Schreiben von Zusammenfassungen verzichten lassen
Die Kontextkompression von Claude Code schreibt standardmäßig Zusammenfassungen; dieses Plugin mit 3206 Sternen in zwei Tagen macht nur Löschungen. 25 Dateien, ca. 1850 Zeilen TypeScript: Zwei Ja/Nein-Fragen vom Typ „noul“, ein Schwellenwert von 0,5 – die Entscheidung „Behalten oder Löschen“ für jeden Tool-Aufruf wird einem Wahrscheinlichkeitsmodell überlassen.
OpenResearch-Zerlegung: Ein lokales Arbeitsverzeichnis, das Claude Code in einen Forschungs-Agenten verwandelt
alphaXiv/OpenResearch bewies mit 4941 Sternen die "Git-isierung der Forschungspipeline": Experimentbaum, Playbook-Injektion und 12 Forschungs-Skill-Module verwandeln Coding-Agents in Forschungs-Agents.
Tech-Teardown 011｜OpenCodeReview: Alibis Open-Source-Code-Review-Tool mit Hybridarchitektur — halb harte Engineering-Constraints, halb dynamische Agent-Entscheidungen
Tech-Teardown 011: Alibis Open-Source-Projekt open-code-review gewinnt an einem einzigen Tag 3,231 Sterne. Deterministisches Engineering zementiert die Abschnitte, die ‚niemals schiefgehen dürfen', der Agent trifft nur dynamische Entscheidungen: selectFiles als reine Funktion, ein Doppelventil beim Datei-Bundling, zweistufige Retries bei der Kommentar-Positionierung bis hinunter zur Quellcode-Zeilennummer – der Token-Bedarf beträgt nur 1/9 eines generischen Agents.
Technischer Teardown 010｜Java 27: Drei neue Features direkt am Quellcode zerlegt – 64-Bit-Objekt-Header, Pattern Matching für primitive Typen, strukturierte Nebenläufigkeit
Die meisten Berichte über JDK 27 bleiben beim Pressetext stehen. Dieser Artikel zeigt direkt den Quellcode: wie markWord.hpp den Objekt-Header von 96 bits auf 64 bits komprimiert, wie javac instanceof int desugart und was die Standardstrategie von StructuredTaskScope ist. Drei neue Features, zerlegt bis hinunter zu den Zeilennummern des Quellcodes.
Technische Analyse 009｜RLT: Dem Transformer eine Zeitschleife geben, latente Variablen-Inferenz und das wahre Gesicht der 'unendlichen zeitlichen Tiefe'
Technische Analyse 009: Recurrent Looped Transformer (RLT) tauscht gegen einen über Token hinweg zirkulierenden latenten Variablenzustand 'unendliche zeitliche Tiefe' ein – 48-lagiger Encoder mit globalem Gedächtnis plus 48-lagiger Decoder mit gleitendem Fenster-Feedback, Training und Inferenz nutzen dieselbe Ausführungssemantik. Etwa 743 Sterne in drei Tagen – kauft man die Idee oder das Engineering?
Kiro Crew: AI-Programmierung von einmaligen Gesprächen zu einem bleibenden Kollegen machen
Technik-Analyse 008: Kiro-Crew-Quellcode-Analyse – fünf Arten von Speichern, drei Wecker (Cron/Herzschlag/Auto-Erinnerung), übergreifende Ausführungsübergabe und dreistufige Skill-Festigung, die wahre Größe und die Auswahlgrenzen hinter 3.891 Stars.
PagedAttention von vLLM: Wie Speicherverwaltung die Inferenz großer Modelle trägt
Technischer Deep-Dive 007: Quellcode-Analyse von KV-Cache-Paging, Blocktabellen, Präfix-Hash-Ketten und V1-Scheduler, Analyse des 2-4× Durchsatzanspruchs, Auswahlvergleich mit SGLang und ein Sechs-Schritte-Plan für den Eigenbau.
TimesFM 3.0: Nachdem Google die Zeitreihenvorhersage „LLM-isiert“ hat
Technischer Deep-Dive 006: Architektur-Analyse auf Quellcode-Ebene von Stacked Mixing Transformer, RevIN und CPM, drei Realitätschecks, Implementierungspfade und Eigenbau-Lösungen.
OmniRoute: Ein Endpunkt, 300+ KI-Anbieter — Gratis-Kontingente als Infrastruktur
Teardown des Open-Source-Gateways: 19 Strategien, 4-stufiger Fallback, Kompression, Vergleich, DIY.
Technik-Demontage 003｜ECC: Das „KI-Programmierbetriebssystem“ mit 250.000 Sternen, das Disziplin in Agenten bringt
Yongliang spricht Klartext über Beruf und Technik im Zeitalter der KI.
Technik-Demontage 002｜hyperframes: Schreibe HTML und erhalte Videos – HeyGen hat die Videowiedergabe als Open-Source-Projekt veröffentlicht
Yongliang spricht offen über Beruf und Technik im Zeitalter der KI.
Technik-Demontage 001｜ponytail: Der „faule Senior-Entwickler“, der KI dazu bringt, halb so viel Code zu schreiben
Yongliang spricht Klartext über Beruf und Technik im Zeitalter der KI.