Whatever MIRI is doing in their undisclosed research program (involving Haskell I guess)
Uh… Haskell? I’m intrigued now.
MIRI’s hiring; maybe you should email Buck.
I wrote that based on their newsletter: “A significant portion of MIRI’s current work is in Haskell”.
They hired Edward Kmett, Haskell goliath.