machine-intelligence/predictionbook
Find out just how sure you should be, and get better at being only as sure as the facts justify.
Developer Profile
machine-intelligence
Discovered public repositories for machine-intelligence in the GitHub catalog.
machine-intelligence/Botworld.HOL
An implementation of Botworld in Higher Order Logic
machine-intelligence/Botworld
A cellular automaton for studying self-modifying agents which are embedded in their environment
machine-intelligence/provability
Public repository.