Sveriges mest populära poddar
Type Theory Forall
VetenskapTeknologi

#25 Formally Verifying the Tezos Codebase - Formal Land

1 tim 2 min•21 november 2022

In this episode we partner with Formal Land, a company that works in formally verifying the Tezos codebase! I have worked with them in the past developing new features to their source-to-source compiler CoqOfOcaml. In this episode we talk about their work with Tezos and how their techniques are applicable to other codebases as well! For this we talk with Formal Land founder Guillaume Claret and the proof engineers Daniel Hilst and Pierre Vial.

Links

Fler avsnitt av Type Theory Forall

Visa alla avsnitt av Type Theory Forall
#62 Dependent Haskell - Vladislav Zavialov
•2 tim 5 min
#61 Zurihac Behind the Scenes - Farhad Mehta
•2 tim 19 min
#60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan
•1 tim 53 min
#59 Category Theory and Inclusivity - Valeria de Paiva
•2 tim 47 min
#58 Constructivism and Computational Content - Andrej Bauer
•2 tim 19 min
#57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik
•59 min
#56 Property Based Testing and PL Grad School Applications - Francille Zhuang
•1 tim 36 min
#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber
•2 tim 38 min
#54 The Goal of Science is to Communicate Ideas! - Philip Wadler
•1 tim 50 min
#53 RustBelt, Iris, and the Art of Writing - Derek Dreyer
•2 tim 25 min

Type Theory Forall med Pedro Abreu finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.