2025年12月29日

关于这一集

Hi all, it's been such a fun project for me this year launching this podcast and trying my best to make the content as helpful as possibleAppreciate everyone who has taken the time to watch my videos and give feedback on how to make it betterIt wouldn't be the same without your support! Next year I plan to work hard to keep improving the content, see you in 2026

𝗧𝗶𝗺𝗲𝘀𝘁𝗮𝗺𝗽𝘀:

00:00 - Intro

00:50 - Meta Distinguished Eng (Philip Su)

05:23 - Amazon Principal Eng (Steve Huynh)

06:23 - Google Staff Eng by 28 (Ricky Lee)

07:30 - Meta Staff Eng by 25 (Evan King)

08:51 - Shopify Distinguished Eng (Ilya Grigorik)

10:49 - Amazon VP (Ethan Evans)

12:24 - Meta Senior Staff Eng (Dwayne Reeves)

13:14 - CloudKitchens CTO, Ex Uber Senior Staff (Brian Attwell)

13:55 - Instagram Principal Eng (Jake Bolam)

14:42 - Uber Distinguished Eng (Joakim Recht)

15:03 - Creator of Claude Code, Ex Meta Principal (Boris Cherny)

15:45 - Outro

教育

科技

英语

美国

使用 API 获取 JSON 中的这一集

在这一集里

brian attwell

dwayne reeve

ethan evan

# ilya grigorik

# evan king

# ricky lee

steve huynh

philip su

编辑这些标签

文字稿 🔗

Are you the producer of this podcast? Add a podcast transcript

Need Audio-to-Text? Transcribe with Listen411 in Just 60 Seconds

搜索以前的节目

搜索The Peterman Pod以前的节目。

把搜索框内嵌到你的网站上

本播客中的其他单集

Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl

2026年7月27日

Judea Pearl is a Turing Award winner and a pioneer in artificial intelligence and causal reasoning. We talked about how he got into science, his major breakthroughs and his predictions for AI today. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/...

01:27:33

保存

剪辑

Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura

2026年8月10日

Leonardo de Moura is the creator of Lean and the Z3 theorem prover. I talked with him about how Lean works and why LLMs plus Lean will fundamentally change how we write software and do math. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.compose.llc/ • The K...

01:08:06

保存

剪辑

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

2026年7月20日

Xavier Leroy (creator of OCaml) is an expert in compilers, formal verification of software and functional programming. This interview should be an approachable resource if you're curious about formal verification of software since I was learning that on the fly during it. • My ergonomic keyboard...

01:24:27

保存

剪辑

Creator of TypeScript: 10x Faster Typescript, Why AI Won't Replace SWEs | Anders Hejlsberg

2026年8月17日

Anders Hejlsberg is the creator of TypeScript and C#, and I asked him about how the TypeScript compiler got 10x faster through a rewrite in Go and his thoughts on how AI has impacted software engineering. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.compos...

01:05:57

保存

剪辑

Creator of Lua: Scripting, Programming Languages, Predictions | Roberto Ierusalimschy

2026年8月3日

Roberto Ierusalimschy is the creator of the Lua programming language. I interviewed him about Lua's unique strengths, programming language design and predictions for how AI will impact programming languages. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.com...

01:05:16

保存

剪辑