syzygy wrote: ↑Sat Feb 27, 2021 2:28 am
Alayan wrote: ↑Sat Feb 27, 2021 2:11 am
The purpose of a video player is to play video files. A specific video file is in no way essential to it. If you don't have it bundled with the video player, it doesn't affect the functionality of the video player in any way.
But you are misguided in thinking that program functionality plays any role here. Copyright is about expression, not about functionality. The copyright on SF is the copyright on the free creativity (= not determined by functionality) used in producing its textual source code. It doesn't matter whether the program produces anything sensible.
That's true, but the copyright
LICENSE of SF - aka, the terms under which the copyright holder grants others permissions they otherwise would not have - expressly prohibits combining it with a non-GPL'd component to form a larger program.
Could Disney grant ViacomCBS permission to redistribute Star Wars if and only if ViacomCBS granted Disney permission to redistribute Star Trek?
Clearly the copyright of Star Wars has absolutely nothing to do with the copyright of Star Trek. They are two distinct works. But could Disney draft up that copyright
LICENSE and could ViacomCBS legally accept?
The point Alayan is making about functionality has to do with the interpretation of the words of the GPL, "not combined with it such as to form a larger program." His point is that it is incredulous to believe that GPL'd engine + NNUE net is "not combined with it such as to form a larger program." OTOH, it is easy to see that a video player playing a random video file does "not combined with it such as to form a larger program."