Engineering Culture by InfoQ · 2026-07-10 · 23 min
This is the Engineering Culture Podcast, from the people behind InfoQ.com and the QCon conferences. In this podcast Shane Hastie, Lead Editor for Culture & Methods spoke to Gabriela Moreira about making formal methods accessible through the Quint specification language, how AI is dramatically lowering the barrier to entry for formal specification and model-based testing, and why defining correct system behaviour remains essential human work in an AI-driven world. Read a transcript of this interview: Newsletter:
Founders, Friction, and Focus: Building Engineering Teams at Early-Stage Startups80 / 100
Craig McLuckie on Culture as a Team's Operating System in the AI Era78 / 100
Culture & Methods Trends 2026: The Human Side of AI Engineering
The AI Joy Gap: Why Some Developers Thrive While Others Struggle
Tiger Teams, Evals and Agents: The New AI Engineering Playbook