Specifications are about to rule the software world, and we're right in the middle of it. No matter our opinion on AGI, scaling laws need continue for no more than a few years to dramatically change how many developers write software—and may have done so already. These developers will lean on specs like property-based testing more than ever before. What research directions are best placed to help these developers? Formal verification synergies? Spec-driven development? I don't have all the answers, but I do have some thoughts.