i’ve thought about this a bunch before, and in a recent post i suggest hard-coding the universal program instead of varying over spec, such that the (query, decoder) pair is the only thing left varying. is this something that has been considered by other people about UDASSA ?
I think your proposal is the same as regularUDASSA. The “claw” and “world” aren’t intrinsic parts of the framework, they’re just names Carlsmith uses to denote a two-part structure that frequently appears in programs used to generate our observations.
i’ve thought about this a bunch before, and in a recent post i suggest hard-coding the universal program instead of varying over
spec, such that the(query, decoder)pair is the only thing left varying. is this something that has been considered by other people about UDASSA ?I think your proposal is the same as regular UDASSA. The “claw” and “world” aren’t intrinsic parts of the framework, they’re just names Carlsmith uses to denote a two-part structure that frequently appears in programs used to generate our observations.