Crossposted from the AI Alignment Forum. May contain more technical jargon than usual.
This is a linkpost for http://gallabytes.com/2016/10/adt.html
The sentence ending the first paragraph of section 5 is garbled:
" In this section, we will discuss some such criteria, as well as In our setting, this sort of measure turns out to be definable."