MIRI location optimization (and related topics) discussion — AI Alignment Forum