INFORMAZIONI SU QUESTO EPISODIO

Inglese
Stati Uniti

TRASCRIZIONE 🔗

CERCA TRA GLI EPISODI PASSATI

Cerca gli episodi passati di The Peterman Pod.

ALTRI EPISODI IN QUESTO 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…
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/ •…
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 …
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.…
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…
Dichiarazione di non responsabilità: Il podcast e la grafica incorporati in questa pagina provengono da Ryan Peterman, che è di proprietà del suo proprietario e non è affiliato o approvato da Listen Notes, Inc.