Post

just released a big improvement to further help build your intuitions for interaction nets 💡 now when you're about to execute a step, we show a preview of how the graph is about to change – exactly the way it looks in the rule builder 🪄 👇 example for a net that computes the length of a list

aron@adler.dev

netties now supports polarity and types ✨ see the demos 👇 and we're on a new domain: netties.adler.dev

aron

@adler.dev

👇 example for a net that computes 3×2

13/10/26, 12:14 pm0 reposts1 like

aron

@adler.dev

live now on netties.adler.dev ▶◀

netties.adler.devnettiesA playground for interaction nets and Lafont's interaction combinators.

aron

@adler.dev

used @tldraw.com to sketch out my vision for this feature before handing it to claude to implement 📝

aron

@adler.dev

this shows what it looks like when you execute 3×6 👇 it's finally starting to look like a real computing machine 🥹 you can run this exact demo yourself by clicking on netties.adler.dev#n=zVjNcpswEH...