Type Theory Forall
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Listen now 🔗
Type Theory Forall
Type Theory much beyond inference rules
www.typetheoryforall.com
December 6, 2025 at 4:25 PM
Listen now 🔗
• How modern compilers enable secure computation
• Whether deeply learning Category Theory actually makes you a better PL researcher
• The realities of mental health and sustaining rhythm during a PhD
If you’re into PL, CT, or the human side of research, you’re going to love this one.
• Whether deeply learning Category Theory actually makes you a better PL researcher
• The realities of mental health and sustaining rhythm during a PhD
If you’re into PL, CT, or the human side of research, you’re going to love this one.
December 6, 2025 at 4:25 PM
• How modern compilers enable secure computation
• Whether deeply learning Category Theory actually makes you a better PL researcher
• The realities of mental health and sustaining rhythm during a PhD
If you’re into PL, CT, or the human side of research, you’re going to love this one.
• Whether deeply learning Category Theory actually makes you a better PL researcher
• The realities of mental health and sustaining rhythm during a PhD
If you’re into PL, CT, or the human side of research, you’re going to love this one.