The Peterman Pod podcast
10 mentions · across 1 show
Relationship map
website book person productsolid = outgoing · dashed = incoming
Connections 93
mentioned 52
-
0.90
evidence rules-v5
Link in episode "OpenAI & Meta Distinguished Eng (IC9): The Psychology Behind Tech Career Peaks | Philip Su": https://molochinations.substack.com/
-
0.90
evidence rules-v5
Link in episode "OpenAI & Meta Distinguished Eng (IC9): The Psychology Behind Tech Career Peaks | Philip Su": https://us.macmillan.com/books/9780374715243/fourthousandweeks
-
0.90
evidence rules-v5
Link in episode "Casey Muratori: Surprises In Computer History And Where Bad Code Comes From": https://en.wikipedia.org/wiki/Casey_Muratori
-
0.90
evidence rules-v5
Link in episode "Casey Muratori: Surprises In Computer History And Where Bad Code Comes From": https://medium.com/@acidflask/this-guys-arrogance-takes-your-breath-away-5b903624ca5f
-
0.90
evidence rules-v5
Link in episode "Amazon VP: Questions On Corporate Politics But They Get Increasingly Darker | Ethan Evans": https://levelupwithethanevans.substack.com/
-
0.90
evidence rules-v5
Link in episode "Amazon VP: Questions On Corporate Politics But They Get Increasingly Darker | Ethan Evans": https://penguinrandomhouse.com/books/330912/the-48-laws-of-power-by-robert-greene
-
0.90
evidence rules-v5
Link in episode "Creator of TypeScript: 10x Faster Typescript, Why AI Won't Replace SWEs | Anders Hejlsberg": https://en.wikipedia.org/wiki/Anders_Hejlsberg
-
0.90
evidence rules-v5
Link in episode "Creator of TypeScript: 10x Faster Typescript, Why AI Won't Replace SWEs | Anders Hejlsberg": https://github.com/microsoft/TypeScript
-
0.90
evidence rules-v5
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://en.wikipedia.org/wiki/Leonardo_de_Moura
-
0.90
evidence rules-v5
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://github.com/leanprover/lean4
-
0.90
evidence rules-v5
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://github.com/leanprover-community/mathlib4
-
0.90
evidence rules-v5
Link in episode "Creator of Scala: Comparing Languages And How AI Will Impact Them | Martin Odersky": https://en.wikipedia.org/wiki/Martin_Odersky
-
0.90
evidence rules-v5
Link in episode "Sergey Levine: Current State of Humanoid Robotics, China & Future Predictions": https://scholar.google.com/citations?hl=en&user=8R35rCwAAAAJ
-
0.90
evidence rules-v5
Link in episode "Sergey Levine: Current State of Humanoid Robotics, China & Future Predictions": https://en.wikipedia.org/wiki/Sergey_Levine
-
0.90
evidence rules-v5
Link in episode "Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy": https://en.wikipedia.org/wiki/Xavier_Leroy
-
0.90
evidence rules-v5
Link in episode "Creator of Lua: Scripting, Programming Languages, Predictions | Roberto Ierusalimschy": https://en.wikipedia.org/wiki/Roberto_Ierusalimschy
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Judea_Pearl
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Bayesian_network
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Alpha%E2%80%93beta_pruning
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Pearl_vortex
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Graphoid
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Causality_(book
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: TPU vs GPU vs CPU, Computer Architecture, RISC vs CISC | David Patterson": https://en.wikipedia.org/wiki/David_Patterson_(computer_scientist
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: TPU vs GPU vs CPU, Computer Architecture, RISC vs CISC | David Patterson": https://en.wikipedia.org/wiki/Working_(Terkel_book
-
0.90
evidence rules-v5
Link in episode "MIT Complexity Theorist: Why You Can Do Better Than “Optimal” On Leetcode & SAT | Ryan Williams": https://en.wikipedia.org/wiki/Ryan_Williams_(computer_scientist
-
0.90
evidence rules-v5
Link in episode "Google DeepMind Pre-Training Lead: How To Land a Job at a Frontier Lab | Vlad Feinberg": https://github.com/HazyResearch/ThunderKittens
-
0.90
evidence rules-v5
Link in episode "Google DeepMind Pre-Training Lead: How To Land a Job at a Frontier Lab | Vlad Feinberg": https://cs.stanford.edu/~jsteinhardt/ResearchasaStochasticDecisionProcess.html
-
0.90
evidence rules-v5
Link in episode "OpenAI Eng & Dev Tools Founder: How Software Engineering Is Changing | Charlie Marsh": https://github.com/salsa-rs/salsa
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: NSA, Public Key Cryptography, Crypto Wars | Martin Hellman": https://en.wikipedia.org/wiki/Martin_Hellman
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: NSA, Public Key Cryptography, Crypto Wars | Martin Hellman": https://ee.stanford.edu/~hellman
-
0.90
evidence rules-v5
Link in episode "Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones": https://en.wikipedia.org/wiki/Simon_Peyton_Jones
-
0.90
evidence rules-v5
Link in episode "Creator of C++: Bell Labs, Negative Overhead Abstraction, Mistakes | Bjarne Stroustrup": https://en.wikipedia.org/wiki/Bjarne_Stroustrup
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson": https://en.wikipedia.org/wiki/Avi_Wigderson
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson": https://sciencedirect.com/science/article/pii/0022314X80900840/pdf?md5=6f748cd82fa8efa1a637efab5f632baa&pid=1-s2.0-0022314X80900840-main.pdf
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson": https://arxiv.org/pdf/math/0301343
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson": https://arxiv.org/pdf/quant-ph/9508027
-
0.90
evidence rules-v5
Link in episode "Dropbox’s Former Most Senior Eng: Building Great Systems and Advice for the AI Era | James Cowling": https://medium.com/@jamesacowling/embracing-papercuts-e6390055dfc4
-
0.90
evidence rules-v5
Link in episode "Dropbox’s Former Most Senior Eng: Building Great Systems and Advice for the AI Era | James Cowling": https://medium.com/@jamesacowling/dont-lead-by-example-4f86b1174e64
-
0.90
evidence rules-v5
Link in episode "Dropbox’s Former Most Senior Eng: Building Great Systems and Advice for the AI Era | James Cowling": https://medium.com/@jamesacowling/your-system-is-not-a-sports-team-e17f9eb16b94
-
0.90
evidence rules-v5
Link in episode "Turing Award Winner: Data Abstraction, Dijkstra, Distributed Systems | Barbara Liskov": https://en.wikipedia.org/wiki/Barbara_Liskov
-
0.90
evidence rules-v5
Link in episode "PyTorch Eng Director: Promo Hacking, Industry Shifts, Regrets | John Myles White": https://linkedin.com/in/john-myles-white-115697180
-
0.90
evidence rules-v5
Link in episode "PyTorch Eng Director: Promo Hacking, Industry Shifts, Regrets | John Myles White": https://amazon.com/Foundations-Agnostic-Statistics-Peter-Aronow/dp/1316631141
-
0.90
evidence rules-v5
Link in episode "PyTorch Eng Director: Promo Hacking, Industry Shifts, Regrets | John Myles White": https://amazon.com/All-Statistics-Statistical-Inference-Springer/dp/0387402721
-
0.90
evidence rules-v5
Link in episode "Harvard Professor: CS50, What Matters More Than CS, Lecturing Well | David J Malan": https://amazon.com/How-Computers-Work-Evolution-Technology/dp/078974984X
-
0.90
evidence rules-v5
Link in episode "Neetcode: Google vs Amazon, Programming Interviews, Quitting Big Tech": https://amazon.com/Designing-Data-Intensive-Applications-Reliable-Maintainable/dp/B08VL1BLHB
-
0.90
evidence rules-v5
Link in episode "Retired Amazon VP: How Corporate Politics Work And How To Win | Ethan Evans": https://levelupwithethanevans.substack.com/
-
0.90
evidence rules-v5
Link in episode "Ex-Citadel Quant and AI Researcher On Breaking In, Tech vs Finance Careers": https://x.com/nimit_sohoni
-
0.90
evidence rules-v5
Link in episode "Frontline Manager at Meta to Senior Director at Snapchat in 3 Years (Career Story)": https://linkedin.com/in/rong-yan-2004692
-
0.90
evidence rules-v5
Link in episode "CloudKitchens CTO on Intelligence, Regrets, Steve Jobs and Travis Kalanick Stories": https://linkedin.com/in/brian-attwell
-
0.90
evidence rules-v5
Link in episode "Robinhood SWE Turned $1B+ Founder on Non-Linear Careers, Being Jaded About Promos, Startup Learnings": https://x.com/jayendra_jog
-
0.90
evidence rules-v5
Link in episode "Amazon VP On Promotions, Getting Fired Twice, Working With Bezos | Ethan Evans": https://levelupwithethanevans.substack.com/
-
0.86
evidence rules-v5
Self-Deception: https://arbinger.com/bookstore/leadership-and-self-deception • The 48 Laws of Power: https://www.penguinrandomhouse.com/books/330912/the-48-laws-of-power-by-robert
references 28
-
0.77
evidence rules-v5
Link in episode "OpenAI & Meta Distinguished Eng (IC9): The Psychology Behind Tech Career Peaks | Philip Su": https://molochinations.substack.com/
-
0.77
evidence rules-v5
Link in episode "OpenAI & Meta Distinguished Eng (IC9): The Psychology Behind Tech Career Peaks | Philip Su": https://us.macmillan.com/books/9780374715243/fourthousandweeks
-
0.77
evidence rules-v5
Link in episode "Casey Muratori: Surprises In Computer History And Where Bad Code Comes From": https://en.wikipedia.org/wiki/Casey_Muratori
-
0.77
evidence rules-v5
Link in episode "Casey Muratori: Surprises In Computer History And Where Bad Code Comes From": https://medium.com/@acidflask/this-guys-arrogance-takes-your-breath-away-5b903624ca5f
-
0.77
evidence rules-v5
Link in episode "Amazon VP: Questions On Corporate Politics But They Get Increasingly Darker | Ethan Evans": https://levelupwithethanevans.substack.com/
-
0.77
evidence rules-v5
Link in episode "Amazon VP: Questions On Corporate Politics But They Get Increasingly Darker | Ethan Evans": https://penguinrandomhouse.com/books/330912/the-48-laws-of-power-by-robert-greene
-
0.77
evidence rules-v5
Link in episode "Creator of TypeScript: 10x Faster Typescript, Why AI Won't Replace SWEs | Anders Hejlsberg": https://en.wikipedia.org/wiki/Anders_Hejlsberg
-
0.77
evidence rules-v5
Link in episode "Creator of TypeScript: 10x Faster Typescript, Why AI Won't Replace SWEs | Anders Hejlsberg": https://github.com/microsoft/TypeScript
-
0.77
evidence rules-v5
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://en.wikipedia.org/wiki/Leonardo_de_Moura
-
0.77
evidence rules-v5
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://github.com/leanprover/lean4
-
0.77
evidence rules-v5
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://github.com/leanprover-community/mathlib4
-
0.77
evidence rules-v5
Link in episode "Creator of Scala: Comparing Languages And How AI Will Impact Them | Martin Odersky": https://people.epfl.ch/martin.odersky
-
0.77
evidence rules-v5
Link in episode "Sergey Levine: Current State of Humanoid Robotics, China & Future Predictions": https://scholar.google.com/citations?hl=en&user=8R35rCwAAAAJ
-
0.77
evidence rules-v5
Link in episode "Sergey Levine: Current State of Humanoid Robotics, China & Future Predictions": https://en.wikipedia.org/wiki/Sergey_Levine
-
0.77
evidence rules-v5
Link in episode "Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy": https://en.wikipedia.org/wiki/Xavier_Leroy
-
0.77
evidence rules-v5
Link in episode "Creator of Lua: Scripting, Programming Languages, Predictions | Roberto Ierusalimschy": https://en.wikipedia.org/wiki/Roberto_Ierusalimschy
-
0.77
evidence rules-v5
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Judea_Pearl
-
0.77
evidence rules-v5
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Bayesian_network
-
0.77
evidence rules-v5
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Alpha%E2%80%93beta_pruning
-
0.77
evidence rules-v5
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Pearl_vortex
-
0.77
evidence rules-v5
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Graphoid
-
0.77
evidence rules-v5
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Causality_(book
-
0.77
evidence rules-v5
Link in episode "Turing Award Winner: TPU vs GPU vs CPU, Computer Architecture, RISC vs CISC | David Patterson": https://en.wikipedia.org/wiki/The_7_Habits_of_Highly_Effective_People
-
0.77
evidence rules-v5
Link in episode "Turing Award Winner: TPU vs GPU vs CPU, Computer Architecture, RISC vs CISC | David Patterson": https://en.wikipedia.org/wiki/David_Patterson_(computer_scientist
-
0.77
evidence rules-v5
Link in episode "Turing Award Winner: TPU vs GPU vs CPU, Computer Architecture, RISC vs CISC | David Patterson": https://en.wikipedia.org/wiki/Working_(Terkel_book
-
0.77
evidence rules-v5
Link in episode "MIT Complexity Theorist: Why You Can Do Better Than “Optimal” On Leetcode & SAT | Ryan Williams": https://en.wikipedia.org/wiki/Ryan_Williams_(computer_scientist
-
0.77
evidence rules-v5
Link in episode "Google DeepMind Pre-Training Lead: How To Land a Job at a Frontier Lab | Vlad Feinberg": https://github.com/HazyResearch/ThunderKittens
-
0.77
evidence rules-v5
Link in episode "Google DeepMind Pre-Training Lead: How To Land a Job at a Frontier Lab | Vlad Feinberg": https://cs.stanford.edu/~jsteinhardt/ResearchasaStochasticDecisionProcess.html
appeared on 13
-
0.63
evidence rules-v5
The Co-Creator of Kubernetes On Convincing Google, Building It, and Scaling for LLMs
-
0.63
evidence rules-v5
Distinguished Eng On Stack Ranking, Competing with Bezos, Regrets | Bryan Cantrill
-
0.63
evidence rules-v5
Meta Hiring Lead On Behind The Scenes of Senior+ Eng Hiring
-
0.63
evidence rules-v5
OpenAI Codex Tech Lead On How His Career Grew And How He Uses Codex | Michael Bolin
-
0.63
evidence rules-v5
Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport
-
0.63
evidence rules-v5
Retired Netflix Engineering Director On Regrets, Video Engineering, Hiring Stories
-
0.63
evidence rules-v5
Airbnb Staff Eng on How To Not Get Stuck at Senior and Untold Rules of Calibrations
-
0.63
evidence rules-v5
Ex-Citadel Quant and AI Researcher On Breaking In, Tech vs Finance Careers
-
0.63
evidence rules-v5
Uber Distinguished Eng On Unfair Promos, Influence, Engineering Regrets (Career Story)
-
0.63
evidence rules-v5
CloudKitchens CTO on Intelligence, Regrets, Steve Jobs and Travis Kalanick Stories
-
0.63
evidence rules-v5
Ex-Stripe CTO on What Grew His Career, Hiring Without Leetcode, Coding as a Leader (Career Story)
-
0.63
evidence rules-v5
Mozilla Firefox CTO on Browser War Stories and the Path to Distinguished Engineer
-
0.63
evidence rules-v5
Amazon VP On Promotions, Getting Fired Twice, Working With Bezos | Ethan Evans
Heard in
- The Peterman Pod13 episodes
Mentioned in episodes
-
2026-03-23 · The Peterman Pod · via appeared on · 0.63
The Co-Creator of Kubernetes On Convincing Google, Building It, and Scaling for LLMs
-
2026-03-16 · The Peterman Pod · via appeared on · 0.63
Meta Hiring Lead On Behind The Scenes of Senior+ Eng Hiring
-
2026-03-09 · The Peterman Pod · via appeared on · 0.63
OpenAI Codex Tech Lead On How His Career Grew And How He Uses Codex | Michael Bolin
-
2026-03-02 · The Peterman Pod · via appeared on · 0.63
Distinguished Eng On Stack Ranking, Competing with Bezos, Regrets | Bryan Cantrill
-
2026-02-23 · The Peterman Pod · via appeared on · 0.63
Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport
-
2026-02-16 · The Peterman Pod · via appeared on · 0.63
Retired Netflix Engineering Director On Regrets, Video Engineering, Hiring Stories
-
2026-01-26 · The Peterman Pod · via appeared on · 0.63
Ex-Citadel Quant and AI Researcher On Breaking In, Tech vs Finance Careers
-
2026-01-19 · The Peterman Pod · via appeared on · 0.63
Airbnb Staff Eng on How To Not Get Stuck at Senior and Untold Rules of Calibrations
-
2025-11-21 · The Peterman Pod · via appeared on · 0.63
CloudKitchens CTO on Intelligence, Regrets, Steve Jobs and Travis Kalanick Stories
-
2025-11-11 · The Peterman Pod · via appeared on · 0.63
Uber Distinguished Eng On Unfair Promos, Influence, Engineering Regrets (Career Story)
-
2025-10-10 · The Peterman Pod · via appeared on · 0.63
Mozilla Firefox CTO on Browser War Stories and the Path to Distinguished Engineer
-
2025-08-29 · The Peterman Pod · via appeared on · 0.63
Ex-Stripe CTO on What Grew His Career, Hiring Without Leetcode, Coding as a Leader (Career Story)
-
2025-08-01 · The Peterman Pod · via appeared on · 0.63
Amazon VP On Promotions, Getting Fired Twice, Working With Bezos | Ethan Evans
All extracted evidence for this entity (25)
description:link Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum
Link in episode "Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson": https://sciencedirect.com/science/article/pii/0022314X80900840/pdf?md5=6f748cd82fa8efa1a637efab5f632baa&pid=1-s2.0-0022314X80900840-main.pdf
description:link Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum
Link in episode "Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson": https://arxiv.org/pdf/math/0301343
description:link Sergey Levine: Current State of Humanoid Robotics, China & F
Link in episode "Sergey Levine: Current State of Humanoid Robotics, China & Future Predictions": https://en.wikipedia.org/wiki/Sergey_Levine
description:link Sergey Levine: Current State of Humanoid Robotics, China & F
Link in episode "Sergey Levine: Current State of Humanoid Robotics, China & Future Predictions": https://scholar.google.com/citations?hl=en&user=8R35rCwAAAAJ
description:link Turing Award Winner: Early AI, LLM Predictions, Causality |
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Judea_Pearl
description:link Amazon VP: Questions On Corporate Politics But They Get Incr
Link in episode "Amazon VP: Questions On Corporate Politics But They Get Increasingly Darker | Ethan Evans": https://levelupwithethanevans.substack.com/
description:link Retired Amazon VP: How Corporate Politics Work And How To Wi
Link in episode "Retired Amazon VP: How Corporate Politics Work And How To Win | Ethan Evans": https://levelupwithethanevans.substack.com/
description:link Amazon VP On Promotions, Getting Fired Twice, Working With B
Link in episode "Amazon VP On Promotions, Getting Fired Twice, Working With Bezos | Ethan Evans": https://levelupwithethanevans.substack.com/
description:link Amazon VP: Questions On Corporate Politics But They Get Incr
Link in episode "Amazon VP: Questions On Corporate Politics But They Get Increasingly Darker | Ethan Evans": https://penguinrandomhouse.com/books/330912/the-48-laws-of-power-by-robert-greene
description:link Casey Muratori: Surprises In Computer History And Where Bad
Link in episode "Casey Muratori: Surprises In Computer History And Where Bad Code Comes From": https://en.wikipedia.org/wiki/Casey_Muratori
description:link Casey Muratori: Surprises In Computer History And Where Bad
Link in episode "Casey Muratori: Surprises In Computer History And Where Bad Code Comes From": https://medium.com/@acidflask/this-guys-arrogance-takes-your-breath-away-5b903624ca5f
description:link OpenAI & Meta Distinguished Eng (IC9): The Psychology Behind
Link in episode "OpenAI & Meta Distinguished Eng (IC9): The Psychology Behind Tech Career Peaks | Philip Su": https://molochinations.substack.com/
description:link OpenAI & Meta Distinguished Eng (IC9): The Psychology Behind
Link in episode "OpenAI & Meta Distinguished Eng (IC9): The Psychology Behind Tech Career Peaks | Philip Su": https://us.macmillan.com/books/9780374715243/fourthousandweeks
description:link Creator of Lean: Handwritten Math Will Change Dramatically |
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://en.wikipedia.org/wiki/Leonardo_de_Moura
description:link Creator of Lean: Handwritten Math Will Change Dramatically |
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://github.com/leanprover/lean4
description:link Creator of Lean: Handwritten Math Will Change Dramatically |
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://github.com/leanprover-community/mathlib4
description:link Creator of TypeScript: 10x Faster Typescript, Why AI Won't R
Link in episode "Creator of TypeScript: 10x Faster Typescript, Why AI Won't Replace SWEs | Anders Hejlsberg": https://en.wikipedia.org/wiki/Anders_Hejlsberg
description:link Creator of TypeScript: 10x Faster Typescript, Why AI Won't R
Link in episode "Creator of TypeScript: 10x Faster Typescript, Why AI Won't Replace SWEs | Anders Hejlsberg": https://github.com/microsoft/TypeScript
description:link Creator of Scala: Comparing Languages And How AI Will Impact
Link in episode "Creator of Scala: Comparing Languages And How AI Will Impact Them | Martin Odersky": https://en.wikipedia.org/wiki/Martin_Odersky
description:link Creator of Lua: Scripting, Programming Languages, Prediction
Link in episode "Creator of Lua: Scripting, Programming Languages, Predictions | Roberto Ierusalimschy": https://en.wikipedia.org/wiki/Roberto_Ierusalimschy
description:link Turing Award Winner: Early AI, LLM Predictions, Causality |
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Bayesian_network
description:link Turing Award Winner: Early AI, LLM Predictions, Causality |
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Alpha%E2%80%93beta_pruning
description:link Turing Award Winner: Early AI, LLM Predictions, Causality |
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Pearl_vortex
description:link Turing Award Winner: Early AI, LLM Predictions, Causality |
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Graphoid
description:link Turing Award Winner: Early AI, LLM Predictions, Causality |
Link in episode "Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl": https://en.wikipedia.org/wiki/Causality_(book