Summary: Let's Talk ETC! provides timely news about ETC 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 Discord: https://discordapp.com/invite/xy777au Christian Seberino's email: cs@etcplanet.org Christian Seberino's Twitter handle: @chris_seberino -------------------------------------------------------------------------------- Info on some of the items we discussed can be found here: Dr. Duncan Coutts of IOHK discusses provably secure smart contracts. Topics covered include semi-formal and formal methods. Many practical tools to consider are discussed such as TLA+, QuickCheck, Coq, Isabelle and more. Haskell language: https://www.haskell.org TLA+: https://lamport.azurewebsites.net/tla/tla.html QuickCheck: http://hackage.haskell.org/package/QuickCheck Coq: https://coq.inria.fr Isabelle: https://isabelle.in.tum.de -------------------------------------------------------------------------------- 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.
