AI
We build end-to-end learning systems for adversarial environments.
BUIDL
We design and implement protocols for EVM-compatible chains, Stacks, Tezos, and Chia.
Formal Methods
We use interactive theorem proving and model checking to write correct-by-construction software.
Distributed Systems
We engineer custom high-performance backend architectures.