Kilka aktualizacji HOC: - HVM4 jest prawie gotowe i jest testowane. Brakuje jeszcze kilku ważnych rzeczy, ale nie są one pilne, więc zostaną dodane później. HVM4 to w zasadzie ultra dopracowana wersja HVM1, zawierająca wszystko, czego się nauczyliśmy od tego czasu. Teraz uważam, że podejście HVM1 było lepsze niż HVM2 (i Bend), ponieważ lenistwo jest naprawdę ważne w ocenie sieci interakcji. HVM4 napędzi Bend2 i SupGen1. - SupGen1 jest w 100% gotowe. Nie było dużych ulepszeń od moich postów w zeszłym roku. Możemy szybko syntetyzować funkcje takie jak sort(), ale kompozycja wciąż jest wolna. Uważam, że można to znacznie poprawić dla klasy funkcji fusybilnych, co umożliwiłoby naprawdę fajne aplikacje, ale potrzebne są dalsze badania. Mamy nadzieję uruchomić API w przyszłym miesiącu. Główną przeszkodą jest klaster, który obecnie migruje do bardziej solidnej lokalizacji. Jesteśmy blokowani przez mnóstwo brazylijskiej biurokracji. Nie możemy wiele zrobić. Jeśli to nie jest wystarczająco oczywiste, pozwól, że powiem to głośno: nie zakładaj firmy technologicznej w Brazylii. (: - Bend2 zostanie uruchomione nieco później, być może około 2 miesięcy po SupGen, więc około maja? Ma być językiem dowodowym jak Lean, ale stworzonym do prawdziwych aplikacji i kodowania w stylu vibe, a nie matematyki i prac. To być może najbardziej profane zdanie, jakie kiedykolwiek napisałem, i dlatego uważam, że będzie świetne. Oczywiście nadal będzie działać równolegle, tak jak Bend1, z targetowaniem HVM4. Zespół ciężko pracuje nad HVM4 / SupGen w tej chwili. Tymczasem biorę krótką przerwę, aby pracować nad innym projektem i wrócę za miesiąc lub coś w tym stylu...