Roko comments on What is MIRI currently doing?

[Roko]

If you look at the answers there is an entire “hidden” section of the MIRI website doing technical governance!