
Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura
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 ergon...
10 Aug 1h 8min

Creator of Lua: Scripting, Programming Languages, Predictions | Roberto Ierusalimschy
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 lan...
3 Aug 1h 5min

Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl
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.• ...
27 Juli 1h 27min

Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy
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 ...
20 Juli 1h 24min

Turing Award Winner: TPU vs GPU vs CPU, Computer Architecture, RISC vs CISC | David Patterson
David Patterson is a Turing Award winner famous for his contributions to computer architecture. I interviewed him about his past work, thoughts on GPU/TPUs and career advice from half a century of exp...
13 Juli 59min

Turing Award Winner: NSA, Public Key Cryptography, Crypto Wars | Martin Hellman
Martin Hellman is a Turing Award winner who helped to invent public-key cryptography against the NSA's wishes. I interviewed him all about his work and why it broke the law at the time.• My ergonomic ...
6 Juli 1h 1min

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. I interviewed him all about his work starting by asking him a popular Leetcode question (3 SUM).C...
29 Juni 1h 12min

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. I inteviewed him about how software engineering is changing and learnings from starting his own company ...
22 Juni 1h 22min




















