Algumas atualizações do HOC: - HVM4 está em grande parte completo e em teste. Ainda faltam algumas coisas importantes, mas que não são urgentes, então serão adicionadas depois. HVM4 é basicamente uma versão ultra polida do HVM1, incluindo tudo que aprendemos desde então. Agora acredito que a abordagem HVM1 era superior à HVM2 (e à Bend), porque a preguiça é muito importante em avaliadores de redes de interação. HVM4 vai alimentar o Bend2 e o SupGen1. - O SupGen1 está 100% completo. Não houve grandes melhorias desde meus posts do ano passado. Podemos sintetizar funções como sort() bem rápido, mas a composição ainda é lenta. Acredito que pode ser muito melhorado para uma classe de funções fusíveis e isso permitiria aplicações muito legais, mas mais pesquisas são necessárias. Esperamos lançar uma API no próximo mês. O principal bloqueador é o cluster, que está migrando para um local mais robusto no momento. Estamos bloqueados por uma tonelada de burocracia brasileira. Não há muito o que possamos fazer. Se isso não for óbvio o suficiente, deixe-me dizer em voz alta: não crie uma empresa de tecnologia no Brasil. (: - Bend2 será lançado um pouco mais tarde, talvez ~2 meses depois do SupGen, então por volta de maio? Ele pretende ser uma linguagem de prova como o Lean, mas feita para aplicativos reais e codificação de vibe, em vez de matemática e artigos. Essa é talvez a frase mais profana que já escrevi, e é por isso que acho que será ótima. Claro que ainda vai rodar em paralelo, assim como o Bend1, com o alvo HVM4. A equipe está trabalhando duro no HVM4 / SupGen agora. Enquanto isso, vou tirar uma pausa curta para trabalhar em outro projeto e volto em um mês ou algo assim...