staunton

43 ms·

691.
by staunton 3y ago
It's only a matter of time before adds are embedded directly into the video stream. Then addbock will have to recognize when an add is being played and maybe mute/blackout the video. If lots of people use that kind of addblock (I&
692.
by staunton 3y ago
> Now, is it reasonable to expect children to be skeptical about everything the AI tutor is telling them? Probably not? Maybe? That might be the single most important thing to teach children now.
693.
by staunton 3y ago
It used to be that anything which worked well enough to go into a product ceased to be "AI"... I have a feeling though that the buzz will persist from now on
694.
by staunton 3y ago
C/C++ (the standard) makes no claims about what happens if you overflow integers. The program might set all your variables in the whole program to zero if it likes. Of course the compiler vendors wouldn't do that but they'r
695.
by staunton 3y ago
In practice, there is such a thing as "more or less sound" and there are no perfect circles. None of these things bother me. I responded to you because it seemed (no snark intended) that "more or less sound" things exist
696.
by staunton 3y ago
I agree with your assessment as far as Ukraine is concerned. However, I hope it's not a strawman to assume you're arguing that there is no progress in warfare in the sense of harm inflicted upon civilians. What would you prefer as
697.
by staunton 3y ago
At least they don't pretend. On the other hand, they seriously try to define exactly which programs have defined bahavior and to define behavior for those. (I'm really not a fan of C++ but I'll grant them this good effort a
698.
by staunton 3y ago
The problem is that in practice there is absolutely never any way to be 100% sure that the form is valid, the reasoning is correct, or that the premises are true. You can get pretty close to 100% but there might always be cases where you&
699.
by staunton 3y ago
We have cosmical background events which cannot be shielded 100% and also cannot be predicted. This (among thousands of other reasons) means that you can never prove 100% what any given program will do on a computer. Indeed, it's imp
700.
by staunton 3y ago
A the imho proper and useful concept of "learned helplessness" refers to a situation where someone learns that appearing helpless and asking others for help is the success strategy for achieving any goal. In an environment where t
701.
by staunton 3y ago
Obviously not. It would be an instant scandal if they tried that.
702.
by staunton 3y ago
The way I see it is that the existential risk comes from humans losing control. Here is a very abstract argument for why AI is relevant here. Right now, there is no central entity that has supreme control. Rather, humanity is guided by a hi
703.
by staunton 3y ago
That argument is still invalid because in scenario 2 we would not be having this discussion. No conclusions can be drawn from such past discourse about the likelihood of definite and complete extinction. Not that, I hope, anyone expected a
704.
by staunton 3y ago
In retrospect, you can find tangible proof from way back for anything that gets accepted as true. The comparison was with how climate change was discussed in the public sphere. However prominent the fossil fuel companies' influence on
705.
by staunton 3y ago
> There are no real consequences if you are backing off, and you can do it in any time. That's not quite true. Sure, noone is going to start a war about such a withdrawal. However, nuclear arsenals are expensive to maintain and it&#
706.
by staunton 3y ago
Who in the world is an expert on existential risk? It's kind of hard to have empirically tested knowledge about that sort of thing.
707.
by staunton 3y ago
C++ has an ISO standard, for better or worse. That's a different beast. Rust is defined by the implementation. Any hope for interoperability between potential adverserially competing forks is just wishful thinking.
708.
by staunton 3y ago
Metaphors have limited applicability. The applicability of metaphors in quantum field theory that the public is ever exposed to is pretty mich limited to sounding cool and inspiring some awe in the face of all the mistery and complexity. Im
709.
by staunton 3y ago
Especially with embedded applications, the issue is lack of tooling and sluggish vendors. For them, even C++ is "too new" in some cases to properly support. Rust is making good progress despite these issues but it's still a p
710.
by staunton 3y ago
You seem to be saying that you're getting a speed-up even in the first case, i.e. where you can write the code without having to think hard or look anything up. If so, how do you do it?
711.
by staunton 3y ago
> I suppose that under authoritarian regimes you will soon have to cryptographically prove that you generated your random bits deterministically from specific keys I guess that's sarcasm but I don't really get it. Just in case
712.
by staunton 3y ago
The point of steganography (as discussed in the paper) is not unerasable watermarks but undetectable (to the adversary) messages in innocent-looking communication. I'm confused why you focus on plagiarism detection. That being said, yo
713.
by staunton 3y ago
With some LLMs, there are efforts to make them cite sources (of course this is hard). On the other hand, existing LLMs are becoming more truthful over time (GPT4 is more truthful than GPT3, etc.). The possible applications of the technology
714.
by staunton 3y ago
What's so hard about cooking tofu? I've never researched it and just fry it, seems to work fine. What techniques are you referring to?
715.
by staunton 3y ago
You don't trust it more than the top 5 google results. Surely, you wouldn't argue that search engines are useless because not everything that's written on the internet is trustworthy. For programming, you can just test if it
716.
by staunton 3y ago
Exactly. I've been very frustrated in my attempts to make use of LLMs for programming until I tried using it in the context of languages and technology I wasn't familiar with. There it improves productivity immensely. The primary
717.
by staunton 3y ago
I believe you're right. This product seems to be aimed at education. I.e., people/companies who want to play around with something resembling a quantum computer in order to learn how they might one day be useful to them. Maybe buy
718.
by staunton 3y ago
Why? I would think the key part is what it can do, not what hardware it runs on. If you just haven't yet found how you can make use of the current stuff, keep in mind this discussion is always extrapolating what happens if the technolo
719.
by staunton 3y ago
I love how the approach detailed in the paper seems to be headed towards a unified framework that can reason about not only Rust but also e.g. C/C++ (and all LLVM) programs. This might be another part of the small miracle that LLVM see
720.
by staunton 3y ago
> You're never going to be able to regulate what a person's computer can run. You absolutely can. Maybe you can't effectively enforce that regulation but you can regulate and you can take measures that make violating the r

More ›