Given the apparent misconceptions about MIRI’s work even among LWers, it seems like you need to write a Main post clarifying what MIRI does and does not claim, and does and does not work on.
Given the apparent misconceptions about MIRI’s work even among LWers, it seems like you need to write a Main post clarifying what MIRI does and does not claim, and does and does not work on.