The issue is expressing formally the algorithm which uses all the information to get the right answer in Newcomb's.
That does make it clearer why I'm a 0-boxer and uninterested by it, and suggests I should refrain from approaching it on a level as intense as Eliezer's paper until I am interested in formality, as a correct one-page explanation is unlikely to be formal and the reason the problem is interesting is in its formality.
I have not seen any place to discuss Eliezer Yudkowsky's new paper, titled Timeless Decision Theory, so I decided to create a discussion post. (Have I missed an already existing post or discussion?)