In my experience with running Discord servers you setup a couple of hierarchical roles (admin, moderator, user etc) when you first setup the server and never again.
However I'm constantly adding new roles which are really just groups of users. I would say 90% of all the Discord roles I've ever created have no permissions associated with them at all and just exist to ping a group of users (or act as a tag for bots).
Maybe that's served by a different feature in Matrix for user groups. If so, that's still not quite as useful, because sometimes later on you decide the group needs a permission (e.g. a casual gaming group has grown enough to justify having it's own channel).
From your description it sounds like in-memory application state is lost with Hot Reload, but I don't think that's true? I admit might be wrong about this, it doesn't apply to Unity which is my main development environment.
Quoting from the docs (emphasis mine):
> .NET Hot Reload applies code changes, including changes to stylesheets, to a running app without restarting the app and *without losing app state*
That sounds more like how you described edit-and-continue to me.
Early in the development of the Saturn-V they had issues with thrust instability in the F1 engine (in the worst cases causing it to explode). They had trouble diagnosing the issue (and blew up some engines) before they came up with the idea of setting off a small bomb inside the engine to trigger instability on demand (destroying some more engines).
Do you consider that a failure of the Saturn-V program? Or do you understand the value of testing prototype hardware to destruction?
Less time spent not firing engines, no need for separation hardware (e.g. hydraulic pushers), no need for ullage thrusters (settling fuel before lighting stage 2).
There used to be .NET Framework (which was a Windows only runtime built by Microsoft) and Mono (an open source implementation for various other platforms).
In 2016 they started building .NET Core which is new open source implementation (built mostly by Microsoft) which runs on more platforms. For a while all three existed side by side.
Eventually .NET Core caught up and overtook the other implementations. These days Framework is legacy. Core has been renamed to just .NET (since it's now _the_ runtime) and Mono (as far as I know) has been totally replaced by it.
This is all from memory, so apologies for any inaccuracies!
That's basically what c# has done. But it's implemented as a warning which can be upgraded to an error. I think it might even be an error by default in new projects now.
That's completely useless for code assets. Even for purely art assets they usually come with Unity specific things such as prefabs, particle effects etc.
Perhaps I did misunderstand, I was certainly interpreting it as a desire for concrete change in the political structures of how the world is run rather than a shift in attitudes amongst the people of the world. I'm definitely not opposed to less conflict in the world!
Personally I don't really agree with your assessment of the EU as a form of that though. In this context I would include something like the EU when talking about larger governments (maybe that's not strictly correct, but it is what I had in mind with my original comment). There are of course lower levels in the EU (i.e. the individual countries) but that's also true for many countries with a central government and smaller regional authorities (e.g. London & Edinburgh).
Not at all, you'd still be violating all the non-gpl licenses. Just because GPL is more restrictive doesn't mean it somehow supercedes all other licenses!
However I'm constantly adding new roles which are really just groups of users. I would say 90% of all the Discord roles I've ever created have no permissions associated with them at all and just exist to ping a group of users (or act as a tag for bots).
Maybe that's served by a different feature in Matrix for user groups. If so, that's still not quite as useful, because sometimes later on you decide the group needs a permission (e.g. a casual gaming group has grown enough to justify having it's own channel).