Statebox Newsletter - November
Statebox Developer Tools
Over the last month we have made significant progress in implementing the Statebox Studio which we are looking forward to sharing with you. It allows one to click through a process, examine the types of transitions and places, automatically generate forms for different data types, inspect the history of fired transitions and more! You can expect to play with it at the beginning of next year.
In addition, we have been able to successfully deploy the Statebox Engine with a GraphQL API using Terraform and Google Cloud to enable one of our early partners to integrate Statebox with their current stack. We will keep you posted on the release of the Statebox JS API which will be handy for a lot of developers out there.
Diagrammatic Methods for Linear and Nonlinear Systems Seminar
Exciting times on the research side as some Statebox members and advisors were invited in Shonan, Japan at the seminar on diagrammatic methods of linear and non-linear systems. We had the opportunity to explain how the Statebox language can help with the diagrammatic development of complex systems.
Diagrammatics has made making huge progress lately, much of which is relevant to Statebox. In particular advancements in graph rewriting, representations of Petri nets as PROPs and diagrammatic reasoning for infinity-categories were presented. Such contributions will probably be employed in the research and development of Statebox in the long run, so stay tuned!
Smart Contracts and Their Issues - Full Article
The article addressing the current drawbacks in smart contract writing published in the first issue of the German journal Rethinking Law last month can now be found on our Medium blog. You can access the full article here.
Statebox Language Primer and FAQ
We put together a Statebox language primer which describes the related mathematical formalisms and capabilities of the language. An FAQ on the website has also been added. If you have any questions that you would like us to add to the FAQ, please let us know at email@example.com or on our telegram channel.
We are proud to announce that the Statebox team has grown. Jack Ek is an expert in formal verification and programming language design. He is actively working on Typedefs and aiding the implementation of the dependently typed Statebox Core. Marco Perone, a talented mathematician turned software developer with a passion for FP, category theory and type theory is helping out with the Statebox Core as well. In addition, Fredrik Nordvall Forsberg from Strathclyde University, Glasgow will be lending us a hand in the upcoming month with our Typedefs compiler.
Meet the Statebox team at the 35th Chaos Communication Congress in Leipzig at the end of December. We will be waxing lyrical about our latest Statebox developments as well as show our cold storage project, the Laserbot. Drop us a line on twitter or telegram if you’d like to connect.
Thanks for reading!
The Statebox Team