My experience at and around MIRI and CFAR (inspired by Zoe Curzi's writeup of experiences at Leverage) — LessWrong