occamsgametheory. Markov gametheory. Like a recurrent boltzmann neuralnet except all possible lambda func is node and has 1 weight and 1 bit. Set of all possible sets of lambda functions where forall lambda x in set, forall lambda y in set, forall lambda z in set, (λa.λb.λc.a(λm.λn.n)bc)xyz doesnt halt. Will approx sparse navigate this space using an energy func.

github.com/benrayfield/occamsgametheory

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.