junk heap homotopy's Shortform — LessWrong