drdeca

33 ms·

571.
by drdeca 3y ago
A non-uniform probability distribution is still a probability distribution, and, as long as it doesn’t assign probability 1 to any particular outcome, is still “random”.
572.
by drdeca 3y ago
Ohh, ok, a gun that inflicts “do what I mean” on another person. Yeah, that would be pretty bad, wouldn’t it. When I read the previous comment, I had been imagining a gun (in the sense of a weapon that shoots a bullet from a barrel) which
573.
by drdeca 3y ago
What does “DWIM” mean in this context? My first thought is “do what I mean”, but I suspect that isn’t what you meant.
574.
by drdeca 3y ago
Where are you getting “especially if they're not intellectually disabled by our judgement” from?
575.
by drdeca 3y ago
> that embodies "human" (their) values They have made posts (well, I can remember at least one, which I think was well-received) about how people working on AI safety/alignment should avoid having “leaving their fingerprin
576.
by drdeca 3y ago
What “Roko’s basilisk crowd”? Afaiui, there’s no significant group that believes that the Roko’s basilisk argument actually works.
577.
by drdeca 3y ago
Do I understand correctly that each frame one is to call the output/“.” command 33 (number of pixels) times, 32 (number of pixels) times for audio, and (number of pixels) for drawing to the screen? Hm, and, the way to do this.. would i
578.
by drdeca 3y ago
Emergencies generally aren’t, but emergency preparedness can still be worthwhile. Ok, but yes, I suppose that does suggest that, for personal emergencies, the office won’t be too overloaded with personal emergencies to deal with all of them
579.
by drdeca 3y ago
Well, at all but a finite number of points (specifically all but one point), there is a neighborhood of that point at which ReLU matches a linear function... In one sense, that seems rather close to being linear. If you take a random point
580.
by drdeca 3y ago
If by “code” you mean “the source code people wrote”, then, that source code by itself does not determine the behavior. The behavior is determined by the numbers. Saying that understanding that code implies understanding how the network wor
581.
by drdeca 3y ago
I imagine this could be done with MuZero[edit: turns out I meant AlphaZero] without much fundamental difficulty? (Uh, I mean, could be done by a team which is able to train MuZero)
582.
by drdeca 3y ago
I don’t see why such a “proof of waste” algorithm would be an obstacle to such an optimizer existing. Wouldn’t it just be that for such computational problems, the optimal implementation would still be rather costly? That doesn’t mean the o
583.
by drdeca 3y ago
I feel like probably all the major questions that might still remain about butt-wiping, would be solved before it had time to be established as a long-standing field of study? Not that there isn’t anything left to investigate about it (ques
584.
by drdeca 3y ago
Indeed, that(*) is what I was implying. Therefore, my initial question was, "what is it that you mean by 'intelligence' when you say that there is no such thing as 'artificial intelligence'?” I had thought the fact
585.
by drdeca 3y ago
Sure, I don’t think the meaning of “artificial” is in question. Presumably the reason thomastjeffery said that there is no such thing as artificial intelligence, was not because he thought the threshold for it being artificial, had not been
586.
by drdeca 3y ago
> Artificial Intelligence does not exist today. What is it that you are saying does not exist? Is that the same thing as you think policy makers or whatnot have been led to believe exists?
587.
by drdeca 3y ago
> In order to see HOOO EP as a provability notion, you have to interpret the axioms as a theory about provability. A notion can generally be prior to a particular formalization. If you have an alternative notion of probability in mind, y
588.
by drdeca 3y ago
> Provability Logic does not allow you to think of `□false` as meaning "I can prove `false`". Instead, it is interpreted as "this theory is inconsistent" but without assigning this statement a particular meaning. “It
589.
by drdeca 3y ago
Something being random and/or undetermined is not sufficient for it to be like a qubit. You need the linear algebra aspect for the name to be appropriate, IMO. > See section "HOOO EP" I have looked through that section, an
590.
by drdeca 3y ago
> Abstraction Logic makes no assumptions whatsoever about your mathematical universe, except that it is non-empty, and it better have more than 1 object in it. It doesn't assume that sets exist, or types, or anything else. This soun
591.
by drdeca 3y ago
This makes it kind of sound as if Löb's axiom is used in the proof of Gödel's incompleteness theorems, but Gödel was working in (I think) PA, not in Provability Logic? I guess you just meant "the notion of provability is the
592.
by drdeca 3y ago
... seems potentially better than the other way around? Well, I suppose it depends.
593.
by drdeca 3y ago
Hasn’t the project produced software which they claim is useful for simulating black hole mergers?
594.
by drdeca 3y ago
> which is believed to be different from NP and hence a strict superset of P “a strict superset of P” doesn’t really follow from that. P is also believed to be different from NP, and P is certainly not a strict superset of P. Of course,
595.
by drdeca 3y ago
What’s the purpose of the randomization in the Twitter to nitter one?
596.
by drdeca 3y ago
Value produced is a function of multiple inputs. One of those inputs might be called "labor". Another one of those inputs might be called "capital". Perhaps there are also other inputs, but I don't want to address t
597.
by drdeca 3y ago
Is this really splatting gaussians? Or is it rendering ellipsoids?
598.
by drdeca 3y ago
The halting problem, as I generally think of it, is to receive a program/specification-of-a-machine and output whether it halts. In this formulation, there is no system in which things need proving. Instead, the analogous thing is that
599.
by drdeca 3y ago
> If you have a mechanism for “only the most essential notifications”, then they simply mark all their notifications as “essential” (looking at you Uber) then perhaps Apple should say to them “either don’t mark these kinds of notificatio
600.
by drdeca 3y ago
I know what “a model of a theory” (such as a model of a theory of sets, even one which asserts that some expression defines an uncountable set) means. I’m not quite sure what a “model of a set” means. I suppose maybe you mean like, the set

More ›