#
#30 Actors, GADTs and Burnout
May 30th 2023

Dan and Pedro

#
#29 Can PL theory make you a better software engineer?
April 9th 2023

Jimmy Koppel

#
#28 Formally Verifying Smart Contracts
February 15th 2023

Pruvendo

#
#27 Formalizing an OS: The seL4
February 4th 2023

Gerwin Klein

#
#26 Mechanizing Modern Mathematics
January 16th 2023

Kevin Buzzard

Kevin Buzzard has been very passionate spreading the word among mathematicians to use theorem provers mechanize theorems of modern mathematics. In this conversation we will talk about his vision in teaching undergrads to use the Lean theorem prover, what is the Xena Project, his view of how theorem provers can change the way we do mathematics, and much more!

# Links

Download .mp3 (125.3M)Tweet