HOCの最新情報: - HVM4はほぼ完成しており、試験中です。重要な部分がまだ欠けているが、緊急ではないので後で追加する予定だ。HVM4は基本的にHVM1の超洗練版であり、これまでに学んだすべてを含んでいます。今では、HVM1のアプローチがHVM2(およびBend)よりも優れていたと考えています。なぜなら、インタラクションネットの評価者にとって怠惰性が非常に重要だからです。HVM4はBend2とSupGen1に電力を供給します。 - SupGen1は100%完成しています。昨年の投稿から大きな改善はありませんでした。sort()のような関数は素早く合成できますが、作曲は遅いです。私は、融合関数のクラスで大幅に改良できると信じており、それによって非常に面白い応用が可能になりますが、さらなる研究が必要です。来月にはAPIをリリースする予定です。主な障害はクラスターで、現在より強固な場所へ移動しています。私たちは大量のブラジルの官僚機構に阻まれています。できることはあまりない。もしこれが十分に明白でなければ、はっきり言わせてください:ブラジルでテック企業を設立しないでください。(: - Bend2は少し遅れて、おそらくSupGenの2~ヶ月後、つまり5月頃にリリースされる予定です。Leanのような証明を目指していますが、数学やレポートではなく実際のアプリや雰囲気のコーディング向けに作られています。おそらく私が今まで書いた中で最も下品な文で、だからこそ素晴らしいものになると思います。もちろん、HVM4のターゲット設定によりBend1と同様に並列で動作します。 チームは現在、HVM4 / SupGenの開発に懸命取り組んでいます。その間、私は別のプロジェクトに取り組むために短い休憩を取り、1か月ほどで戻ってくる予定です...