questa è la parte folle, Dario ha fatto un'affermazione audace, ed aveva ✨ragione✨. non ha detto che il 90% del *lavoro* sarà fatto dall'AI. ha detto che il 90% del *codice* sarà scritto dall'AI. oggi, il 90% del mio codice è scritto dall'AI. come può non essere giusto? attualmente, su HVM4: → opus ha scritto il 95% del parser → opus ha scritto il 95% degli sugar sintattici → opus ha scritto l'80% delle interazioni → opus ha scritto il 70% dell'auto-dup → opus ha scritto il 100% delle operazioni numeriche (17) → opus ha scritto l'80% dell'uguaglianza strutturale → opus ha scritto il 100% del supporto UTF-8 → opus ha scritto il 100% dell'organizzazione dei moduli e sì, il codice è bello, veloce, corretto, centinaia di test passano, e lo uso quotidianamente, mentre parliamo, per sviluppare SupGen don't believe? quindi posterò il log git di HVM4 nei commenti. è claude in tutto e per tutto. guardalo con i tuoi occhi! quindi, cosa *non può* fare Opus? → qualsiasi cosa che sia nuova → qualsiasi cosa che richieda vera intuizione → qualsiasi cosa che richieda pianificazione a lungo termine → qualunque cosa sia... per esempio, le fondamenta, i file iniziali, l'architettura, le scelte di design - tutto da me. non può farlo, perché non può leggere la mia mente, perché è una cosa nuova, perché richiede intuizione. anche se avesse memorizzato HVM3, non potrebbe comunque arrivare ai progressi che hanno portato a HVM4. Gli LLM non hanno ciò che serve per farlo un esempio più recente: l'enumeratore di ricorsione terminante che ho postato oggi. non puoi trovare quell'algoritmo online. nemmeno Agda/Lean lo implementa nel modo giusto. non è nel "database dell'umanità". richiede intelligenza reale, quindi, gli LLM non possono farlo, perché sono solo tavole di ricerca glorificate alcune delle cose che faccio richiedono ancora MOLTO tempo. pensare richiede molto tempo, pianificare richiede molto tempo. gli LLM non possono fare nulla di tutto ciò per me ma, Dario non ha detto che lo avrebbero fatto ha detto che avrebbe scritto il 90% del mio codice e, beh, lo sta facendo...

HVM4 git log di questo mese Claude fino in fondo

Inoltre, puoi vedere alcuni commit come: "bug wip" Questo è letteralmente me che creo un file che isola un bug. Poi avvio Claude e lo lascio trovare il problema mentre io lavoro su qualcos'altro. Quasi sempre individua il colpevole esatto. Faccio il commit e vado avanti. Così tanto tempo risparmiato.

quindi cos'altro ha affermato Dario?