
#4 Theorem Provers, Functional Programming and Companies - Eric Bond
Type Theory Forall
00:00
Intro
This chapter features a guest sharing personal stories about their friendship and experiences as roommates, while discussing the changes in social interactions during the COVID era. The conversation explores their interests in programming languages and the tech community, emphasizing the longing for in-person connections.
Transcript
Play full episode