Một số cập nhật HOC: - HVM4 hầu như đã hoàn thành và đang được thử nghiệm. Nó vẫn thiếu một số điều quan trọng nhưng không khẩn cấp, vì vậy sẽ được thêm vào sau. HVM4 về cơ bản là một phiên bản cực kỳ tinh chỉnh của HVM1, bao gồm mọi thứ chúng tôi đã học được từ trước đến nay. Tôi hiện tin rằng cách tiếp cận HVM1 là vượt trội hơn HVM2 (và Bend), vì sự lười biếng thực sự rất quan trọng trong các bộ đánh giá mạng tương tác. HVM4 sẽ cung cấp sức mạnh cho Bend2 và SupGen1. - SupGen1 đã hoàn thành 100%. Không có cải tiến lớn nào kể từ các bài đăng của tôi năm ngoái. Chúng tôi có thể tổng hợp các hàm như sort() rất nhanh, nhưng việc kết hợp vẫn còn chậm. Tôi tin rằng nó có thể được cải thiện rất nhiều cho một lớp các hàm có thể hợp nhất và điều đó sẽ cho phép một số ứng dụng thực sự thú vị, nhưng cần nhiều nghiên cứu hơn. Chúng tôi hy vọng sẽ ra mắt một API vào tháng tới. Rào cản chính là cụm, hiện đang di chuyển đến một vị trí mạnh mẽ hơn. Chúng tôi bị chặn bởi hàng tấn thủ tục hành chính ở Brazil. Chúng tôi không thể làm gì nhiều. Nếu điều này không đủ rõ ràng, hãy để tôi nói rõ: đừng tạo một công ty công nghệ ở Brazil. (: - Bend2 sẽ được ra mắt muộn hơn một chút, có thể khoảng ~2 tháng sau SupGen, tức là vào khoảng tháng 5? Nó nhằm mục đích trở thành một ngôn ngữ chứng minh như Lean, nhưng được xây dựng cho các ứng dụng thực tế và lập trình theo cảm hứng thay vì toán học và tài liệu. Đó có lẽ là câu nói tục tĩu nhất mà tôi từng viết, và đó là lý do tại sao tôi nghĩ nó sẽ tuyệt vời. Tất nhiên, nó vẫn sẽ chạy song song giống như Bend1, bằng cách nhắm đến HVM4. Nhóm đang làm việc chăm chỉ trên HVM4 / SupGen ngay bây giờ. Trong khi đó, tôi đang nghỉ ngắn để làm việc trên một dự án khác và sẽ trở lại trong khoảng một tháng...