06.10.2019 - By Let's Talk ETC! (Ethereum Classic)
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: [email protected]
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.