ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "#3 ML for PL and Mental Health - Dan Zheng"
Episode Synopsis
In this episode we host Dan Zheng, an alumni of Purdue University that now works at Google at real cool projects that relates ML and PL.
We chat about how was his transition from undergrad to such a huge company like Google. We talk about cool languages such as Lantern, LLVM, LMS, Julia, Rust, Racket, Scala. How does ML and PL can be used to enhance each other. And towards the end we shift our attention to mental health, both in the academia and in the industry.
You can find Dan at twitter @dancherp
More episodes of the podcast Type Theory Forall
#51 s/Coq/Rocq - Nicolas Tabareau
04/06/2025
#49 Self-Education in PL - Ryan Brewer
14/03/2025
In God we trust