一些 HOC 更新： - HVM4 大部分已完成並正在測試中。它仍然缺少一些重要的東西，但這些並不緊急，因此會稍後添加。HVM4 基本上是 HVM1 的超級精緻版本，包括我們自那以來學到的一切。我現在相信 HVM1 的方法優於 HVM2（和 Bend），因為懶惰在互動網絡評估器中真的很重要。HVM4 將為 Bend2 和 SupGen1 提供動力。 - SupGen1 已經 100% 完成。自去年我的帖子以來沒有大的改進。我們可以非常快速地合成像 sort() 這樣的函數，但組合仍然很慢。我相信對於一類可融合的函數，它可以大大改進，這將使一些非常酷的應用成為可能，但需要更多的研究。我們希望下個月推出 API。主要的障礙是集群，目前正在遷移到一個更穩健的位置。我們被大量的巴西官僚主義所阻礙。我們能做的並不多。如果這還不夠明顯，讓我大聲說出來：不要在巴西創建科技公司。(: - Bend2 將稍晚推出，可能在 SupGen 後約 2 個月，也就是大約 5 月？它旨在成為一種像 Lean 的證明語言，但為真正的應用和氛圍編碼而建，而不是數學和論文。這或許是我寫過的最褻瀆的句子，這就是為什麼我認為它會很棒。當然，它仍然會像 Bend1 一樣並行運行，目標是 HVM4。 團隊目前正在努力工作於 HVM4 / SupGen。與此同時，我正在短暫休息，專注於另一個項目，並將在一個月左右回來...