I had the absolute honor to be invited as a guest on the Type Theory Forall podcast! We talked about how to learn programming language theory when you're outside of academia, as well as some political notes on the practice of science and engineering, and some updates on my personal work around the time of the recording.
