Antithesis on The Pragmatic Engineer Podcast
The Pragmatic Engineer PodcastJuly 8, 2026
The Pragmatic Engineer AMA
0:14
pre-roll
Gergely Orosz
Gergely Orosz
July 8, 2026
Host-read (by Gergely Orosz)Brand awarenessBaked-in adSaaS
0:00 / 0:14
@ 0:22 in ep
Transcript
Thanks to Antithesis for being our presenting sponsor. With Antithesis, you can verify your system's correctness without human review or traditional interrogation tests and avoid bugs or outages. With this, let's jump in.
Auto-transcribed · verbatim audio matches · Report an error
More from Antithesis
Recent reads from this sponsor
Dwarkesh Podcast · Host: Dwarkesh Patel · Ryan Greenblatt – Human level AIs might build runaway superintelligences by 2032
Est. value ~$450range $72–$3K
Dwarkesh Podcast · Host: Dwarkesh Patel · Ryan Greenblatt – Human level AIs might build runaway superintelligences by 2032
Est. value ~$450range $72–$3K
The Pragmatic Engineer Podcast · Host: Gergely Orosz · Formal methods with Hillel Wayne
Est. value ~$450range $72–$3K
The Pragmatic Engineer Podcast · Host: Gergely Orosz · Tech interviews with NeetCode
Est. value ~$450range $72–$3K
Estimated ad cost
~$300range $49–$2,000
Estimate of what a similar one-episode podcast ad would cost based on rank, placement, and duration
Methodology and limitations →Episode
The Pragmatic Engineer Podcast
The Pragmatic Engineer AMA
Host: Gergely Orosz
Publisher: Gergely Orosz