News for hackers. Stuff that matters.
Re:Vitalik escalates ETH 2.0 merge as miners plan a 51% attack by riffraff on Saturday March 13, 2021 @03:31AM (#26445025)
a non-turing complete language can still be useful and "expressive" in a loose sense.

SPARK[0] isn't Turing complete but it's still pretty useful, and likely a better language than Solidity.

[0] https://en.wikipedia.org/wiki/SPARK_(programming_language)

There are no comments on this comment yet.