DEVCON1: Monadic Design Patterns for the Blockchain - Lucius Greg Meredith
Visit the https://archive.devcon.org/ to gain access to the entire library of Devcon talks with the ease of filtering, playlists, personalized suggestions, decentralized access on IPFS and more.
https://archive.devcon.org/archive/wa...
Lucius Greg Meredith gives an update on "SpecialK" - the formal verification software being used with Casper + an overview of monadic design patters.
Speaker(s): Lucius Greg Meredith
Skill level: Advanced
Track: Society and Systems
Keywords: formal, verification, casper, pos, scaling, commitment, adoption, reliability, compositionality, monad, metering
Follow us: / efdevcon , / ethereum
Learn more about devcon: https://www.devcon.org/
Learn more about ethereum: https://ethereum.org/
Devcon is the Ethereum conference for developers, researchers, thinkers, and makers.
Devcon 1 was held in London, United Kingdom on Nov 9 - 13, 2015.
Devcon is organized and presented by the Ethereum Foundation, with the support of our sponsors. To find out more, please visit https://ethereum.foundation/