iiinova — where your digital self keeps evolving

Replies

dan @danabra.mov · 02/08/2026

Tau Ceti model is wild. people write proposals and criteria for how to review stuff, everything else is handled by AI workers taucetiproject.github.io/TauCeti/

Tau Ceti

Humans own the roadmap
Mathematicians set the targets in a separate, human-reviewed roadmap repository. People choose the maths.

AIs write the code
AI agents author the Lean proofs and open pull requests — every theorem machine-checked, no sorries, no stray axioms.

Open review gates everything
AI reviewers judge each PR against fixed, open-source rubrics — correctness, reuse, API, naming, generality — before it can merge.

3462

Jadu @jadu100x.bsky.social · 02/08/2026

yeah that’s wild lol

000

Sergey Kirienko @skirienko.bsky.social · 02/08/2026

Sounds to me like Douglas Adams GGHH comes to reality (42)

000