#36 Behind the Person Behind this Podcast - Pedro Abreu
Type Theory Forall
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
Next Episodes
#36 Behind the Person Behind this Podcast - Pedro Abreu @ Type Theory Forall
📆 2023-12-26 15:00 / ⌛ 01:49:55
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael @ Type Theory Forall
📆 2023-12-04 12:30 / ⌛ 01:21:29
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael @ Type Theory Forall
📆 2023-12-04 12:30 / ⌛ 01:21:29
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael @ Type Theory Forall
📆 2023-12-04 11:30 / ⌛ 01:21:29
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke @ Type Theory Forall
📆 2023-10-16 14:10 / ⌛ 01:28:27