• 0 Posts
  • 154 Comments
Joined 1 year ago
cake
Cake day: June 12th, 2023

help-circle




  • Kogasa@programming.devtoMemes@lemmy.mlasdf
    link
    fedilink
    arrow-up
    4
    arrow-down
    2
    ·
    3 months ago

    It doesn’t, it just delegates the responsibility to something else, namely xdg-desktop-portal and/or your compositor. The main issue with global hotkeys is that applications can’t usually set them, e.g. Discord push-to-talk, rather the compositor has to set them and the application needs to communicate with the compositor. This is fundamentally different from how it worked with X11 so naturally adoption is slow.


  • Kogasa@programming.devtoMemes@lemmy.mlMath
    link
    fedilink
    arrow-up
    14
    ·
    edit-2
    3 months ago

    Stokes’ theorem. Almost the same thing as the high school one. It generalizes the fundamental theorem of calculus to arbitrary smooth manifolds. In the case that M is the interval [a, x] and ω is the differential 1-form f(t)dt on M, one has dω = f’(t)dt and ∂M is the oriented tuple {+x, -a}. Integrating f(t)dt over a finite set of oriented points is the same as evaluating at each point and summing, with negatively-oriented points getting a negative sign. Then Stokes’ theorem as written says that f(x) - f(a) = integral from a to x of f’(t) dt.




  • We aren’t trying to establish that neurons are conscious. The thought experiment presupposes that there is a consciousness, something capable of understanding, in the room. But there is no understanding because of the circumstances of the room. This demonstrates that the appearance of understanding cannot confirm the presence of understanding. The thought experiment can’t be formulated without a prior concept of what it means for a human consciousness to understand something, so I’m not sure it makes sense to say a human mind “is a Chinese room.” Anyway, the fact that a human mind can understand anything is established by completely different lines of thought.


  • This fails to engage with the thought experiment. The question isn’t if “the room is fluent in Chinese.” It is whether the machine learning model is actually comparable to the person in the room, executing program instructions to turn input into output without ever understanding anything about the input or output.


  • Yup, you’ll notice the only thing distinguishing C from R^(2) is that multiplication. That one definition has extremely broad implications.

    For fun, another definition is in terms of 2x2 matrices with real entries. The identity matrix

    1 0
    0 1
    

    is identified with the real number 1, and the matrix

    0 1
    -1 0
    

    is identified with i. Given this setup, the normal definitions of matrix addition and multiplication define the complex numbers.