Do I know anyone that is expert-level at category theory and wants to be a partner in a new startup that wants to apply intense category theory design to a software problem? DM me if so and I can put you in touch!
-
-
That is the intent of this project, yes
-
What is your project? Mine: semantic runtime framework using Category Theory to model First-Class Implementations, with natural transformations being opposite of (or adjunct to?) code instrumentations. With blockchain DApps as the domain initially justifying using formal methods.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!