Freiburg - Sequences & TAP Result Discussion — LessWrong