The Pragmatic Engineer
Gergely Orosz
Big Tech and startups, from the inside. Highly relevant for software engineers, AI engineers and engineering leaders, useful for those working in tech.
Recent Episodes
Formal methods with Hillel Wayne
Jul 29, 2026Hillel Wayne, a formal methods consultant and author of 'Logic for Programmers,' discusses his research comparing software engineering to traditional engineering disciplines, his work with TLA+ for formal verification, and the practical applications of formal methods in industry. The conversation explores whether AI-written code necessitates formal verification, the crossover project findings on software vs. traditional engineering, property-based testing as a middle ground, and Wayne's concerns about how AI may reshape the software engineering profession.
Context engineering with Dex Horthy
Jul 15, 2026The Pragmatic Engineer AMA
Jul 8, 2026How Kent Beck shapes the software engineering industry
Jul 1, 2026Tech interviews with NeetCode
Jun 24, 2026CI/CD with Robert Erez
Jun 17, 2026Kubernetes and retiring at the top with Kelsey Hightower
Jun 3, 2026Building OpenCode with Dax Raad
May 27, 2026Why Rust is different, with Alice Ryhl
May 20, 2026TypeScript, C# and Turbo Pascal with Anders Hejlsberg
May 13, 2026
Show artwork and metadata belong to the publisher and are shown here editorially, as part of documenting the corpus behind our analyses. Inclusion does not imply any endorsement of, or by, MeetBri.