OM DENNE EPISODE

Engelsk
USA

UDSKRIFT 🔗

SØG BLANDT TIDLIGERE EPISODER

Søg efter gamle afsnit af The Peterman Pod.

ANDRE EPISODE I DENNE PODCAST

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 Kic…
Sergey Levine is one of the world's top robotics researchers and co-founder of Physical Intelligence. We talked about where humanoid robotics is today, thoughts on the Chinese robotics ecosystem, and his predictions for future timelines. • My ergonomic keyboard project I mentioned, you can follow …
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.compo…
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/ •…
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.compose.…
Ansvarsfraskrivelse: Podcasten og kunstværket, der er indlejret på denne side, er fra Ryan Peterman, som tilhører dens ejer og ikke er tilknyttet eller godkendt af Listen Notes, Inc.