Enkele HOC-updates: - HVM4 is grotendeels compleet en wordt getest. Het mist nog enkele belangrijke dingen, maar die zijn niet urgent, dus zullen later worden toegevoegd. HVM4 is in wezen een ultra gepolijste versie van HVM1, inclusief alles wat we sindsdien hebben geleerd. Ik geloof nu dat de HVM1-aanpak superieur was aan HVM2 (en Bend), omdat luiheid echt belangrijk is bij interactienetwerk evaluators. HVM4 zal Bend2 en SupGen1 aandrijven. - SupGen1 is 100% compleet. Er zijn geen grote verbeteringen geweest sinds mijn berichten van vorig jaar. We kunnen functies zoals sort() echt snel synthetiseren, maar samenstelling is nog steeds traag. Ik geloof dat het aanzienlijk kan worden verbeterd voor een klasse van fusibele functies en dat zou enkele echt coole toepassingen mogelijk maken, maar er is meer onderzoek nodig. We hopen volgende maand een API te lanceren. De belangrijkste blokkade is de cluster, die momenteel naar een robuustere locatie migreert. We worden geblokkeerd door een hoop Braziliaanse bureaucratie. Er is niet veel dat we kunnen doen. Als dit niet duidelijk genoeg is, laat me het dan hardop zeggen: creëer geen techbedrijf in Brazilië. (: - Bend2 zal iets later worden gelanceerd, misschien ~2 maanden na SupGen, dus rond mei? Het is bedoeld als een bewijs taal zoals Lean, maar gebouwd voor echte apps en vibe coding in plaats van wiskunde en papers. Dat is misschien de meest profane zin die ik ooit heb geschreven, en daarom denk ik dat het geweldig zal zijn. Natuurlijk zal het nog steeds parallel draaien, net als Bend1, door HVM4 targeting. Het team werkt momenteel hard aan HVM4 / SupGen. Ondertussen neem ik een korte pauze om aan een ander project te werken en ben ik over een maand of zo weer terug...