Sveriges mest populära poddar
Type Theory Forall
Type Theory Forall

#36 Behind the Person Behind this Podcast - Pedro Abreu

1 tim 50 min•26 december 2023

Om avsnittet

In this episode we celebrate 3 years of existence of this podcast by reflecting on the journey so far, what is my philosophy, how do I approach the interviews, my overall goals for the show, and some of our plans for the future.

In order to achieve this, I first take a detour and tell you a little more about my personal history, and my carreer in type theory and programming languages.

If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall

Fler avsnitt

Visa alla avsnitt av Type Theory Forall

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

2 tim 44 min

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

1 tim 46 min

#62 Dependent Haskell - Vladislav Zavialov

2 tim 5 min

#61 Zurihac Behind the Scenes - Farhad Mehta

2 tim 19 min

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

1 tim 53 min

#59 Category Theory and Inclusivity - Valeria de Paiva

2 tim 47 min

#58 Constructivism and Computational Content - Andrej Bauer

2 tim 19 min

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

59 min

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

1 tim 36 min

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

2 tim 38 min

Type Theory Forall med Pedro Abreu finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.