Content
@
https://warpcast.com/~/channel/pflow-xyz
0 reply
0 recast
0 reaction
Matt York
@stackdump.eth
Elementary Petri Nets (where tokens are binary: 0 or 1) have a surprising equivalence with String Diagrams. Here's a visual example, rendered using the fantastic DisCoPy library: https://github.com/discopy/discopy 🚀 Discover the elegance of compositional reasoning! See ipython notebook: https://gist.github.com/stackdump/0e4dfbc1118f35fccabd45cb6e00b9f7
0 reply
0 recast
1 reaction
