Algumas atualizações do HOC: - O HVM4 está quase completo e em fase de testes. Ainda faltam algumas coisas importantes, mas que não são urgentes, então serão adicionadas mais tarde. O HVM4 é basicamente uma versão ultra polida do HVM1, incluindo tudo o que aprendemos desde então. Agora acredito que a abordagem do HVM1 foi superior ao HVM2 (e ao Bend), porque a preguiça é realmente importante nos avaliadores de rede de interação. O HVM4 irá alimentar o Bend2 e o SupGen1. - O SupGen1 está 100% completo. Não houve grandes melhorias desde as minhas postagens do ano passado. Podemos sintetizar funções como sort() muito rapidamente, mas a composição ainda é lenta. Acredito que pode ser muito melhorada para uma classe de funções fusíveis e isso permitiria algumas aplicações realmente legais, mas mais pesquisa é necessária. Esperamos lançar uma API no próximo mês. O principal bloqueio é o cluster, que está migrando para um local mais robusto neste momento. Estamos bloqueados por toneladas de burocracia brasileira. Não há muito 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. (: - O Bend2 será lançado um pouco mais tarde, talvez ~2 meses após o SupGen, então por volta de maio? Ele visa ser uma linguagem de prova como o Lean, mas construída 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á ótimo. Claro que ainda funcionará em paralelo, assim como o Bend1, com o HVM4 como alvo. A equipe está trabalhando duro no HVM4 / SupGen neste momento. Enquanto isso, estou fazendo uma pausa curta para trabalhar em outro projeto e estarei de volta em um mês ou mais...