Because it's reboot time for Operating Systems


Category Theory and the Convergence

Credit to Daniel Clark

We believe the software industry has become overly compartmentalized and fragmented, which has prevented disruption automation. Software development remains far too labor intensive. Years ago, Wall Street stumbled into some advanced mathematics that suggests that software developers should be enjoying 100x gains in automation by now.

So what went wrong?

Putting on our LEAN hats, we went back to the 1960s Space Race and found that while Silicon Valley prefers to “separate” things, this only makes it harder to bring things back together (“composition”). Users clearly prefer a unified “smartphone” experience - and we already see this trend in hardware - so why can’t we bring this approach to software?


Something strange called “Curry Howard” suggests that databases, operating systems, data sciences, hardware and programming are really all the same thing … but over the years, the industry has erected artificial barriers between them. This idea may not be new... in fact we suspect the famous MIT Multics project ventured into this same territory but the math was still in its infancy at the time.

While a “siloed” approach served the tech industry well for years, the downside is a DX (developer experience) that is reaching limits of complexity. It’s time for LEAN Manufacturing -style automation to come to software — and this may require a much overdue upgrade of the entire infrastructure.

Category Theory (CT) presents a mathematical foundation for cleaning up and consolidating a lot of unfinished business in the computing industry. You can think of Category Theory as next-gen “relational” except it “joins” across code and processes as well as data. Because everyone told us this was impossible, we went ahead and built Multix to show what applied CT and Curry Howard looks like in practice.


It is pointless trying to explain math to investors. However if you worked in finance, you probably already know Category Theory is notorious for crazy things like burritos and monads and awesome memes...


If you are an ambitious startup that is tired of the lack of innovation from Silicon Valley and eager to disrupt Big Tech - please contact us !!