#36 Behind the Person Behind this Podcast - Pedro Abreu

Type Theory Forall

English - December 26, 2023 15:00 - 1 hour - 104 MB - ★★★★★ - 6 ratings
Technology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed

Previous Episode: #35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael

Next Episode: #37 Compilers, Staging, Futamura Projections - Guannan Wei

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.