Hacker News new | ask | show | jobs
The Type Theory Podcast (2016) (typetheorypodcast.com)
1 points by anqurvanillapy 2475 days ago