essa é a parte louca, Dario fez uma declaração ousada, e ele estava ✨certo✨. ele não disse que 90% do *trabalho* será feito por IA. ele disse que 90% do *código* será escrito por IA. hoje, 90% do meu próprio código é escrito por IA. Como isso não está certo? atualmente, no HVM4: → opus escreveu 95% do parser → obra escreveu 95% dos açúcares sintáticos → opus escreveu 80% das interações → opus escreveu 70% do auto-duplicado → opus escreveu 100% das operações numéricas (17) → obra escreveu 80% da igualdade estrutural → opus escreveu 100% do suporte ao UTF-8 → opus redigia 100% da organização dos módulos e sim, o código é lindo, rápido, correto, centenas de testes são aprovados, e eu o uso diariamente, enquanto falamos, para desenvolver o SupGen Não acredita? então vou postar o git log do HVM4 nos comentários. É Claude até o fim. Veja com seus próprios olhos! então, o que o Opus *não pode* fazer? → nada que seja novo → qualquer coisa que exija verdadeira percepção → qualquer coisa que exija planejamento de longo prazo → seja lá o que for isso... Por exemplo, a fundação, os arquivos iniciais, a arquitetura, as escolhas de design – tudo por minha autoria. Não pode fazer isso, porque não consegue ler minha mente, porque é algo novo, porque exige insight. mesmo que decorasse o HVM3, ainda não conseguia criar os avanços que levaram ao HVM4. LLMs não têm o que é preciso para isso um exemplo mais recente: o enumerador de recursão terminante que postei mais cedo hoje. Você não encontra esse algoritmo online. nem mesmo Agda/Lean implementam da maneira certa. Não está no "banco de dados da humanidade". requer inteligência real, então, LLMs não conseguem fazer isso, porque são apenas tabelas de consulta glorificadas algumas das coisas que faço ainda levam MUITO tempo. Pensar leva muito tempo, planejar leva muito tempo. LLMs não conseguem fazer nada disso por mim mas Dario não disse que iriam Ele disse que ele escreveria 90% do meu código E, bem, é...

Registro de git do HVM4 este mês Claude até o fim

Além disso, você pode ver alguns commits como: "Insetos em progresso" Isso é literalmente eu criando um arquivo que isola algum bug. Então eu lanço o Claude e deixo ele encontrar o problema enquanto trabalho em outra coisa. Quase sempre ele identifica exatamente o culpado. Eu me comprometo e sigo em frente. Tanto tempo economizado.

Então, o que mais Dario afirmou?