Open Letter to MIRI + Tons of Interesting Discussion — LessWrong