børk! is a user on mastodon.xyz. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
@cwebber I think it was Martin Davis who coined the term "long lines problem", but Turing was the first to publish a proof that it was obviously a joke for Turing displays.
@moggers87 Really or are you trolling me? Link?