esta es la parte loca, Dario hizo una declaración audaz, y tenía ✨razón✨. no dijo que el 90% del *trabajo* lo haría la IA. dijo que el 90% del *código* será escrito por IA. hoy en día, el 90% de mi propio código está escrito por IA. ¿Cómo es que eso no está bien? actualmente, en HVM4: → opus escribió el 95% del analizador → obra escribió el 95% de los azúcares sintácticos → obra escribió el 80% de las interacciones → opus escribió el 70% de la autoduplicación → opus escribió el 100% de Numeric Ops (17) → obra escribió el 80% de la igualdad estructural → opus escribió el 100% del soporte para UTF-8 → opus escribió el 100% de la organización de los módulos y sí, el código es precioso, rápido, correcto, se pasan cientos de pruebas, y lo estoy usando a diario, mientras hablamos, para desarrollar SupGen ¿No crees? Así que publicaré el registro git de HVM4 en los comentarios. Es Claude en todo momento. ¡Míralo con tus propios ojos! entonces, ¿qué *no* puede hacer Opus? → nada que sea novedoso → cualquier cosa que requiera verdadera visión → cualquier cosa que requiera planificación a largo plazo → sea lo que sea eso... Por ejemplo, la base, los archivos iniciales, la arquitectura, las decisiones de diseño, todo por mí. No puede hacer eso, porque no puede leer mi mente, porque es algo nuevo, porque requiere perspectiva. aunque memorizaba HVM3, aún no podía lograr los avances que llevaron a HVM4. Los LLM no tienen lo que hace falta para eso un ejemplo más reciente: el enumerador de recursión terminante que publiqué hoy más temprano. No puedes encontrar ese algoritmo en internet. ni siquiera Agda/Lean lo implementa correctamente. No está en la "base de datos de la humanidad". requiere inteligencia real, así que los LLMs no pueden hacer eso, porque son simplemente tablas de consulta glorificadas algunas de las cosas que hago todavía me llevan MUCHO tiempo. Pensar lleva mucho tiempo, planificar lleva mucho tiempo. Los LLMs no pueden hacer nada de eso por mí pero Dario no dijo que lo harían Dijo que escribiría el 90% de mi código Y, bueno, es...

Registro git de HVM4 este mes Claude sin duda

Además, puedes ver algunos commits como: "Proceso de errores" Esto es literalmente yo creando un archivo que aísla algún bug. Luego lanzo Claude y dejo que encuentre el problema mientras yo trabajo en otra cosa. Casi siempre localiza al culpable exacto. Me comprometo y sigo adelante. Tanto tiempo ahorrado.

¿qué más ha dicho Dario?