بعض تحديثات HOC: - HVM4 مكتمل إلى حد كبير ويجري اختباره. لا يزال هناك بعض الأمور المهمة التي ليست عاجلة، لذا سيتم إضافتها لاحقا. HVM4 هو في الأساس نسخة مصقولة للغاية من HVM1، بما في ذلك كل ما تعلمناه منذ ذلك الحين. أعتقد الآن أن نهج HVM1 كان أفضل من HVM2 (وBend)، لأن الكسل مهم جدا على مقيمين شبكة التفاعل. HVM4 سيشغل Bend2 و SupGen1. - SupGen1 مكتمل بنسبة 100٪. لم تكن هناك أي تطورات كبيرة منذ منشوراتي العام الماضي. يمكننا أن نعمل السينث مثل sort() بسرعة كبيرة، لكن التأليف لا يزال بطيئا. أعتقد أنه يمكن تحسينها بشكل كبير لفئة من الدوال القابلة للانصهار وهذا سيمكن تطبيقات رائعة، لكن هناك حاجة لمزيد من البحث. سنطلق واجهة برمجة تطبيقات (API) نأمل الشهر القادم. العائق الرئيسي هو العنقود، الذي ينتقل الآن إلى موقع أكثر صلابة في الوقت الحالي. نحن محاصرون بسبب الكثير من البيروقراطية البرازيلية. لا يوجد الكثير مما يمكننا فعله. إذا لم يكن هذا واضحا بما فيه الكفاية، دعني أقولها بصوت عال: لا تنشئ شركة تقنية في البرازيل. (: - سيتم إطلاق Bend2 بعد ذلك بقليل، ربما ~2 بعد SupGen، أي حوالي مايو؟ يهدف لأن يكون لغة إثبات مثل Lean، لكنه مصمم للتطبيقات الحقيقية والبرمجة الجوية بدلا من الرياضيات والأوراق. ربما هذه أكثر جملة بذيئة كتبتها على الإطلاق، ولهذا أعتقد أنها ستكون رائعة. بالطبع سيظل يعمل بالتوازي مثل Bend1، من خلال استهداف HVM4. الفريق يعمل بجد على HVM4 / SupGen حاليا. وفي الوقت نفسه، أنا آخذ استراحة قصيرة للعمل على مشروع آخر وسأعود خلال شهر تقريبا...