Tech Teardown
38articlesAnalyses approfondies de frameworks et outils IA — quoi, comment, et si ça vaut le coup.
Tech Teardown 042 | Stacks : 7 500 pages en 16 M de lignes Lean
Axiom Math a annoncé la formalisation complète du projet Stacks, un référentiel de géométrie algébrique ouvert comptant environ 7 500 pages – soit environ 16 millions de lignes (données officielles), et qui est présenté comme la plus grande bibliothèque mathématique intégrée et réutilisable. Un groupe de agents AI à plusieurs niveaux a traduit les énoncés et construit des preuves ; les mappages @[stacks TAG], les audits multi-agents et le noyau Lean 4 garantissent son authenticité.
Tech Teardown 041 | FlashProve : l'inférence IA sous preuves ZK
FlashProve, un logiciel ouvert et anthropique, est un prototype de recherche qui utilise des zkSNARKs pour prouver que les réponses proviennent bien du modèle choisi. Claude a amélioré les zkSNARKs ; Lean vérifies la sécurité des affirmations. Toutes les données sont rapportées par les fabricants.
Tech Teardown 040 | Stringman : un robot à câbles à 795 $
Stringman est un robot câblé de 795 dollars conçu par Neufangled Robotics : quatre câbles situés aux coins du plafond soutiennent une griffe qui se déplace en se tordant – « La tension est tout ce dont vous avez besoin ». Il s’agit d’un logiciel open source certifié OSHWA, avec des logiciels de CA, de fabrication de PCB et de contrôle publics, une intelligence artificielle locale entièrement démontable, et un relais en nuage optionnel. La question à poser concernant le démontage : pourquoi quatre actuatrices, et pas six ?
Tech Teardown 039 | dsh-superagent : écrit par des agents
dsh-superagent est le prototype de recherche de l’équipe DeepSeek Harness : un agent de codage dédié à un dépôt GitHub, avec 13 000 stars en trois jours, et une grande partie de son ingénierie réalisée par des agents de codage. Sa défense basée sur l’injection de prompts se trouve dans l’architecture, et non dans les prompts eux-mêmes – l’hôte impose des listes d’autorisation et des exigences, et les messages ne peuvent jamais changer de permissions.
Tech Teardown 038 | nibnib : un format d'image 4bpp pour six cycles
nibnib est le format d’image 4bpp de Raph Levien conçu pour une vitesse de décodage extrême : des delta de palette, deux pixels par octet, un boucle interne de multiplication et addition, et il est conçu pour une sortie DVI RP2350 avec environ six cycles de clock par pixel. L’encodage est délibérément asymétrique (Floyd-Steinberg plus recherche gourmande). Tests locaux : 4,043 bpp, environ 3,96x par rapport à RGB565, PSNR d’environ 36,5 dB – mesures de notre part, pas des statistiques officielles.
Tech Teardown 037 | Suncatcher : l'IA de Google dans l'espace
Le prototype de satellite Project Suncatcher de Google a réalisé sa première réaction en orbite le 30 octobre avec Gemma 4, et l’a transmis à une station terrestre. Cela a montré qu’un TPU renforcé peut démarrer, se connecter et interpréter les données malgré les vibrations, les radiations et le vide présents après le lancement. Un véritable centre de données spatiale doit encore améliorer la gestion thermique, les liaisons laser et la navigation en formation.
Tech Teardown 036 | Nesformer : une NES dans les poids de Qwen
Nesformer compile un processeur NES, de la mémoire RAM et de la mémoire ROM dans les paramètres d’un modèle Qwen3.5 standard : chaque passage en avant simule le chip 6502, permettant à Mario de fonctionner à une vitesse de 1/150 à 1/290 de la vitesse réelle, sans besoin de formation particulière.
Tech Teardown 035 | Ropes & Gray : l'IA passe à la due diligence
OpenAI détaille comment Ropes & Gray a développé un agent de diligence due sur Astra for Law, permettant de compresser les rapports à l’échelle des problèmes de plusieurs semaines en quelques heures. Tous les chiffres proviennent des fournisseurs ; aucune évaluation indépendante n’a encore été effectuée.
Tech Teardown 034 | DAYJOB: Impôts : À quelle distance se trouvent
Le travail fiscal est depuis longtemps un domaine fortement dépendant du jugement professionnel humain. Des déclarations fiscales individuelles aux fusions et acquisitions d’entreprises, des transa...
Patch the Planet : La réponse collaborative mondiale lorsque les agents d’IA découvrent des vulnérabilités cruciales
PHP est un langage de script open source qui soutient une grande quantité d’applications web à l’échelle mondiale. Il est utilisé dans des systèmes de gestion de contenu, des plateformes de commerc...
Headroom : Le middleware utilisé pour la compression du contexte de l'agent AI
Le 22 octobre, headroomlabs-ai/headroom a reçu environ 77 000 ★ likes et forks sur GitHub.
Analyse technique 034 | Le framework de raisonnement open source DeepInfer de DeepSeek
Der framework de raisonnement ouvert DeepInfer développé par DeepSeek : derrière cette popularité, s’agit-il d’un dump de code ou d’une solution technique reproductible ?
Handwired : Écrire le code JS de manière manuelle, comme s’il s’agissait d’une réseau de neurones
Handwired convert normal JavaScript code into neural networks that can be differentiated, allowing it to execute without training. This article analyzes its mechanism, its engineering quality, and its limitations.
Handwired : Transforme du code JS ordinaire en réseau de neurones, 1730 étoiles en 4 jours.
Le développeur chenglou a transformé du code JavaScript ordinaire en multiplication matricielle avec un réseau de neurones de reglu : sans entraînement, précis, totalement différentiable, atteignant 1730 étoiles en 4 jours. Cet article décrit en six parties son identité, son mécanisme, sa qualité de développement et ses limites.
git-ai deux jours pour mille étoiles : une réimplémentation open source de Scion d'Anthropic
Le blog de design d'Anthropic 10-13 a divulgué le système de contrôle de version interne Scion, et deux jours plus tard, le développeur feder-cr a créé une réimplémentation open source git-ai : la base est une branche de GitLab Gitaly, avec environ 75 000 lignes ajoutées au sous-système graft, licence MIT, monté à environ 1 000 étoiles en deux jours. Cet article décompose sa personnalité, architecture, validation et jugement en six parties.
Tech Teardown 026｜esp32-iphone-agent：Un ESP32 à 7 $ permet à l'IA de manipuler un véritable iPhone
Pas de jailbreak, pas d'ordinateur, pas de compte développeur : une carte ESP32-S3 d'environ 7 $ fait office d'yeux et de mains, le cerveau de l'IA s'exécute dans l'app du même iPhone. 2418 étoiles en quatre jours, licence MIT. Cet article décortique son architecture de pontage matériel, son protocole BLE et sa boucle de calibration triple, ainsi que la surface d'attaque AssistiveTouch qu'il expose.
Tech Teardown 025｜pg_vectorsearch : Nouvel index de recherche vectorielle officiel de Timescale, 100 millions de vecteurs en 6 millisecondes
Timescale (Tiger Data) open-source l'extension ANN PostgreSQL pg_vectorsearch, avec son index partitionné PRISM développé en interne + la quantification RaBitQ. Selon les chiffres officiels, 100 millions de vecteurs avec 95 % de rappel P50 en 6 ms et une mémoire d'environ un quart de celle de HNSW ; le README indique clairement qu'il est uniquement destiné aux tests et ne doit pas être utilisé en production.
Tech Teardown 024｜oss-scanner : Dépôt officiel de scan de vulnérabilités d'Anthropic, 960 étoiles en 5 jours, sans aucune ligne de code de scanner à l'intérieur
anthropics/oss-scanner a dépassé les 960 étoiles en 5 jours depuis sa création, avec 76 projets open source majeurs enregistrés (openssl/cpython/grafana…). Ce n'est pas du code de scanner, mais un registre + protocole de configuration + outil d'auto-vérification : le scanner reste du côté du service d'Anthropic. Déconstruction en six parties de cette nouvelle forme d'infrastructure de sécurité IA.
Tech Teardown 023｜anatomy : pack de compétences d'agent à 6300 étoiles en 5 jours, transformer « expliquer clairement » en une machine interactive
wheresryan22/anatomy atteint 6300 étoiles 5 jours après sa création : spécification SKILL.md de 173 lignes + boîte à outils de rendu isométrique + huit modèles, permettant à des agents comme Claude Code/Codex de transformer l'explication de concepts en illustrations de machines isométriques interactives. Cet article le démonte en six parties : la compétence d'agent est en train de devenir la nouvelle unité de distribution.
Tech Teardown 022｜wordcraft : une personne et un groupe d'agents ont « recréé » un Word en cinq jours
storytold/wordcraft 6000+ étoiles en cinq jours : réimplémentation clean room de Microsoft Word en Rust pur, le contributeur principal a soumis 57 353 lignes de code en trois jours, la feuille de route évalue le temps de travail en « temps horloge d'agent Opus 5.5 ». Décryptage de ses mécanismes d'ingénierie en quatre volets et de l'écart avec les chiffres auto-déclarés.
Tech Teardown 021｜iPhone-use : Permettre à Codex de contrôler un véritable iPhone via USB, 1719 étoiles en quatre jours
Déconstruction du plugin MCP permettant à Codex de contrôler un véritable iPhone via USB : canal WDA, interface à 17+2 outils, localisation bimode avec repli sur capture d'écran, limite de sécurité séparant la saisie de la soumission. Un modèle d'ingénierie pour le contrôle d'appareils réels par un agent.
Déconstruction technique 020｜ARTEX : Tests de pénétration intégrés au flux de travail des agents, dépôt de sauvegarde à 721 étoiles en un jour
Déconstruction du dépôt d'ARTEX, système de test de pénétration autonome par IA : Planner (planificateur) piloté par les événements, tableau noir à double graphe, approbation par interception (règle de refus (deny) sur la méthode DELETE et les chemins d'interface de type suppression), chaîne de preuves SHA-256. Projet champion du défi d'attaque et de défense de Baidu (selon la description du projet), limité à un environnement local isolé.
Analyse technique 019｜openai/math : Analyse du dépôt où OpenAI rend open source 722 manuscrits mathématiques d'IA en une seule fois
Le 6 octobre, OpenAI rend public le dépôt math : 722 manuscrits, 372 familles de résultats, bibliothèque formalisée Lean de 120,000 fichiers, 3.1GB. Cet article analyse la structure du dépôt, le processus de vérification Comparator et ses limites — l'hypothèse quasi de Riemann 7/8 est une avancée, pas un record battu.
mini-AGI : un modèle de langage au niveau octet en apprentissage continu, entraîné de zéro sur un GPU 8 Go
21 septembre 2026, le mini-AGI de volotat a été publié sur Show HN (255 votes favorables) : un modèle de langage au niveau octet entraîné de zéro, jamais gelé, dont les poids sont stockés sur disque et paginés dans la mémoire vidéo à la demande, la limite de paramètres étant déterminée par le disque et non par la mémoire vidéo. Cet article décompose six aspects : ce que c'est, pourquoi ça vaut le coup, le mécanisme de profondeur adaptative de PonderNet et de routage top-8 d'experts, les chiffres et les limites de 318,1 M de caractères lus jusqu'à 1,2026 bits/octet, la barre d'entrée accessible sur un RTX 3070, et la distinction entre valeur d'échantillon de recherche et valeur de productivité. L'auteur affirme clairement qu'il s'agit d'une expérience de niveau jouet, les poids n'ont pas encore été publiés.
Déconstruction technique 016｜jianying-headless : laisser le programme ouvrir Jianying à votre place — ne pas figer le montage final, générer directement un brouillon de projet local
Apparu sur GitHub le 2026-09-15, jianying-headless a obtenu 1972 étoiles en une semaine : au lieu d''utiliser FFmpeg pour figer le montage final, il compile un plan de montage JSON en un brouillon de projet que Jianying Pro peut ouvrir, modifier et exporter avec le moteur local. Cet article déconstruit six aspects : de quoi il s''agit, pourquoi il est populaire, le purisme architectural du pontage par vérification de hachage, cinq prérequis stricts, six limites auto-déclarées et à qui il est destiné. La licence est pour l''apprentissage personnel et l''utilisation non commerciale ; l''utilisation commerciale nécessite l''autorisation écrite de l''auteur.
Démontage technique 015｜Jev : un modèle qui ne sait pas discuter, et les deux paris autour de lui
Jev est un modèle publié par TypeSafe AI le 15 septembre : une architecture transformer qui ne génère aucun texte, ne renvoie que trois types de réponses typées plus des probabilités calibrées. Les affirmations officielles de rapidité x193,6 et de coût x444,6 sont basées sur des tests internes ; les tests tiers indiquent environ 5 à 18 fois. Cet article démonte le mécanisme, la lecture des chiffres, l'intégration de l'écosystème en quatre jours et quatre chemins pour démarrer.
L'« outil anti-saveur IA » à 729 étoiles confirmé malveillant : une adresse C2 cachée dans main.py
text-humanizer sur GitHub, qui a récolté 729 étoiles en trois jours, a été démonté statiquement et confirmé comme un échantillon d''empoisonnement de la chaîne d''approvisionnement : le pipeline de traduction et réécriture promis dans le README ne fonctionne tout simplement pas. Ce qui fonctionne réellement, c''est la charge utile chiffrée exécutée dès l''importation à la ligne 12 de main.py — connexion à un serveur C2 codé en dur, n''infecte que Windows, module de deuxième étape exécuté en mémoire sans écriture sur disque. Analyse statique tout au long, aucun échantillon de code n''a été exécuté.
fast-jev-compaction décortiqué : faire abandonner la rédaction de résumés à la compression de Claude Code
La compression de contexte de Claude Code rédige des résumés par défaut, mais ce plugin à 3206 étoiles en deux jours ne fait que des suppressions. 25 fichiers, environ 1850 lignes de TypeScript : deux questions noul, un seuil de 0,5, laissant à un modèle probabiliste le soin de décider du sort de chaque appel d''outil : « garder ou supprimer ».
Démontage d'OpenResearch : transformer Claude Code en espace de travail local prioritaire pour les agents de recherche
Avec 4941 étoiles, alphaXiv/OpenResearch prouve la « git-isation du pipeline de recherche » : arbres d'expériences, injection de playbooks et 12 modules de compétences de recherche, transformant les agents de codage en agents de recherche.
Décryptage technique 011｜OpenCodeReview : l'outil de revue de code open source d'Alibaba à architecture hybride — moitié contraintes strictes d'ingénierie, moitié décisions dynamiques de l'Agent
Décryptage technique 011 : open-code-review, le projet open source d'Alibaba, gagne 3,231 étoiles en une seule journée. L'ingénierie déterministe verrouille les étapes « qui ne doivent jamais échouer », l'Agent ne se charge que des décisions dynamiques : fonction pure selectFiles, double valve pour le packaging des fichiers, retry à deux niveaux pour la localisation des commentaires — le tout décortiqué jusqu'aux numéros de ligne du code source — pour seulement 1/9 des tokens d'un agent généraliste.
Décryptage technique 010｜Java 27 : trois nouvelles fonctionnalités disséquées jusqu'au code source — en-tête d'objet à 64 bits, pattern matching sur types primitifs, concurrence structurée
La plupart des articles sur le JDK 27 s'arrêtent au communiqué de presse. Celui-ci colle directement au code source : comment markWord.hpp compresse l'en-tête d'objet de 96 bits à 64 bits, comment javac abaisse instanceof int, quelle est la stratégie par défaut de StructuredTaskScope. Trois nouvelles fonctionnalités, disséquées jusqu'au numéro de ligne du code source.
Démontage technique 009｜RLT : connecter une boucle temporelle au Transformer, l'inférence à variables latentes et la véritable face de la 'profondeur temporelle infinie'
Démontage technique 009 : Recurrent Looped Transformer (RLT) échange un état à variables latentes en boucle inter-token contre une 'profondeur temporelle infinie' — 48 couches d'encodeur à mémoire globale plus 48 couches de décodeur à rétroaction par fenêtre glissante, l'entraînement et l'inférence partagent le même sémantique d'exécution. Environ 743 étoiles en trois jours, achète-t-on une idée ou de l'ingénierie ?
Kiro Crew : Transformer la programmation IA de conversations éphémères en collègue résident
Démontage technique 008 : Analyse au niveau du code source de Kiro Crew — cinq types de stockage de mémoire, trois types d'alarmes (Cron/heartbeat/rappel automatique), transfert d'exécution inter-sessions et consolidation de compétences en trois niveaux, l'échelle réelle et les limites de choix derrière les 3 891 étoiles.
PagedAttention de vLLM : comment la gestion de la VRAM soutient l'inférence des grands modèles
Démontage technique 007 : analyse au niveau du code de la pagination du cache KV, de la table des blocs, de la chaîne de hachage de préfixe et de l'ordonnanceur V1, distinction des revendications de débit 2-4×, comparaison avec SGLang et solution en six étapes pour une implémentation personnalisée.
TimesFM 3.0 : Après que Google a « transformé la prévision de séries temporelles en LLM »
Démontage technique 006 : Analyse de l'architecture au niveau du code source de Stacked Mixing Transformer, RevIN et CPM, trois mises en garde, chemins de déploiement et solutions auto-hébergées.
OmniRoute : un endpoint, 300+ fournisseurs d'IA — les niveaux gratuits en infrastructure
Analyse de la passerelle open source : 19 stratégies, repli 4 niveaux, compression, comparaison, DIY.
Démystification technique 003 ｜ ECC : un « système d'exploitation de programmation IA » de 250 000 étoiles, qui impose la discipline aux agents
Yongliang parle franchement de la carrière et de la technologie à l'ère de l'IA.
Démystification Tech 002｜hyperframes : écrivez du HTML pour générer des vidéos, HeyGen open-source son moteur de rendu vidéo
Yongliang parle franchement de la carrière et de la technologie à l'ère de l'IA.