#3 ML For PL And Mental Health - Dan Zheng Type Theory Forall podcast

Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

Contenido proporcionado por Pedro Abreu. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Pedro Abreu o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.

Type Theory Forall « »
#3 ML for PL and Mental Health - Dan Zheng

3+ y ago 1:08:01

Compartir

MP3•Episodio en casa

Contenido proporcionado por Pedro Abreu. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Pedro Abreu o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.

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

… continue reading

82 episodios

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Artwork

#3 ML for PL and Mental Health - Dan Zheng

Type Theory Forall

27 subscribers

published 3+ y ago

Compartir

MP3•Episodio en casa

Contenido proporcionado por Pedro Abreu. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Pedro Abreu o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.

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

… continue reading

82 episodios

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Todos los episodios

×

Bienvenido a Player FM!

Player FM está escaneando la web en busca de podcasts de alta calidad para que los disfrutes en este momento. Es la mejor aplicación de podcast y funciona en Android, iPhone y la web. Regístrate para sincronizar suscripciones a través de dispositivos.

Escucha más de 500 temas