Explore a thought-provoking keynote on balancing speed and discipline in software development. Delve into the challenges of meeting intense user demands and rapid feature delivery expectations. Discover tools and practices that can help alleviate development pains while coping with these demands. Learn about the importance of sustainable agile practices and the shift from imperative to declarative programming paradigms. Gain insights on effective testing strategies, including the distinction between testing and verification. Understand the value of automated verification and its role in maintaining code quality. Reflect on the craft of software development and the importance of disciplined practices in creating sustainable, high-quality applications.