[Question] Was CFAR always intended to be a distinct organization from MIRI?

When what would later be­come CFAR first started as a se­ries of ra­tio­nal­ity work­shops run un­der the purview of MIRI in 2012, was it always the in­ten­tion of CFAR’s founders to have it be a pro­ject/​or­ga­ni­za­tion dis­tinct from MIRI since its be­gin­ning? Or, did CFAR’s founders de­cide to in­cor­po­rate CFAR as an or­ga­ni­za­tion sep­a­rate from MIRI af­ter it be­came clear the ra­tio­nal­ity work­shops weren’t a fit pro­ject for MIRI it­self later on?

No comments.