Câteva actualizări HOC: - HVM4 este în mare parte finalizat și în curs de testare. Încă lipsesc unele lucruri importante, dar care nu sunt urgente, așa că vor fi adăugate mai târziu. HVM4 este practic o versiune ultra finisată a HVM1, incluzând tot ce am învățat de atunci. Acum cred că abordarea HVM1 a fost superioară HVM2 (și Bend), pentru că lenea este foarte importantă la evaluatorii de interacțiune net. HVM4 va alimenta Bend2 și SupGen1. - SupGen1 este 100% complet. Nu au fost îmbunătățiri mari față de postările mele de anul trecut. Putem sintetiza funcții precum sort() foarte rapid, dar compoziția este tot lentă. Cred că poate fi mult îmbunătățit pentru o clasă de funcții fuzibile, iar asta ar permite aplicații foarte interesante, dar este nevoie de mai multă cercetare. Sperăm să lansăm un API luna viitoare. Principalul obstacol este clusterul, care migrează acum într-o locație mai robustă. Suntem blocați de o mulțime de birocrații braziliene. Nu prea putem face. Dacă acest lucru nu este suficient de evident, permiteți-mi să spun cu voce tare: nu creați o companie tech în Brazilia. (: - Bend2 va fi lansat puțin mai târziu, poate ~2 luni după SupGen, deci în jurul lunii mai? Își propune să fie un limbaj de demonstrație, ca Lean, dar construit pentru aplicații reale și programare de vibrație, nu pentru matematică și lucrări. Poate că aceasta este cea mai profană propoziție pe care am scris-o vreodată și de aceea cred că va fi grozavă. Desigur, va rula în paralel, la fel ca Bend1, prin țintirea HVM4. Echipa lucrează din greu la HVM4 / SupGen în acest moment. Între timp, iau o pauză scurtă să lucrez la un alt proiect și mă voi întoarce peste vreo lună...