In this talk, we will describe a new construction of the spectrum of topological modular forms, which avoids the use of complicated obstruction-theoretic calculations. The construction requires certain ideas from ”derived algebraic geometry”, which will be introduced and discussed. As an application, we will explain how the same ideas give rise to equivariant versions of elliptic cohomology.