• 0 Posts
  • 32 Comments
Joined 2 years ago
cake
Cake day: July 1st, 2023

help-circle


  • Video codecs mostly work by tracking movement, predicting which pixels will change, and striving to only encode the pixels that actually change or change dramatically. In other words, compression looks for patterns.

    All of that goes out the window when you try to compress static. There are no patterns. It simply can’t be compressed. This isn’t a matter of the algorithms not being good enough. It’s a fundamental limit of information theory.

    Anything fancier amounts to embedding the intro into the compressor as a well-known pattern. And at that point, you’re better off just caching a 4K version of the intro as a standalone video file directly in the app.



  • You don’t need to provide root access just because you used GPL code, you just have to follow the GPL.

    Well, to follow version 3 of the GPL, you do actually need to provide effective root access.

    Specifically, version 3 of the GPL adds language to prevent Tivoization.

    It’s not enough to just provide the user with the code. The user is entitled to the freedom to modify that code and to use their modifications.

    In other words, in addition to providing access to the source code, you must actually provide a mechanism to allow the user to change the code on the device.

    The name “Tivoization” comes from the practice of the company TiVo, which sold set-top boxes based on GPL code, but employed DRM to prevent the user from applying custom patches. V3 of the GPL remedies this bug.





  • However, Linus’s kernel was more elaborate than GNU Hurd, so it was incorporated.

    Quite the opposite.

    GNU Hurd was a microkernel, using lots of cutting edge research, and necessitating a lot of additional complexity in userspace. This complexity also made it very difficult to get good performance.

    Linux, on the other hand, was just a bog standard Unix monolithic kernel. Once they got a libc working on it, most existing Unix userspace, including the GNU userspace, was easy to port.

    Linux won because it was simple, not elaborate.