tohle je ta šílená část, Dario pronesl odvážné prohlášení a měl ✨pravdu✨. neřekl, že 90 % *práce* udělá AI. řekl, že 90 % *kódu* bude psáno AI. dnes 90 % mého vlastního kódu píše AI. Jak to, že to není správné? aktuálně na HVM4: → dílo napsalo 95 % parseru → opus napsal 95 % syntaxe cukrů → opus napsal 80 % interakcí → opus napsal 70 % auto-dup → opus napsal 100 % numerických operací (17) → opus napsal 80 % strukturální rovnosti → opus napsal 100 % podpory UTF-8 → opus napsal 100 % organizace modulů a ano, kód je krásný, rychlý, správný, stovky testů projdou a já ho používám denně, právě teď, k vývoji SupGenu Nevěřím? takže do komentářů dám GIT log HVM4. Je to Claude od začátku do konce. Podívejte se na to na vlastní oči! Tak co Opus *nemůže* udělat? → cokoli nového → cokoli, co vyžaduje skutečný vhled → cokoli, co vyžaduje dlouhodobé plánování → ať už to je cokoliv... Například základy, počáteční soubory, architektura, designové volby – vše jsem udělal já. To nemůže udělat, protože nedokáže číst mé myšlenky, protože je to nová věc, protože vyžaduje vhled. i kdyby si HVM3 zapamatoval, stejně nedokázal přijít s pokroky, které vedly k HVM4. LLM na to nemají Nedávnější příklad: Enumerátor pro ukončenou rekurzi, kterého jsem dnes zveřejnil. Ten algoritmus online nenajdete. ani Agda/Lean to neimplementuje správně. Není v "databázi lidstva". vyžaduje skutečnou inteligenci, takže LLM to nemohou, protože jsou to jen glorifikované tabulky vyhledávání Některé věci, které dělám, mi stále zabírají HODNĚ času. Přemýšlení zabere hodně času, plánování zabere hodně času. LLM mi nic z toho nemohou udělat ale Dario neřekl, že by to udělali Řekl, že to bude psát 90 % mého kódu A, no, je to...

HVM4 git log tento měsíc Claude je úplně

Také můžete vidět některé commity jako: "Broučí rozpracované dílo" Tohle je doslova moje tvorba souboru, který izoluje nějakou chybu. Pak spustím Claude a nechám ho najít problém, zatímco pracuji na něčem jiném. Téměř vždy odhalí přesného viníka. Zavazuji se a jdu dál. Tolik času ušetřeno.

co dalšího Dario tvrdil?