6 ms·
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 see
by butokai 1y 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.
- mattdesl 1y agoThe 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 https://x.com/VictorTaelin/status/1907976343830106592
- FjordWarden 1y agoWebMonkeys 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 1y agoFYI, 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.
- deleted 1y ago[deleted]