Categories
Blockchain Technology

DEVCON1: Towards a Dynamic Economic, Social and Political Mesh – Joseph Lubin

Blockchains.Technology http://youtu.be/XLBjPj6ewsY http://youtu.be/XLBjPj6ewsY

DEVCON1 10.10am Day 5 Joseph Lubin of ConsenSys (https://consensys.net/) presents on “Towards a Dynamic Economic, Social and Political Mesh”.

Categories
Blockchain Technology

DEVCON1: Monadic Design Patterns for the Blockchain – Lucius Greg Meredith

Blockchains.Technology http://youtu.be/uzahKc_ukfM http://youtu.be/uzahKc_ukfM

Day 1, 10:50 GMT Lucius Greg Meredith gives an update on “SpecialK” – the formal verification software being used with Casper + an overview of monadic …