Einige HOC-Updates: - HVM4 ist größtenteils fertig und wird getestet. Es fehlen noch einige wichtige Dinge, die jedoch nicht dringend sind, also werden sie später hinzugefügt. HVM4 ist im Grunde eine ultra-polierte Version von HVM1, die alles beinhaltet, was wir seitdem gelernt haben. Ich glaube jetzt, dass der HVM1-Ansatz dem HVM2 (und Bend) überlegen war, weil Faulheit bei Interaktionsnetzwerk-Evaluatoren wirklich wichtig ist. HVM4 wird Bend2 und SupGen1 antreiben. - SupGen1 ist zu 100 % fertig. Es gab seit meinen Beiträgen im letzten Jahr keine großen Verbesserungen. Wir können Funktionen wie sort() wirklich schnell synthetisieren, aber die Komposition ist immer noch langsam. Ich glaube, dass es für eine Klasse von fusionierbaren Funktionen erheblich verbessert werden kann, und das würde einige wirklich coole Anwendungen ermöglichen, aber es ist mehr Forschung nötig. Wir werden hoffentlich nächsten Monat eine API starten. Der Hauptblocker ist der Cluster, der gerade an einen robusteren Standort migriert. Wir sind durch jede Menge brasilianische Bürokratie blockiert. Es gibt nicht viel, was wir tun können. Wenn das nicht offensichtlich genug ist, lass mich es laut sagen: Gründen Sie kein Tech-Unternehmen in Brasilien. (: - Bend2 wird etwas später, vielleicht ~2 Monate nach SupGen, also etwa im Mai, gestartet. Es soll eine Beweis-Sprache wie Lean sein, aber für echte Apps und Vibe-Coding anstelle von Mathematik und wissenschaftlichen Arbeiten entwickelt werden. Das ist vielleicht der profanste Satz, den ich je geschrieben habe, und genau deshalb denke ich, dass es großartig sein wird. Natürlich wird es weiterhin parallel laufen, genau wie Bend1, durch HVM4-Targeting. Das Team arbeitet gerade hart an HVM4 / SupGen. In der Zwischenzeit mache ich eine kurze Pause, um an einem anderen Projekt zu arbeiten, und werde in etwa einem Monat zurück sein...