gwern comments on For the Record: DL ∩ ASI = ∅

[gwern]

How is this ‘for the record’ if it’s by an anonymous account?