I agree with much of this, but it seems like Eliezer (and MIRI?) mostly want to reach people with strong mathematical talent. We observe much more interest among such people since Eliezer started; in particular he trolled Wei Dai into creating UDT. I haven’t looked, but I would guess XiXiDu has criticized him for some part of the way he proposed TDT with the associated trolling of mathematicians.
I agree with much of this, but it seems like Eliezer (and MIRI?) mostly want to reach people with strong mathematical talent. We observe much more interest among such people since Eliezer started; in particular he trolled Wei Dai into creating UDT. I haven’t looked, but I would guess XiXiDu has criticized him for some part of the way he proposed TDT with the associated trolling of mathematicians.
Just out of curiosity, what do you mean when you say that Eliezer “trolled Wei Dai” (and other mathematicians)?
“I do have a proposed alternative ritual of cognition which computes this decision, which this margin is too small to contain”
Why was this trolling? This was in fact true, although Wei Dai’s UDT ended up giving rise to a better framework for future and more general DT work.