bayeslambda. A set of math axioms which relate Bayes Rule to a certain universal function which always curries 7 parameters, including a doesNotHalt symbol. Halting-oracles are of course impossible. Instead of blockchain forking, experimentally may smoothly negotiate using bayes rule. Functions will support unicode, voxels, and low lag musical instruments.

github.com/benrayfield/bayeslambda

Vaya's read on this project

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

Updates

No recent activity.