Computational irreducibility challenges the simulation hypothesis — LessWrong