[math-fun] The universe as simulation