Industrialised Science

Automated Science and the Halting Problem

Science as compression, the limits of computation, and why we will always need more ways to spend compute power.