jimrandomh comments on Open Letter to MIRI + Tons of Interesting Discussion