hot take:
documents should never have an embedded turing-complete language that runs automatically or without the informed consent of the user.

@enkiv2 like I know you're probably talking about Javascript in HTML or maybe Word macros, but Truetype also has a turing-complete hinting system, Postscript is a whole scripting language, Excel and PowerPoint have ways without macros or VB, apparently templates in MediaWiki qualify, and at some level instructions in your computer are translated to something opaque anyway… What I'm saying is, there's precedent.

@impiaaa
Yeah. This was specifically in reference to @natecull's post about excel macros, but with an obvious side-eye to javascript.

@impiaaa @natecull
It's also, however, related to "weird machines", which I feel like don't get enough press.

Accidental turing completeness in any format is literally a vulnerability, and happens all the time.

@enkiv2 @impiaaa

I suspect there's a link between chaos in hydrodynamics and Turing-completeness.

Anytime we get a small equation whose results we can't easily predict without iterating it? It's probably a physical Weird Machine.

This idea of "accidental Turing Completeness" reminds me of "Wang's Carpets", a short story by Greg Egan:

timeteam.github.io/fiction/201

His fiction trades somewhat crappy characterisations (but to be fair, mostly of post-humans) for mind-blowing SF ideas.

The only online version I can find is probably illegal:

bunny.xeny.net/life/Egan-Carpe

@natecull @impiaaa @enkiv2

@wu_lee @enkiv2 @impiaaa

I always think of Greg Egan's fiction as:

"Here's this cool comp-sci/physics idea!"
"Neat, what does it imply?"
"... I dunno. But probably soul-crushing depression and paranoia."
"Ah yes, the two great forces of the universe."

Follow

I reckon there's an whole subculture of Goth right there, @natecull ...

@impiaaa @enkiv2

Sign in to participate in the conversation
social.coop

social.coop is a cooperatively-run corner of the Fediverse. The instance is democratically governed by its members, who generally share an interest in the co-op model, but topics of discussion range widely.

If you are interested in joining our community, please review our Bylaws and Code of Conduct. If you agree with them, you may apply for membership on our instance via this link

Our instance is supported by sliding scale contributions of $1-10/mo made via Open Collective. You must have an active Open Collective account to apply for membership; you may set one up here