
#36 Behind the Person Behind this Podcast - Pedro Abreu
Pedro Abreu
December 26, 20231h 49mExplicit
Audio is streamed directly from the publisher (api.typetheoryforall.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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