In 1995 the speaker, Jones, and Segal introduced the notion of "Floer homotopy theory." The proposal was to attach a (stable) homotopy type to the geometric data given in a version of Floer homology. More to the point, the question was asked,"When is the Floer homology isomorphic to the (singular) homology of a naturally occurring spectrum defined from the properties of the moduli spaces inherent in the Floer theory?" Years passed before this notion found some genuine applications to symplectic geometry and low dimensional topology. However in recent years several striking applications have been found, and the theory has been developed on a much deeper level. In this talk I will sketch the theory and talk about applications by Lipshitz-Sarkar, Manolescu, and others.