Hype. #statebox #diagrams #categorytheory #cybernetics #formalmethods #correctbyconstruction #compositional Follow Statebox Process See typedefs.com | statebox.org | process.io

meanwhile on Hacker News Bot ... #petrinets #categorytheory news.ycombinator.com/item?id=258207…

Our latest paper is on arxiv now arxiv.org/abs/2102.00096 Sharing for the diagram porn. Statebox Process FRG

I'm sketching out something I'm calling Well Typed Foundations github.com/wires/wtf A language like JSON but w types and references. I am using ReScript together with PEG.js to implement a simple bidirectional typechecker. All Process data is stored like this

Have you read our latest paper on hierarchical petri nets yet? arxiv.org/abs/2102.00096

We are excited to announce that the paper Categories of Nets, authored by our very own FRG in collaboration with johncarlosbaez , Category Witch and Mike Shulman has been accepted to LICS 2021. Find out more on statebox.org/news/2021/lics…