Research

The log

Papers, results and releases, newest first. All of it is open: papers under CC BY 4.0, code under Apache 2.0.

Correct results over 20,000 ticks. Fixed TMR stops at 8,993. The shrinking quorum reaches 14,490.

№ 004 · Release · Latest

Mru Flight: onboard software that keeps working as its computers fail

A small, verified Rust core and a demo on real processes with faults injected. With one replica stuck and another dead, it delivered 14,490 correct results where fixed TMR delivered 8,993.

7 Oct 2026 · 9 min read · v0.1.1

4 entries since May 2026

Cite the whitepaper

W. Binns, Mru: A Fault-Tolerant Operating System for Thousand-Year Autonomous Operation, 2026.

doi:10.5281/zenodo.20579438 · CC BY 4.0

@misc{binns2026mru,
  author = {Binns, Will},
  title  = {Mru: A Fault-Tolerant Operating System
            for Thousand-Year Autonomous Operation},
  year   = {2026},
  doi    = {10.5281/zenodo.20579438}
}

→ Get in touch

Questions about this work, or want to test it?

A few lines are enough: the hardware, where it is, and how long it must run without a visit. We will tell you plainly whether Mru fits, including when it does not.

  • We'll review your setup.
  • We reply by email. If a call helps, we suggest one.
  • Technical questions are welcome. The docs and code are public.
Interested in

We use these details only to reply. No mailing list.