A language for
deriving software.
Semiring is an intermediate representation for AI-assisted engineering, bridging precise specifications and executable systems one implementation choice at a time.
Contact UsBuilt for a new kind of software
Computation is now pushing the frontier of science and industry. The software behind it is fundamentally different: ever more complex mathematical models, optimised to the limits of an evolving ecosystem of accelerator hardware. The tools and languages that carried us through the era of websites and mobile apps are not adequate for this new regime.
Our Thesis
Language shapes thought, especially for AI. Natural language is general but imprecise and hard to verify. Runnable code on the other hand must specify every detail and implementation choice. Semiring bridges the gap in between: we are designing a language that keeps the precision of code but allows choices to be made gradually as we move from an idealised domain model to optimised implementations. We believe this to be the necessary basis of more reliable and powerful tools for building software at the frontier.
Who we are
We are engineers and researchers with backgrounds in compilers, quantum computing, AI kernel engineering, reinforcement learning, and applied category theory. At Semiring we are building the tools we wish we had in that work.