![Type Theory Forall artwork](https://is5-ssl.mzstatic.com/image/thumb/Podcasts124/v4/ed/de/43/edde43db-febe-b892-3a30-358ebe2e2c07/mza_16532267942080647912.png/100x100bb.jpg)
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
Type Theory Forall
English - December 04, 2023 11:30 - 1 hour - 78.7 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
Next Episode: #36 Behind the Person Behind this Podcast - Pedro Abreu
In this episode we talk with Eduardo Rafael. He is
self-thaught programming languages enthusiast, youtuber, twitch streamer,
multi-skilled programmer that has worked in different aspects of computer
science such as PL, operating systems, blockchain, and many other stuff. In
this conversation we talk about his experience as a developer and hacker that
didn’t follow the conventional paths of going to school and what are the
strategies to navigate the vast ocean of knowledge without guidance of
teachers or institutions.
Links
Eduardo's Twitter
Eduardo's Twitch
Eduardo's Youtube
Feynman Algorithm