Dan Licata works on type theory (especially homotopy type theory), logic, category theory, functional programming, and programming languages.
Dan Licata's Interviews
Sebastian Conelli
+ Robbie Nunes
&
Dan Licata
•
09 Jun 2023
• EN
274 - Living the Dream (w/ Dan Licata)
This week the boys have on the hilarious Dan Licata (SNL) The three talk about the best video game of all time, Tony Hawk Pro Skater. Dan finally gets vulnerable and admits he likes IPA's. Dan tells them about a few cool celebrity run ins he had and they go on to talk Jackass. The boys end the episode by talking about
This week Dan Licata joins the boys to discuss the last taboo in our culture. After he recounts a tragic shit-based incident, the panel discusses a variety of questions, including: Which bodily functions are gay and which ones are straight? Is the porta potty the only space that can never be queered? Can you be "regula
Episode 3: Dan Licata on Homotopy Type Theory
Shout-outs
Add shout-out