3 ms·
Working on writing a series of blog posts on interaction nets. The first one is up already an is an introduction to the topic [0]. I feel like the topic is very
by enricozb 1y ago
Working on writing a series of blog posts on interaction nets. The first one is up already an is an introduction to the topic [0]. I feel like the topic is very accessible but the ideas are spread out across discord channels, papers, twitter, and GitHub repos. Hoping to centralize it a bit.
[0]: https://ezb.io/thoughts/interaction_nets/lambda_calculus/2025-04-25_normalization.html https://ezb.io/thoughts/interaction_nets/lambda_calculus/202...
- martiancookbook 1y agoThank you for sharing this, do you have any plans to add an RSS feed in the future?
- enricozb 1y agoYes, you're not the first to have asked this. I'll add one before I publish the next post.