staunton

25 ms·

151.
by staunton 2y ago
> assume that my coworkers are idiots I know (most?) people don't mean it literally when writing something like this but I still wonder why such self-evident ideas as "make things easy to use correctly and hard to use incorrect
152.
by staunton 2y ago
In recent news, net neutrality is on the way out as we speak.
153.
by staunton 2y ago
> abundant in their mind Can you elaborate on what you mean by that?
154.
by staunton 2y ago
> We’ve had a few different posts on HN demonstrating that it is trivial to link aliases based on writing style. Do you have a link? I wasn't able to find it...
155.
by staunton 2y ago
The two paragraphs seem contradictory to me... The fist paragraph seems to say: "greed is not a good explanation", while the second seems to claim: "greed explains everything and we are all OK with it".
156.
by staunton 2y ago
You're saying that you've killed people for money? Or that you hired killers before?
157.
by staunton 2y ago
It's easier to run your own Mastodon server than your own mail server (for the exact reason you cite).
158.
by staunton 2y ago
> Expecting always on satellite connections in a lot of these places is asking for a lot. It might be easier than having reliable power grids or running water supply. Assuming at least some of the satellite-internet projects work out (St
159.
by staunton 2y ago
> Frankly, shameful. Editors, especially in mathematics, should be able to judge the work on its merits. You might end up receiving hundreds of (perhaps AI-generated) submissions every day and reviewers would just refuse to read any of i
160.
by staunton 2y ago
Jupyter is completely different from Wolfram software. It's just an interface to edit and run code (Julia, Python and R) and write/render text or images commenting the code. Which isn't to say that Jupyter isn't a great
161.
by staunton 2y ago
If we're nitpicking: quantum computing algorithms could (if implemented) compute certain things faster than the best classical algorithms we know . We don't know any quantum algorithms that are provably faster than all possibl
162.
by staunton 2y ago
> with a high temperature More like: with the right prompting
163.
by staunton 2y ago
> Yes, I do understand that "privacy" here is mostly about not sending it for processing to third parties. Then why does it puzzle you?
164.
by staunton 2y ago
> I don't have it in me to have an extended discussion to address how indiscriminately killing civilians was never accepted practice in modern warfare. I did not claim it is/was accepted practice. I was asking if "doing it
165.
by staunton 2y ago
There's very little competence (and also money) required to buy a 3D printer, download a design and print it. A lot less competence than "being a machinist". The point is that making dangerous things is becoming a lot easier
166.
by staunton 2y ago
> Restricting access to information is not really doing much at all. Why not? Restricting access to information is of course harder but that's no argument for it not doing anything. Governments restrict access to "state secrets
167.
by staunton 2y ago
You're comparing the actions of what most people here view as a democratic state (parlamentary republic) and an opaquely run terrorist organization. We're talking about potential consequences of giving AIs influence on military
168.
by staunton 2y ago
I made no specific claim about "crypto" one way or the other. My point is that to decide if some activity is legal, or moral, etc., you have to look at what is actually done. It's not enough to look at whether the day-to-day
169.
by staunton 2y ago
There's ransomware hackers in some countries who also write reports while getting health insurance and paid parental leave...
170.
by staunton 2y ago
I don't see why you would think that. In such a project theorems and proofs are "the main point of the software". The unit tests make sure certain things don't go wrong by noticing when developers, e.g., mess up while re
171.
by staunton 2y ago
This has happened before, see, e.g. the biography of Vladimir Voevodsky. Spoiler: the world kept spinning.
172.
by staunton 2y ago
Most (larger) Lean projects still have "unit tests". Those might be, e.g., trivial examples and counter examples to some definition, to make sure it isn't vacuous.
173.
by staunton 2y ago
This ignores the question how hard it is for a human to find the best (or a "good enough") move. It's easy to find games with 10 "only move" 's in a row where even a beginner could easily have played all if the
174.
by staunton 2y ago
My impression: In these early days of the technology there's huge uncertainty over what gets you users and also over what gets you lawsuits. People are trying to do all kinds of things with these models, most of which don't quite
175.
by staunton 2y ago
> Within the training domain, maximizing the userbase and minimizing lawsuits are not in much conflict Not at all obvious (and I'd naively think it's wrong).
176.
by staunton 2y ago
You're assuming he'd make a serious attempt to ban it
177.
by staunton 2y ago
Ultimately, a hybrid approach might win out in the end. Use equations for what we know, use machine learning to fit parameters in the equations, as well as terms we don't know. Prople nowadays can solve differential equations where som
178.
by staunton 2y ago
Overfitting is always bad by definition. The model learns meaningless noise that happens to help getting good results when applied to old data (be it due to trained weights, hyperparameters, whatever) but doesn't help at all on new dat
179.
by staunton 2y ago
Pray, what private citizens operate ICBMs?
180.
by staunton 2y ago
This is a great technical achievement. It gives me some hope to see that the various companies are able to invest into what is still very basic science, even if it were mostly as vanity projects for advertising purposes. Quantum computing w

More ›