Viewing profile — wires

Worth mentioning that we are offering a high-quality (paid) course https://training.statebox.org

you have to understand that the real power behind this work is not the Petri nets but that fact that they are described so abstractly that they can take on different shapes, such a…

Not at all. We have been applying category theory for the past few years to software and systems design and this paper in particular came as a result of those implementations. Soon…

Hm, our starting point is that there is very good mathematics for expressions like 1 + 2 * 3 which can also be interpreted as a type. programmers do not know what a product/coprodu…

(co-author of typedefs here): having real ADTs with sum/coproduct type constructors is indeed one of the motivations behind typedefs. re [1] the language behind ATD seems really si…

There is a payoff between strictness and usability. To be more precise in the type system beyond what typedefs has now, you need to involve more complicated stuff such as dependent…

Exactly. We are talking to some people at NIST about a categorical way to do units, which we hope to add to typedefs. I don't think any of the research around this is published yet…

hey thanks for the extensive comments. We were not ready to hit HN per se, our web pages and examples certainly can use some brushing up. André Videla has been doing some nice work…

Thanks for the comment, this is indeed the vision. We still have a lot of work to do in terms of making the language very user friendly. But theoretically speaking F-Algebra's seem…

this is indeed quite nice, but the difference with Typedefs is that we have real ADT's whereas typescript doesn't. in theory typedefs should be able to do what spot does, it is jus…

so was I :-)

hi, thanks, that page could surely need an update, I'll see what I can do. the "problem" with existing systems is that they do not consider their core language with respect to Type…

hi, I know Statebox pretty well :) Luna not super well, but I did beta test their first release (and some later versions), cool stuff. Anyway, the two are (feature wise) very simil…

> It's a true community sharing all their music. That's the point. Sharing is caring. Also this is what culture is about... not about the pop shit we get shoved in our face all the…

> I wish there was something drastically simpler Have you tried Nomad? https://www.nomadproject.io

yep UML and such don't have what we think of as sensible semantics. > if you really do it right, the high-level design might enable you to specify type-like properties that constra…

> i completely dismiss scratch as an actual visual programming environment. well put, couldn't agree more, I often use scratch as an anti example of diagrammatic programming. visua…

exactly this. in general it is harder to build tools for graphical languages, I think this has been prohibitive. parser are hard, but diagrams require constraint solvers and what n…

this is exactly where the statebox project comes from, there is updated syntax for mathematics in the form of diagrams. of course not for all of it, but certainly very applicable t…

very well put!

now you can. ok, well soon :) but the theory is in place and works. Also stochastic Petri nets are actually equivalent to Feynman diagrams in a precise sense ( https://johncarlosba…

also, ideally the precision in the statebox kernel is hidden from the user.. nobody needs to really know about profunctors or monoidal categories, unless you want to work on the la…

gnu radio is cool but these are different problems: - macros for diagrams, n-bit-adder for any n - "boxing up" diagrams, or some sort of nesting of diagrams - management of state t…

You are talking about deficits in the tools to work with graphical representations and lack of language support to contain behaviour to a single box (like a decent type system and …