c'est la partie folle, Dario a fait une déclaration audacieuse, et il avait ✨raison✨. il n'a pas dit que 90 % du *travail* serait fait par l'IA. il a dit que 90 % du *code* serait écrit par l'IA. aujourd'hui, 90 % de mon propre code est écrit par l'IA. comment cela ne peut-il pas être vrai ? actuellement, sur HVM4 : → opus a écrit 95 % du parseur → opus a écrit 95 % des syntaxes sucrées → opus a écrit 80 % des interactions → opus a écrit 70 % de l'auto-dup → opus a écrit 100 % des opérations numériques (17) → opus a écrit 80 % de l'égalité structurelle → opus a écrit 100 % du support UTF-8 → opus a écrit 100 % de l'organisation des modules et oui, le code est magnifique, rapide, correct, des centaines de tests passent, et je l'utilise quotidiennement, en ce moment, pour développer SupGen vous ne me croyez pas ? alors je vais poster le journal git de HVM4 dans les commentaires. c'est Claude à chaque étape. voyez-le de vos propres yeux ! alors, que ne peut pas faire Opus ? → tout ce qui est nouveau → tout ce qui nécessite une véritable perspicacité → tout ce qui exige une planification à long terme → quoi que ce soit... par exemple, la fondation, les fichiers initiaux, l'architecture, les choix de conception - tout par moi. il ne peut pas faire ça, parce qu'il ne peut pas lire dans mon esprit, parce que c'est une nouvelle chose, parce que cela nécessite de la perspicacité. même s'il mémorisait HVM3, il ne pourrait toujours pas proposer les avancées qui ont conduit à HVM4. Les LLM n'ont pas ce qu'il faut pour faire ça. un exemple plus récent : l'énumérateur de récursion terminale que j'ai posté plus tôt aujourd'hui. vous ne pouvez pas trouver cet algorithme en ligne. même Agda/Lean ne l'implémente pas de la bonne manière. il n'est pas dans "la base de données de l'humanité". cela nécessite une véritable intelligence, donc, les LLM ne peuvent pas faire ça, parce qu'ils ne sont que des tables de recherche glorifiées. certaines des choses que je fais prennent encore BEAUCOUP de temps. réfléchir prend beaucoup de temps, planifier prend beaucoup de temps. les LLM ne peuvent rien faire de tout cela pour moi. mais, Dario n'a pas dit qu'ils le feraient. il a dit qu'ils écriraient 90 % de mon code. et, eh bien, c'est le cas...

HVM4 journal git ce mois-ci Claude jusqu'au bout

De plus, vous pouvez voir quelques commits comme : "bug wip" C'est littéralement moi en train de créer un fichier qui isole un bug. Ensuite, je lance Claude et le laisse trouver le problème pendant que je travaille sur autre chose. Presque toujours, il repère le coupable exact. Je fais un commit et je passe à autre chose. Tant de temps gagné.

alors qu'est-ce que Dario a d'autre revendiqué ?