kogasa

joined 1 year ago
[–] kogasa@programming.dev 5 points 5 days ago (5 children)

Keycaps are expensive but you can easily spend $500 on a keyboard chassis/plate/pcb alone

[–] kogasa@programming.dev 1 points 1 week ago* (last edited 1 week ago)

No, I stand by it. People who cry about straight representation are goblins at best. That's who's being mocked, not straight people.

[–] kogasa@programming.dev 36 points 4 months ago* (last edited 4 months ago) (1 children)

This has nothing to do with Windows or Linux. Crowdstrike has in fact broken Linux installs in a fairly similar way before.

[–] kogasa@programming.dev 14 points 4 months ago (2 children)

Sure, throw people in jail who haven't committed a crime, that'll fix all kinds of systemic issues

[–] kogasa@programming.dev 17 points 4 months ago

Catch and then what? Return to what?

[–] kogasa@programming.dev 3 points 4 months ago

It sounds like you don't understand the complexity of the game. Despite being finite, the number of possible games is extremely large.

[–] kogasa@programming.dev 2 points 4 months ago (2 children)

These things are specifically not defined by the protocol. They could be. They're not, by design.

[–] kogasa@programming.dev 3 points 4 months ago (4 children)

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.dev 13 points 5 months ago* (last edited 5 months ago) (1 children)

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.

[–] kogasa@programming.dev 2 points 5 months ago (2 children)

Your first two paragraphs seem to rail against a philosophical conclusion made by the authors by virtue of carrying out the Turing test. Something like "this is evidence of machine consciousness" for example. I don't really get the impression that any such claim was made, or that more education in epistemology would have changed anything.

In a world where GPT4 exists, the question of whether one person can be fooled by one chatbot in one conversation is long since uninteresting. The question of whether specific models can achieve statistically significant success is maybe a bit more compelling, not because it's some kind of breakthrough but because it makes a generalized claim.

Re: your edit, Turing explicitly puts forth the imitation game scenario as a practicable proxy for the question of machine intelligence, "can machines think?". He directly argues that this scenario is indeed a reasonable proxy for that question. His argument, as he admits, is not a strongly held conviction or rigorous argument, but "recitations tending to produce belief," insofar as they are hard to rebut, or their rebuttals tend to be flawed. The whole paper was to poke at the apparent differences between (a futuristic) machine intelligence and human intelligence. In this way, the Turing test is indeed a measure of intelligence. It's not to say that a machine passing the test is somehow in possession of a human-like mind or has reached a significant milestone of intelligence.

https://academic.oup.com/mind/article/LIX/236/433/986238

view more: next ›