x
junk heap homotopy — LessWrong