The Peterman Post
Subscribe
Sign in
Home
Podcast
To Mid-level
To Senior
To Staff
Engineering Career Stories
Soft Skills
Latest
Top
Discussions
Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura
In 2024, AlphaProof from Google Deepmind broke through in competition math achieving a silver-medal in Interational Mathematical Olympiad (IMO).
Aug 10
•
Ryan Peterman
18
2
2
1:08:06
Creator of Lua: Scripting, Programming Languages, Predictions | Roberto Ierusalimschy
When I worked at Instagram, most of the codebase was in Python but occasionally I’d see these bindings into C++.
Aug 3
•
Ryan Peterman
10
1:05:16
July 2026
Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl
When I went to UCLA, I had heard professor Pearl’s name here and there from the other professors.
Jul 27
•
Ryan Peterman
17
1:27:33
Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy
Professor Leroy (Creator of OCaml) is incredibly knowledgeable.
Jul 20
•
Ryan Peterman
10
1
1:24:27
Turing Award Winner: TPUs vs GPUs vs CPUs, Computer Architecture, RISC vs CISC | David Patterson
In college I briefly studied RISC vs CISC for my major but I forgot almost everything now.
Jul 13
•
Ryan Peterman
21
2
2
59:11
Turing Award Winner: NSA, Public Key Cryptography, Crypto Wars | Martin Hellman
Interviewed Martin Hellman recently who was one of the inventors of the Diffie-Hellman key exchange algorithm.
Jul 6
•
Ryan Peterman
10
2
1:01:41
June 2026
MIT Complexity Theorist: Why You Can Do Better Than “Optimal” On Leetcode & SAT | Ryan Williams
Ryan Williams is a professor at MIT and the winner of the Gödel Prize in theoretical computer science.
Jun 29
•
Ryan Peterman
1
1:12:52
OpenAI Eng & Dev Tools Founder: How Software Engineering Is Changing | Charlie Marsh
Charlie Marsh is the founder of Astral, the Python devtool startup that was acquired by OpenAI.
Jun 22
•
Ryan Peterman
1
1:22:56
Google DeepMind Pre-Training Lead: How To Get a Job at a Frontier Lab | Vlad Feinberg
Skills frontier labs need, differences between software engineering and research, concrete steps engineers can take
Jun 15
•
Ryan Peterman
4
1
1:04:03
Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Simon Peyton Jones is the co-creator of Haskell (pure functional programming language) and I interviewed him about functional programming, why it…
Jun 8
•
Ryan Peterman
1:27:52
Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson
His field & life's work
Jun 1
•
Ryan Peterman
3
2:15:47
May 2026
3 Top Takeaways From Dropbox’s Former Most Senior Engineer | James Cowling
Advice for the AI era, fixing broken incentives, simplicity vs complexity
May 25
•
Ryan Peterman
30
1
1
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
