Sveriges mest populära poddar
Type Theory Forall
VetenskapTeknologi

#36 Behind the Person Behind this Podcast - Pedro Abreu

1 tim 50 min•26 december 2023

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 av Type Theory Forall

Visa alla avsnitt av Type Theory Forall
#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
#54 The Goal of Science is to Communicate Ideas! - Philip Wadler
•1 tim 50 min
#53 RustBelt, Iris, and the Art of Writing - Derek Dreyer
•2 tim 25 min

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