سعيد جدا بالتقدم المحرز في HVM4. SupGen مدمج الآن ، ولدينا أخيرا نظام نوع أصلي ، يعمل مباشرة على شبكات التفاعل ، مما يعني أن HVM سيكون قابلا للاستخدام كمتحقق سريع ومتوازي. لن أتفاجأ إذا انتهى الأمر إلى أن تكون OOMs أسرع من Lean ، وأود تطبيقها على نظرية تثبت RL أيضا ، الترميز بالذكاء الذكاء الاصطناعي يجعل C قابلا للتطبيق بشكل مدهش. قاعدة بيانات HVM هي الآن 100٪ C - محلل ، مقيم ، مدقق ، كل شيء - وما زلت أتحكم فيها بشكل كامل. عندما ينمو كثيرا ، أقضي المطالبات العديدة التالية فقط لتلميع جودة الكود وتحسينها. هذا مهم جدا لإبقائه تحت السيطرة. قادما من Haskell ، أقدر مدى استقرار وسرعة كل شيء في C (وأخيرا القدرة على استخدام 100٪ من وحدة المعالجة المركزية الخاصة بي لمرة واحدة!)