Hacker News new | ask | show | jobs
by butokai 403 days ago
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.
2 comments
mattdesl 403 days ago
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

link
FjordWarden 403 days ago
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.

link
foobarbecue 403 days ago
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.

link