4 ms·
These remind me of interaction combinators [1], which are being used in the Bend programming language [1]. I think it'd be good for the standard to also be a va
by programjames 2y ago
These remind me of interaction combinators [1], which are being used in the Bend programming language [1]. I think it'd be good for the standard to also be a valid interaction net.
[1]: https://core.ac.uk/download/pdf/81113716.pdf https://core.ac.uk/download/pdf/81113716.pdf
[2]: https://news.ycombinator.com/item?id=40390287 https://news.ycombinator.com/item?id=40390287
- thomasahle 2y agoThis stuff is super cool! It basically generalizes tensor diagrams to general computational graphs. However, when thinking about ML architectures, I actually like that classical tensor diagrams make it harder to express non-associative architectures. E.g. RNNs are much harder to write than Transformers.