Steven Byrnes comments on On unfixably unsafe AGI architectures

[Steven Byrnes]

I wrote that based on their newsletter: “A significant portion of MIRI’s current work is in Haskell”.