wires

7 ms·

1.
by wires 6y ago
Worth mentioning that we are offering a high-quality (paid) course https://training.statebox.org
2.
by wires 6y ago
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 as stochastic nets, or coloured nets, or... It puts the dif
3.
by wires 6y ago
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 these methods will be usable by many people for all kinds o
4.
by wires 6y ago
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/coproduct is, partly because the existing systems do not prope
5.
by wires 6y ago
(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 similar to typedefs (not surprising, it is the "sane
6.
by wires 6y ago
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 types or refinement types. I don't have the answer, bu
7.
by wires 6y ago
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
8.
by wires 6y ago
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 on tutorials, but it is hard to find. https://gi
9.
by wires 6y ago
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 like a good candidate theory for such a language (Type
10.
by wires 6y ago
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 just very hard to write formalized code so it will ta
11.
by wires 6y ago
so was I :-)
12.
by wires 6y ago
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 Theory nor Category Theory. Put simply, when
13.
Second Order Effects of the Coronavirus(medium.com)
6 points by wires 7y ago|1 comments
14.
by wires 7y ago
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 similar, as you noted: - both have textual/visual representa
15.
by wires 8y ago
> 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 time. If anything, mp3 sharing made me buy mor
16.
by wires 8y ago
> I wish there was something drastically simpler Have you tried Nomad? https://www.nomadproject.io
17.
by wires 8y ago
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 constrain the low-level implementation in a broadly helpful
18.
by wires 8y ago
> 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. visual programming has this topological aspect to it (mov
19.
by wires 8y ago
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 not, on top of the parsing. but we came a long way since 1990
20.
by wires 8y ago
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 to CS stuff
21.
by wires 8y ago
very well put!
22.
by wires 8y ago
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://johncarlosbaez.wordpress.com/2012/12/20/pe
23.
by wires 8y ago
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 language tooling itself. anyway, interesting discussion
24.
by wires 8y ago
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 there are separated concepts in our tool, macros ar
25.
by wires 8y ago
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 separation of effects from pure computation) I am the first
26.
by wires 8y ago
I also disagree with general applicability :-) But fair enough, I hear this a lot. OTOH, a side-effect of working categorically is that we really assume very little, so we can apply the system is many things (at least the core doesn't
27.
by wires 8y ago
the diagrams are just different ways to draw expressions, you are actually editing text, it's really the same data. one diagram implies many different but behaviourally equivalent expressions, so the diagram is actually the more effici
28.
by wires 8y ago
it is in fact very helpful to model out your error states, esp. if you can see it on a screen in some sort of flow. this is why people do modelling, to understand better what you want to code. But you are right, there are many things that a
29.
by wires 8y ago
we are working on the MVP, getting there, this wasn't supposed to blow up yet, don't want to give any wrong impressions. currently a lot of our efforts are going into a core component of statebox, https://github.com&#x2
30.
by wires 8y ago
totally what statebox is trying to do, we take some theory to put the diagrams in the right place and take it from there! thanks for mentioning these tools, they are all awesome to use

More ›