Alcuni aggiornamenti su HOC: - HVM4 è quasi completo e in fase di test. Mancano ancora alcune cose importanti, ma non urgenti, quindi verranno aggiunte in seguito. HVM4 è fondamentalmente una versione ultra rifinita di HVM1, che include tutto ciò che abbiamo imparato da allora. Ora credo che l'approccio HVM1 fosse superiore a HVM2 (e Bend), perché la pigrizia è davvero importante per gli valutatori di rete interattivi. HVM4 alimenterà Bend2 e SupGen1. - SupGen1 è completo al 100%. Non ci sono stati grandi miglioramenti rispetto ai miei post dell'anno scorso. Possiamo sintetizzare funzioni come sort() molto rapidamente, ma la composizione è ancora lenta. Credo che possa essere notevolmente migliorata per una classe di funzioni fusibili e questo abiliterebbe alcune applicazioni davvero interessanti, ma è necessaria ulteriore ricerca. Speriamo di lanciare un'API il mese prossimo. Il principale ostacolo è il cluster, che si sta migrando in una posizione più robusta in questo momento. Siamo bloccati da tonnellate di burocrazia brasiliana. Non c'è molto che possiamo fare. Se questo non è abbastanza ovvio, lasciatemi dirlo ad alta voce: non creare un'azienda tecnologica in Brasile. (: - Bend2 sarà lanciato un po' più tardi, forse ~2 mesi dopo SupGen, quindi intorno a maggio? Mira a essere un linguaggio di prova come Lean, ma costruito per app reali e coding di vibe invece di matematica e articoli. Questa è forse la frase più profana che abbia mai scritto, ed è per questo che penso che sarà fantastico. Naturalmente continuerà a funzionare in parallelo proprio come Bend1, con HVM4 come obiettivo. Il team sta lavorando duramente su HVM4 / SupGen in questo momento. Nel frattempo, sto prendendo una breve pausa per lavorare su un altro progetto e tornerò tra un mese circa...