lucid.rodeo · 420code

420Code

First principles.
Kept honest.

G's life's work on lucid.rodeo — axioms, kill switches, runnable proofs, and Lucid offline. A claim is only worth as much as it can survive being questioned.

4axioms
49artist's proofs
583kill switches
0free parameters

Start here

The stack

Physics that moves

computeciteconflictrefuse