Type Theory Forall

#3 ML for PL and Mental Health - Dan Zheng

Type Theory Forall

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

Next Episodes


Type Theory Forall

#1 What is PL research? - Prof. Ben Delaware @ Type Theory Forall

📆 2020-12-23 05:00 / 00:57:55