Types, Logic, & Categories
We build software systems that are elegant, reliable, maintainable. We resist the temptation to compromise our principles in order to pursue high performance[fn:2] or the folly of “faster” delivery.
We love to work, learn, and collaborate with enterprises, entrepreneurs, programmers, researchers, and autodidacts.
[fn:1] Named in homage to the original SRC, DEC SRC. Unfortunately, not actually a research centre—more of a software consultancy. [fn:2] We do like low-level bit-twiddling tricks, it’s just that we prefer to get things right before we make them fast. In the long-term, we believe that high-level principled design will lead to the leveraging of the an ever broader range of low-level bit-twiddling in a safe, automated manner for high performance together with high confidence.