Loc_n(w in UPPEROMEGA, b of length n) = a distribution over halting/deterministic/non-crazy programs that eat w and give a bitstring of length n. If f(w) = b, then our distribution puts weight the KSIMP(f) as the weight on that f. Otherwise, we weight it 0, since f didn’t give us b in the first place.
rotatingpaguro comments on [missing post]