Search across episodes, people, companies, and topics — or ask the AI agent for deeper research and structured analysis.

Browse all available podcasts, episodes, and categories. Explore Technology shows and discover new content to follow.

Manage your subscribed podcasts. New episodes are automatically analyzed with AI when published, so you never miss important discussions.

Your AI analysis feed. Every episode you analyze appears here with key insights, summaries, and extracted intelligence.

Browse individuals mentioned across analyzed episodes. See who's being discussed, in what context, and how often.

Track companies and organizations referenced in podcast discussions. Monitor brand mentions and competitive intelligence.

Explore recurring topics and themes extracted from analyzed episodes. Discover what subjects are driving podcast conversations.

Spot emerging trends identified by AI across analyzed episodes. See what's gaining momentum in podcast discussions.

Browse brands and advertisers identified across analyzed episodes. See which companies sponsor which shows and how often.

Edsger Dijkstra

Mentioned in 2 analyzed podcast episodes across 2 shows

Appears On

The Peterman Pod The Pragmatic Engineer

Episode Appearances

The Peterman Pod

The Peterman Pod · Jul 20, 2026

Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy

“Dutch pioneer quoted on limitations of testing: 'testing can only show presence of bugs, not their absence'”

OCaml Programming Language DesignFunctional Programming vs Imperative ProgrammingGarbage Collection vs Manual Memory Management

The Pragmatic Engineer

The Pragmatic Engineer · Feb 4, 2026

The third golden age of software engineering – thanks to AI, with Grady Booch

“Computer scientist who contributed to formal methods and mathematical rigor in software development”

History of software engineering golden agesAI impact on software development careersAbstraction levels in programming evolution