On episode 92 of @o11ycast, Ken and Jess (@jessitron) speak with Ray Myers (@lambdapocalypse) about building reliable AI-assisted software development workflows. The conversation covers coding agents, OpenTelemetry, formal methods, mutation testing, and why proven engineering