Missions

We're a small team who believe AGI is near and that making it go well requires defensive acceleration: speeding up critical use cases and slowing down destructive ones. We're building custom chips to make the world's most important computations 1000x faster, starting with an accelerator for the Lean proof assistant.

If that's a mission you'd join, email jacob@ulyssean.com.