#60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan - Type Theory Forall

Om avsnittet

In this episode me and Dan Plyukhin get together to have a heartfelt conversation. We start by talking about our experiences with meditation, and how it has helped us to have a more balanced work-life experience. Then the conversation shifts to comment about the current situation of the job market. Both in academia and in industry. We talk about strategies to reach out to professors and our view on the use of AI in general, and of course we talk about our current research interests.

#60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan

Om avsnittet

Links

Fler avsnitt

#64 PL Education in the Age of AI - Shriram Krishnamurthi

#63 Hack: Typing PHP at Facebook Scale - Julien Verlaguet

#62 Dependent Haskell - Vladislav Zavialov

#61 Zurihac Behind the Scenes - Farhad Mehta

#59 Category Theory and Inclusivity - Valeria de Paiva

#58 Constructivism and Computational Content - Andrej Bauer

#57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik

#56 Property Based Testing and PL Grad School Applications - Francille Zhuang

#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber

#54 The Goal of Science is to Communicate Ideas! - Philip Wadler