Smart-contracts: Turing completeness and reality | Hacker News Reader