Raemon comments on What I’ll be doing at MIRI

[Raemon]

Probably not that important for this comment, but pretty important in terms of “is voting currently badly broken.” Thanks for the heads up!