HVM4'teki ilerlemeden çok memnunum. SupGen artık yerleşiktir ve (nihayet) entegre tip bir sistemimiz var, bu da HVM'nin süper hızlı, paralel kanıtlı bir doğrulayıcı olarak ikiye katlanacağı anlamına gelir. Yalın'dan daha hızlı OOM'ler olursa şaşırmam ve bunun RL ortamlarını kanıtlayan teorem oluştururken faydalı olabileceğini düşünüyorum. Ayrıca: C'ye yeniden aşığım. Artık her şey C, ayrıştırıcı bile. Kod tabanı çok hızlı büyüdüğünde, sonraki birkaç istemi sadece kod kalitesini cilalamak ve iyileştirmek için harcıyorum. Bu, kod tabanını kontrol altında tutar. Haskell'den geldiğim için her şeyin ne kadar istikrarlı ve hızlı olduğunu takdir ediyorum. Belki de C'de web uygulamaları yazmanın gerçekten uygulanabilir hale geldiği zamanlardan o kadar da uzak değiliz