x
Freiburg - Sequences & TAP Result Discussion — LessWrong