das ist der verrückte Teil, Dario hat eine mutige Aussage gemacht, und er hatte ✨recht✨. Er hat nicht gesagt, dass 90% der *Arbeit* von KI erledigt werden. Er hat gesagt, dass 90% des *Codes* von KI geschrieben werden. Heute wird 90% meines eigenen Codes von KI geschrieben. Wie kann das nicht richtig sein? Aktuell, auf HVM4: → opus hat 95% des Parsers geschrieben → opus hat 95% der Syntax-Zucker geschrieben → opus hat 80% der Interaktionen geschrieben → opus hat 70% des Auto-Dup geschrieben → opus hat 100% der numerischen Operationen (17) geschrieben → opus hat 80% der strukturellen Gleichheit geschrieben → opus hat 100% der UTF-8-Unterstützung geschrieben → opus hat 100% der Modulorganisation geschrieben Und ja, der Code ist schön, schnell, korrekt, Hunderte von Tests bestehen, und ich benutze ihn täglich, während wir sprechen, um SupGen zu entwickeln. Glaubst du nicht? Dann werde ich HVM4's git log in den Kommentaren posten. Es ist Claude bis zum Ende. Sieh es mit eigenen Augen! Also, was kann Opus *nicht* tun? → alles, was neu ist → alles, was wahres Verständnis erfordert → alles, was langfristige Planung verlangt → was auch immer das ist... Zum Beispiel, das Fundament, die anfänglichen Dateien, die Architektur, die Designentscheidungen - alles von mir. Es kann das nicht tun, weil es meinen Geist nicht lesen kann, weil es eine neue Sache ist, weil es Einsicht erfordert. Selbst wenn es HVM3 auswendig gelernt hätte, könnte es immer noch nicht die Fortschritte entwickeln, die zu HVM4 geführt haben. LLMs haben nicht, was nötig ist, um das zu tun. Ein aktuelleres Beispiel: der terminierende Rekursionsenumerator, den ich heute früher gepostet habe. Du kannst diesen Algorithmus nicht online finden. Nicht einmal Agda/Lean implementiert ihn auf die richtige Weise. Er ist nicht in "der Datenbank der Menschheit". Er erfordert tatsächliche Intelligenz, also können LLMs das nicht tun, weil sie nur glorifizierte Nachschlagetabellen sind. Einige der Dinge, die ich tue, brauchen immer noch eine Menge Zeit. Denken braucht viel Zeit, Planen braucht viel Zeit. LLMs können das alles nicht für mich tun. Aber Dario hat nicht gesagt, dass sie das tun würden. Er hat gesagt, dass sie 90% meines Codes schreiben würden. Und, nun ja, das tun sie...

HVM4 git Protokoll diesen Monat Claude bis zum Ende

Außerdem kannst du einige Commits sehen wie: "bug wip" Das bin ich buchstäblich, wie ich eine Datei erstelle, die einen bestimmten Fehler isoliert. Dann starte ich Claude und lasse es das Problem finden, während ich an etwas anderem arbeite. Fast immer findet es den genauen Übeltäter. Ich committe und mache weiter. So viel Zeit gespart.

Was hat Dario sonst noch behauptet?