The smallest language in which a Bayesian agent writes and reasons about itself — hypotheses are programs, the grammar is the prior, and adaptation is free. A candidate substrate for general intelligence.

1 Open Issue Need Help Last updated: Jul 18, 2026

Open Issues Need Help

View All on GitHub

The smallest language in which a Bayesian agent writes and reasons about itself — hypotheses are programs, the grammar is the prior, and adaptation is free. A candidate substrate for general intelligence.

Haskell