mastodon.gamedev.place is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mastodon server focused on game development and related topics.

Server stats:

5.1K
active users

Thought experiment: imagine a language model where you can describe exactly how you want software to behave, and it produces a binary that does that. You don't get the source code, but it works 100% of the time. As long as you can install this binary on whatever device you have, does this achieve the goals of free software?

aeva

@mjg59 Sure. You just ask the magic box to generate a version of itself that generates very clean human readable C instead, and then use that version for everything else. And maybe have it translate itself to very clean human readable C as well and slap the GPL or whatever onto it.

@aeva @mjg59 "feed the program to itself"

That's a new take on the classical halting problem paradox.

@azonenberg @mjg59 he said it's a magic box that always writes software that does what you want perfectly 100% of the time

@azonenberg @mjg59 I'm going to also ask it to bring people back from the dead once I figure out if it's the devil or merely an evil genie

@aeva i love this. You’re definitely the type to trick a genie into giving you infinite wishes.

@aeva @mjg59 The utter pointlessness of oracle thought experiments...

@tiago @mjg59 on the contrary, this is a great variation on the oracle thought experiment because you're not constrained to the usual three wishes

@dorward @mjg59 I simply ask the magic (now written in extremely readable C) box that grants wishes to make a version of itself that does pass the human authorship test and put the GPL on it.