dxu comments on Discussion with Nate Soares on a key alignment difficulty

[dxu]

Generic (but strong) upvote for more public cruxing (ish) discussions between MIRI and outsiders!