maximkazhenkov comments on On unfixably unsafe AGI architectures

[maximkazhenkov]

Whatever MIRI is doing in their undisclosed research program (involving Haskell I guess)

Uh… Haskell? I’m intrigued now.

[Vaniver]

MIRI’s hiring; maybe you should email Buck.

[Steven Byrnes]

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

[Gurkenglas]

They hired Edward Kmett, Haskell goliath.