Type Theory Forall cover image

#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

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app