The story of computing so far: In the beginning the Turing Machine was invented. This has made a lot of people very angry and been widely regarded as a bad move.https://twitter.com/fanf/status/1118627209982500867 …
-
Show this thread
-
Replying to @ReinH
turing completeness is definitely cool, but still overrated imo it's a useful abstraction, but it can't actually exist in the real world seeing how far you can go without it is generally more interesting to me
1 reply 0 retweets 2 likes -
Replying to @ToriconPrime
Some of my favorite languages are not Turing Complete, like Agda and the total subset of Idris /cc
@edwinbrady1 reply 0 retweets 2 likes -
Replying to @ReinH @ToriconPrime
Turing completeness is indeed overrated. But the total fragment of Idris (and Agda) is still Turing complete because you can, e.g., describe a step of a Turing machine, and do that forever via coinduction.
3 replies 0 retweets 4 likes -
Quite so. Despite our best efforts otherwise, it is Turing Complete after all :).
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.