ОТНОСТНО ТОЗИ ЕПИЗОД

Английски
САЩ

ТРАНСКРИПЦИЯ 🔗

ТЪРСЕНЕ на МИНАЛИ ЕПИЗОДИ

Търсене в минали епизоди на The Peterman Pod.

ДРУГИ ЕПИЗОДИ В ТОЗИ ПОДКАСТ

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/ •…
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 verification of software since I was learning that on the fly during it. • My ergonomic keyboard p…
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 experience. • My ergonomic keyboard project I mentioned, you can follow along here: https://read.comp…
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…
Опровержение: Подкастът и произведенията на изкуството, вградени на тази страница, са от Ryan Peterman, което е собственост на неговия собственик и не е свързано с или одобрено от Listen Notes, Inc.