OM DENNE EPISODE

Engelsk
USA

UDSKRIFT 🔗

SØK BLANT TIDLIGERE EPISODER

Søk etter gamle episoder av The Stack Overflow Podcast.

ANDRE EPISODE I DENNE PODKAST

Ryan is joined by Gabriela Moreira, CEO at Quint, about why formal specification languages like TLA+ are essential for catching system design flaws before writing code, how Quint brings developer-friendly syntax and executability to formal methods, and the ways trace validation and model-based test…
Ryan sits down with Josh Triplett, member of the Rust Leadership Team at the Rust Project, to chat about how the borrow checker delivers compile-time memory safety without garbage collection overhead, why Rust consistently ranks as developers' most loved language by providing psychological safety f…
Ryan chats with Julien Verlaguet, CEO at Skip Labs, about finding the balance between human tolerance and tooling constraints, the spectrum of typed programming languages, and building cost-effective tooling for AI agents. Episode notes:  Skip Labs develops a programming language designed for …
Ryan chats with Erin Yepis, Senior Analyst at Stack Overflow, about the results from this year’s Annual Developer Survey, including the overwhelming daily usage of AI coding assistants despite lingering developer trust issues, the critical role of well-organized documentation in providing verifiabl…
Ryan is joined by Yanbing Li, Chief Product Officer at Datadog, to talk about applying observability to non-deterministic AI agents, blurring the boundaries between software development and production workflows, and navigating emerging challenges in AI security and tokenomics. Episode notes:  …
Ansvarsfraskrivelse: Podkasten og kunstværket, det finnes indlejret på denne siden, er fra The Stack Overflow Podcast, som tilhører dens eier og ikke er tilknyttet eller godkjent av Listen Notes, Inc.