5 ms·

Yes I was referring to the DAO disaster. Here are some interesting discussions about it https://www.reddit.com/r/btc/comments/4p0gq3/why_turingcomplete_smart_co

• schoen 10y ago
  It would be safer in many of these ways to prefer non-Turing-complete smart contracts -- and non-Turing-complete software environments in general for many tasks -- but I think formal undecidability is something of a red herring here because not all programs' behavior is undecidable. My previous comments on this issue in this context: https://news.ycombinator.com/item?id=11942015 https://news.ycombinator.com/item?id=11942015