[deleted] comments on New paper from MIRI: “Toward idealized decision theory”

[[deleted]]

Hence my switching to the MIRIx mailing list and typing out a technical post.