Vladimir_Nesov comments on [video] Paul Christiano’s impromptu tutorial on AIXI and TDT

[Vladimir_Nesov]

Note that when Paul writes “UDT” on a piece of paper he really meant “TDT.” :)

The description fits both UDT and TDT, so there seems to be no need to correct that (it doesn’t fit ADT).