Några uppdateringar från HOC: - HVM4 är till största delen färdigt och testas. Det saknas fortfarande några viktiga saker men de är inte brådskande, så de kommer att läggas till senare. HVM4 är i princip en ultrapolerad version av HVM1, inklusive allt vi lärt oss sedan dess. Jag tror nu att HVM1-metoden var överlägsen HVM2 (och Bend), eftersom lathet är väldigt viktigt för interaktionsnätsutvärderare. HVM4 kommer att driva Bend2 och SupGen1. - SupGen1 är 100% klar. Det har inte skett några stora förbättringar sedan mina inlägg förra året. Vi kan synth-funktioner som sort() väldigt snabbt, men kompositionen är fortfarande långsam. Jag tror att det kan förbättras avsevärt för en klass av fusibla funktioner och det skulle möjliggöra riktigt häftiga applikationer, men mer forskning behövs. Vi kommer förhoppningsvis att lansera ett API nästa månad. Den största hindraren är klustret, som just nu migrerar till en mer robust plats. Vi blockeras av massor av brasiliansk byråkrati. Det finns inte mycket vi kan göra. Om detta inte är tillräckligt uppenbart, låt mig säga det högt: skapa inte ett teknikföretag i Brasilien. (: - Bend2 lanseras lite senare, kanske ~2 månader efter SupGen, alltså runt maj? Det siktar på att vara ett bevisspråk som Lean, men byggt för riktiga appar och vibe-kodning istället för matematik och papper. Det är kanske den mest grova mening jag någonsin skrivit, och det är därför jag tror att den kommer att bli fantastisk. Självklart kommer den fortfarande att köras parallellt precis som Bend1, med HVM4-målinriktning. Teamet arbetar hårt med HVM4 / SupGen just nu. Under tiden tar jag en kort paus för att arbeta på ett annat projekt och kommer tillbaka om en månad eller så...