I had assumed the question was more aimed towards LessWrong, not serious academic usage. I’d expect academic references to be in the form “I work for MIRI”, not cutesy shorthand.
Still, no one walks around calling themself a CSAILian. If there are people calling themselves Mirians, even if those people aren’t directly affiliated with MIRI, that could hurt MIRI’s credibility, I suspect, because it would make them seem unusual relative to other serious research groups.
I had assumed the question was more aimed towards LessWrong, not serious academic usage. I’d expect academic references to be in the form “I work for MIRI”, not cutesy shorthand.
Still, no one walks around calling themself a CSAILian. If there are people calling themselves Mirians, even if those people aren’t directly affiliated with MIRI, that could hurt MIRI’s credibility, I suspect, because it would make them seem unusual relative to other serious research groups.