I believe the folks at MIRI spend most their time on Wei Dai's Updateless Decision Theory now. MIRI is strange. Five years ago, I was convinced they were very

I believe the folks at MIRI spend most their time on Wei Dai's Updateless Decision Theory now. MIRI is strange. Five years ago, I was convinced they were very misguided or cranks, but I've been reading some of their logic stuff and much of it is pretty neat. I also attended a talk by Yudkowsky at MIT and it was also very good. I'm not sure what to think now.