The Pragmatic Engineer

by Gergely Orosz

Software engineering at Big Tech and startups, from the inside. Deepdives with experienced engineers and tech professionals who share their hard-earned lessons, interesting stories and advice they have on building software. Especially relevant for software engineers and engineering leaders: useful for those working in tech.

newsletter.pragmaticengineer.com

50 Episodes

Showing 6 of 50 — sign up free for all episodes

NewsTech NewsTechnology

Episodes

Showing 6 of 50 episodes

Create a free account to unlock all episodes and start listening

Building Codex with Tibo Sottiaux

Brought to You By:• turbopuffer – a vector and full-text search engine built on object storage. It’s fast, cheap, and extremely scalable• Antithesis –...

1h 13m

•Sep 9, 2026

Why performant code matters (but gets widely ignored), with Casey Muratori

Brought to You By:• Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages.• ...

1h 52m

•Aug 26, 2026

From Chrome DevTools to AI Engineering, with Addy Osmani

Brought to You By:• Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages.• ...

1h 31m

•Aug 19, 2026

Stop being skeptical about AI for development with Charity Majors

Brought to You By:• Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages.• ...

1h 25m

•Aug 12, 2026

Formal methods with Hillel Wayne

Brought to You By:• Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages.• ...

1h 23m

•Jul 29, 2026

Context engineering with Dex Horthy

Brought to You By:• Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages.• ...

1h 32m

•Jul 15, 2026

Episodes

Showing 6 of 50 episodes

Create a free account to unlock all episodes and start listening

Building Codex with Tibo Sottiaux

Brought to You By:• turbopuffer – a vector and full-text search engine built on object storage. It’s fast, cheap, and extremely scalable• Antithesis –...

1h 13m

•Sep 9, 2026

Why performant code matters (but gets widely ignored), with Casey Muratori

Brought to You By:• Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages.• ...

1h 52m

•Aug 26, 2026

From Chrome DevTools to AI Engineering, with Addy Osmani

Brought to You By:• Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages.• ...

1h 31m

•Aug 19, 2026

Stop being skeptical about AI for development with Charity Majors

Brought to You By:• Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages.• ...

1h 25m

•Aug 12, 2026

Formal methods with Hillel Wayne

Brought to You By:• Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages.• ...

1h 23m

•Jul 29, 2026

Context engineering with Dex Horthy

Brought to You By:• Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages.• ...

1h 32m

•Jul 15, 2026