Recent Progress in Homotopy Theory