TIETOJA TÄSTÄ JAKSOSTA

Englanti
Yhdysvallat

TRANSKRIPTIO 🔗

HAE EDELLISIÄ EPISODEJA

Hae kanavan The Peterman Pod vanhoja jaksoja.

MUITA jaksoja TÄSSÄ PODCASTISSA

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…
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…
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…
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/ •…
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…
Vastuuvapautusilmoitus: Tälle sivulle upotettu podcast ja kuvitus ovat peräisin Ryan Peterman:ltä, joka on sen omistajan omaisuutta, eikä se ole sidoksissa Listen Notes, Inc:n tukemaan.