OM DETTA AVSNITT

Engelsk
USA

UTSKRIFT 🔗

SÖK TIDIGARE AVSNITT

Sök efter tidigare avsnitt från The Peterman Pod.

ANDRA EPISODER I DENNA PODCAST

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…
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…
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/ •…
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…
Ansvarsfriskrivning: Podcasten och konstverket som är inbäddat på den här sidan är från Ryan Peterman, som är dess ägares egendom och inte anslutet till eller godkänt av Listen Notes, Inc.