Text this: Recent progress in homotopy theory :