[butokai]

By coincidence I was just having a look at the work by the same author on languages based on Interaction Nets. Incredibly cool work, although the main repos seem to have been silent in the last couple of months? This work however is much older and doesn't seem to follow the same approach.

[mattdesl]

The author is working on a program synthesizer using interaction nets/calculus, which should be released soon. It sounds quite interesting:

https://x.com/VictorTaelin/status/1907976343830106592

[FjordWarden]

WebMonkeys feels a bit like array programming, you create buffers and then have a simple language to perform operations on those buffers.

HVM is one of the most interesting developments in programming languages that I know off. I just don't know if it will prove to be relevant for the problem space it is trying to address. It is a very difficult technology that is trying to solve another very complex problem (AI) by seemingly sight stepping the issues. Like you have to know linear algebra and statistics to do ML, and they are saying: yes and you have to know category theory too.

[foobarbecue]

FYI, just in case you didn't know, it's "side-stepping," not "sight-stepping."

Thanks for introducing me to the concept of higher-order virtual machines.