We cover what formal verification is, where it makes sense, where it doesn't, the k-framework, how different this approach is to the “move fast and break things” approach, and much more.
Here are some of articles and videos we mention:
- Is a type a lifebuoy or a lamp?
Thanks to Web3Foundation for being our sponsor on this week's episode. For more about the Web3Foundation grants, check out their blog: https://medium.com/web3foundation/introducing-web3-foundation-grants-442f6753926a and grants.web3.foundation
If you like what we do:
Follow us on Twitter – @zeroknowledgefm
Join us on Telegram – https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA
Support our Gitcoin Grant – https://gitcoin.co/grants/38/zero-knowledge-podcast
Support us on Patreon – https://www.patreon.com/zeroknowledge
Or directly here: