u/edwardkmettin r/haskell • Recommends
On “MIRI's newest recruit: Edward Kmett!”
I joined MIRI back in August, and have been talking a bit about the fact that i'm working there with folks at ICFP and on my twitch stream here and there.
At the moment I'm balancing working on my current research project with outreach to the functional programming community for MIRI. If you want some sense of what the heck "AI Risk" even is, this talk by Eliezer Yudkowsky is worth watching.