Thanks, but after my last post I don’t think there’s enough informed interest here for this kind of stuff. Pretty much everyone who could take the ideas further is already participating in the workshop. Besides, even though this particular formalization may belong to me, UDT is Wei Dai’s idea and I leave it up to him to report our progress elsewhere.
Thanks, but after my last post I don’t think there’s enough informed interest here for this kind of stuff. Pretty much everyone who could take the ideas further is already participating in the workshop. Besides, even though this particular formalization may belong to me, UDT is Wei Dai’s idea and I leave it up to him to report our progress elsewhere.