Thank you Bernie Sanders for buying pizza for our members during our bargaining session today! It might be hard to stomach the what HR is saying at the table, but this pizza goes down easy. 🍕🍕😅🍕🍕🤤🍕🍕😎🍕🍕 Solidarity & pizza!

This is … something… youtu.be/WgREV-fPXE0

Registration for the super exciting NASEM workshop on AI to Assist Mathematical Reasoning is now open: events.nationalacademies.org/06-12-2023_ai-…

Soon I’ll be in Dublin for about a week. Taking recommendations :)!

If you have been working in industry and are looking for a PhD opportunity, there is an NSF program just for you! nsf.gov/cise/CSGrad4US/ If you want to do applied category theory or #julialang research, let me know!

"Cubical type theory can't hurt you" Meanwhile, cubical type theory:

everynoise.com Fun to explore :)

80 years ago world-altering warfare was being executed by a complex system of cryptographic ciphers and devices. now a glorified hot dog vendor heading a paramilitary group is staging an insurrection in a nuclear state thru a Discord server. amazing developments in global affairs

Today's my last official day at CMU, making this announcement long overdue: I'm headed to Indiana University IU Luddy this fall as an Assistant Professor of Computer Science! I'm truly thrilled to return to Bloomington as a member of the PL group that introduced me to the area.

Nelson Niu, David I. Spivak: Polynomial Functors: A Mathematical Theory of Interaction arxiv.org/abs/2312.00990 arxiv.org/pdf/2312.00990

The Midlands Graduate School (MGS) in the Foundations of Computing Science will be held 8-12 April 2024 in Leicester, UK. Seven great courses on category theory, proof theory, type theory, modal logics, and more. Please share! cs.le.ac.uk/events/mgs2024/

Join me, Adam Chlipala, and Timothy Gowers @wtgowers at 1PM Eastern for a webinar on proof assistants, spanning both verification and mathematics nationalacademies.org/event/42507_04…

Tonight I found out that the NSF math postdoctoral fellowship I applied for is being deleted because it does not comply with Trump’s executive orders on DEI in the federal government. I’m going to answer some FAQs and share some thoughts about this ordeal in this thread 1/n