Type Theory Forall

Type Theory much beyond inference rules

Episode image

#35 Teika, Self-Education and F***ing Floating Points

Eduardo Rafael

Apr 11th 2024   |  81 min

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.



join our discord