#35 Teika, Self-Education and F***ing Floating Points
Dec 04th 2023
Eduardo Rafael
#34 Foundations of Theorem Provers and Cedille2
Oct 16th 2023
Andrew Marmaduke
#33 Z3 and Lean, the Spiritual Journey
Sep 9th 2023
Leo de Moura
#32 TyDe Systems
July 22th 2023
Jan de Muijnck-Hughes
#31 Discussing Problems in PL and Academia
July 13th 2023
Jan de Muijnck-Hughes
#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
In this episode we host another company that does formal method in the context of the Everscale Blockchain, and Solidity smart contracts. How and why they use formal methods in this context? Who are their clients? What are the caveats?
Links
Download .mp3 (51.9M)Tweet