Деякі оновлення HOC: - HVM4 майже готовий і перебуває на тестуванні. У ньому все ще бракує деяких важливих речей, але не термінових, тому додам пізніше. HVM4 — це, по суті, ультравідшліфована версія HVM1, включаючи все, що ми дізналися з того часу. Тепер я вважаю, що підхід HVM1 був кращим за HVM2 (і Bend), бо лінь дуже важлива для оцінювачів мереж взаємодії. HVM4 живитиме Bend2 і SupGen1. - SupGen1 завершено на 100%. З моменту моїх минулорічних постів значних покращень не було. Ми можемо дуже швидко виконувати синтезаторні функції, як-от sort(), але композиція все одно повільна. Я вважаю, що його можна значно покращити для класу плавних функцій, і це відкрило б дуже цікаві застосування, але потрібні додаткові дослідження. Сподіваюся, наступного місяця ми запустимо API. Головним блокувальником є кластер, який зараз мігрує у більш міцне місце. Нас блокує купа бразильської бюрократії. Ми мало що можемо зробити. Якщо це недостатньо очевидно, дозвольте сказати вголос: не створюйте технологічну компанію в Бразилії. (: - Bend2 вийде трохи пізніше, можливо, ~2 місяці після SupGen, тобто приблизно у травні? Він прагне бути мовою доказів, як Lean, але створеним для реальних додатків і програмування атмосфери, а не для математики та наукових статей. Це, мабуть, найнецензурніше речення, яке я коли-небудь писав, і саме тому вважаю, що воно буде чудовим. Звісно, він все одно працюватиме паралельно, як і Bend1, за допомогою HVM4 targeting. Команда зараз наполегливо працює над HVM4 / SupGen. Тим часом я беру коротку перерву, щоб попрацювати над іншим проєктом, і повернуся приблизно за місяць...