I shall begin with a brief survey of the intimate relationships between various manifestations of non-positive curvature and decision problems in group theory and topology. I shall then explain recent work exploring the outer limits of these relationships, with special emphasis on the mapping tori of free-group automorphisms.