The next computer won't look like a computer.
Robots shouldn't need a firmware update to learn new behavior.
We're building AxiomOS, a runtime operating system that lets verified software load while autonomous machines are running.
No reflashing.
No downtime.
Just adaptive systems.
- AxiomOS · Runtime operating system
- Verification · Safety & program verification
- SDK · Robotics developer platform
Rust · Operating Systems · Verification · Robotics · ARM64 · RISC-V
Building in public.
