Let's Talk ETC! (Ethereum Classic) #15 - Dr. Duncan Coutts - Provably Secure Smart Contracts

Summary: Let's Talk ETC! provides timely news about ETC (Ethereum Classic) and related technologies including: Ethereum, Bitcoin, blockchains and more. Feel free to leave requests, questions and comments below. ETC website: https://ethereumclassic.org ETC blog: http://ethereumclassic.org/blog ETC Slack: https://ethereumclassic.herokuapp.com Carlo Vicari's Twitter handle: @IOHK_CarloVetc Christian Seberino's Twitter handle: @chris_seberino ------------------------------------------------------------------------------------------------------- Info on many of the items we discussed can be found in the ETC newsletter which can be found in the ETC blog. A link to the latest ETC newsletter and other info can be found here: ETC newsletter: https://ethereumclassic.github.io/blog/2017-04-19-newsletter Haskell: https://www.haskell.org Graham Hutton's Programming in Haskell: http://www.cambridge.org/gb/academic/subjects/computer-science/programming-languages-and-applied-logic/programming-haskell-2nd-edition Isabelle theorem prover: https://isabelle.in.tum.de Coq theorem prover: https://coq.inria.fr ------------------------------------------------------------------------------------------------------- If you are passionate about anything related to ETC, and have something to say, we'd love to discuss that with you on the show. We are always looking for interesting guests so don't be afraid to ask! ------------------------------------------------------------------------------------------------------- We would like to thank IOHK (Input Output Hong Kong) for funding this effort.