Některé HOC novinky: - HVM4 je většinou dokončen a testován. Stále mu chybí některé důležité věci, ale nejsou naléhavé, takže budou později přidány. HVM4 je v podstatě ultra vyleštěná verze HVM1, včetně všeho, co jsme se od té doby naučili. Nyní věřím, že přístup HVM1 byl lepší než HVM2 (a Bend), protože lenost je u hodnotitelů interakčních sítí opravdu důležitá. HVM4 bude pohánět Bend2 a SupGen1. - SupGen1 je 100% dokončený. Od mých příspěvků loni nedošlo k žádnému velkému zlepšení. Funkce jako sort() dokážeme syntetizovat opravdu rychle, ale kompozice je pořád pomalá. Věřím, že by se to dalo výrazně zlepšit pro třídu tavitelných funkcí, což by umožnilo opravdu zajímavé aplikace, ale je potřeba dalšího výzkumu. Doufáme, že příští měsíc spustíme API. Hlavním blokátorem je cluster, který se právě teď přesouvá na robustnější místo. Jsme blokováni spoustou brazilské byrokracie. Moc toho nezmůžeme. Pokud to není dostatečně zřejmé, řeknu to nahlas: nezakládejte technologickou firmu v Brazílii. (: - Bend2 bude spuštěn o něco později, možná ~2 měsíce po SupGenu, tedy kolem května? Cílem je být proof lang jako Lean, ale je navržený pro skutečné aplikace a vibe kódování, ne pro matematiku a články. To je možná nejvulgárnější věta, jakou jsem kdy napsal, a proto si myslím, že bude skvělá. Samozřejmě to bude stále běžet paralelně stejně jako Bend1, ale díky cílení HVM4. Tým teď tvrdě pracuje na HVM4 / SupGen. Mezitím si dávám krátkou pauzu, abych pracoval na jiném projektu, a za měsíc nebo tak se vrátím...