What does "meta-execution without indirection" look like?
I've been trying to understand IDA/Factored Evaluation at a deep level, and I find meta-execution especially confusing. The LW post says that it is "HCH + annotated functional programming + a level of indirection", but I'm not sure what the "level of indirection" is doing. To understand it better, I...
On average, I'd guess my expected PredictIt profit per question I put a substantial time + money investment into is around $600. Obviously, this is evidence that the market is extremely inefficient; I just don't see how a market with no incentive to put the time in would be any better.