Yes. Or at least, becoming a distinct organization was already the plan when I got there in early 2012: get a group of people together to create a rationality organization, initially rely on MIRI for institutional support, become an independent organization some months later once all the pieces are in place to do so.
I had some impression that this was more up-in-the-air during the very first rationality bootcamp (in part because it wasn’t even clear if the bootcamp was going to be a fruitful experiment). Curious if you have a strong sense of that one way or another?
Yes. Or at least, becoming a distinct organization was already the plan when I got there in early 2012: get a group of people together to create a rationality organization, initially rely on MIRI for institutional support, become an independent organization some months later once all the pieces are in place to do so.
I had some impression that this was more up-in-the-air during the very first rationality bootcamp (in part because it wasn’t even clear if the bootcamp was going to be a fruitful experiment). Curious if you have a strong sense of that one way or another?