Eliezer was trying to write a formel book on rationality. I found that he could get out of writers block by writing HPMOR.
Afterwards SI split into MIRI and CFAR with Eliezer mainly working on the MIRI side instead of the CFAR side, so I don’t know whether there will be a formel book on rationality by Eliezer at any point in time.
But I could have also attempted to refer to writing in a way that publishable in journals. I pointed to the narrative that gets my attention more than to particular instances.
Eliezer was trying to write a formel book on rationality. I found that he could get out of writers block by writing HPMOR.
Afterwards SI split into MIRI and CFAR with Eliezer mainly working on the MIRI side instead of the CFAR side, so I don’t know whether there will be a formel book on rationality by Eliezer at any point in time.
But I could have also attempted to refer to writing in a way that publishable in journals. I pointed to the narrative that gets my attention more than to particular instances.