Quelques mises à jour sur HOC : - HVM4 est presque complet et en cours de test. Il lui manque encore certaines choses importantes mais qui ne sont pas urgentes, donc elles seront ajoutées plus tard. HVM4 est essentiellement une version ultra-polie de HVM1, incluant tout ce que nous avons appris depuis. Je crois maintenant que l'approche HVM1 était supérieure à HVM2 (et Bend), car la paresse est vraiment importante sur les évaluateurs de réseau d'interaction. HVM4 alimentera Bend2 et SupGen1. - SupGen1 est 100 % complet. Il n'y a pas eu de grandes améliorations depuis mes publications de l'année dernière. Nous pouvons synthétiser des fonctions comme sort() très rapidement, mais la composition est toujours lente. Je crois qu'elle peut être grandement améliorée pour une classe de fonctions fusibles et cela permettrait des applications vraiment intéressantes, mais plus de recherches sont nécessaires. Nous espérons lancer une API le mois prochain. Le principal obstacle est le cluster, qui est en train de migrer vers un emplacement plus robuste en ce moment. Nous sommes bloqués par une tonne de bureaucratie brésilienne. Il n'y a pas grand-chose que nous puissions faire. Si ce n'est pas assez évident, laissez-moi le dire à haute voix : ne créez pas d'entreprise technologique au Brésil. (: - Bend2 sera lancé un peu plus tard, peut-être ~2 mois après SupGen, donc autour de mai ? Il vise à être un langage de preuve comme Lean, mais construit pour de vraies applications et du codage d'ambiance au lieu de mathématiques et de papiers. C'est peut-être la phrase la plus profane que j'ai jamais écrite, et c'est pourquoi je pense qu'elle sera géniale. Bien sûr, elle fonctionnera toujours en parallèle tout comme Bend1, en ciblant HVM4. L'équipe travaille dur sur HVM4 / SupGen en ce moment. Pendant ce temps, je prends une courte pause pour travailler sur un autre projet et je reviendrai dans un mois ou deux...