• 1 Post
  • 121 Comments
Joined 1 year ago
cake
Cake day: July 1st, 2023

help-circle


  • And it is not possible to “visualize 4D”

    Sure it is.

    • 3 spatial dimensions + time
    • 3 spatial dimensions + 1 color dimension (grayscale)
    • 2 spatial dimensions + 2 color dimensions
    • etc

    And that’s not even counting projection. All the time we interact with 3D data that’s projected to 2D (almost every photo you’ve ever looked at). There are similar ways to project 4D to 2D.

    (Not defending the video or anything, just pointing out that visualizing higher dimensions is something we know about for ages.)






  • 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.





  • cbarrick@lemmy.worldtoLinux@lemmy.mlLinus Torvalds and Richard Stallman
    link
    fedilink
    English
    arrow-up
    82
    arrow-down
    1
    ·
    3 months ago

    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.








  • You have both operational and denotaional semantics in all languages.

    Operational semantics are “what does this code do,” and denotaional semantics are “what does this code mean” in a more abstract sense.

    In an imperative language, what a given piece of code means is “execute these instructions,” so the denotaional semantics are basically equivalent to the operational semantics.

    But for higher level languages, these kinds of semantics can differ. For example, in Prolog, the denotaional semantics of a given clause boils down to some formula of predicate logic, while the operational semantics is that a Prolog interpreter will perform a depth first search through the formulas to find acceptable bindings to the variables.

    You can imagine another language using the same syntax as Prolog where the denotaional semantics still boils down to formulas of logic, but the operational semantics might be a breath first search through those formulas.

    In other words, the denotaional semantics are the more abstract meaning of the code (like, does this code represent data, or formulas, or instructions, or something else) and the operational semantics are the more concrete meaning of the code, i.e. what should happen when the code is executed.

    Generally, the denotaional semantics are what you are using in the higher level optimizers, and the operational semantics are what you are using in the lower level optimizers.


  • Yeah, I know what a hydrogen fuel cell is.

    What I’m saying is that the cost to develop hydrogen infrastructure, the complexity of it’s distribution, the risk due to its high volatility, and the uncertainty of a relatively underdeveloped technology all seem to be losing to batteries, which are very mature tech and are already in the supply chain and for which we already have a well developed electricity distribution grid.

    I just don’t see what investing in fuel cells will do other than slow the adoption of zero emission vehicles by another decade.