TBP75 - Attention Economy

Double-header with Dor Konforty and Meredith on the attention economy, Ethereum proof-of-stake formal verification, and how a formally-verified smart contracting language would have prevented The DAO attack.