Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
drdeca
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
29 ms
·
301.
▲
by
drdeca
1y ago
Outside of the context of a convex hull, I don’t know how to make a distinction between interpolation and extrapolation. This is the core of my question. What precisely is it that you mean when you say that it is interpolating rather than e
302.
▲
by
drdeca
1y ago
The part about “is it in the convex hull?” was an important part of the question. It seems to me that if it isn’t in the convex hull, it could be more fitting to describe it as extrapolation, rather than interpolation? In general, my questi
303.
▲
by
drdeca
1y ago
I still think it seems unclear what you mean by “interpolate” in this context? If your NN takes in several numbers and assigns logits to each class based on those numbers, then if you consider the n dimensional space of possible inputs, and
304.
▲
by
drdeca
1y ago
What is this screenshot supposed to be demonstrating? What’s with all the asterisks in the image?
305.
▲
by
drdeca
1y ago
If you have some probability distribution over finite sequences of bits, a stream of independent samples drawn from that stream can be compressed so that the number of bits in the compressed stream per sample from the original stream, is (i
306.
▲
by
drdeca
1y ago
That depends on whether they are capable of creating a billion dollar startup. If they aren’t, and I say they aren’t, then I am correct. If they are, and the AI’s output says they are, then AI’s output is correct.
307.
▲
by
drdeca
1y ago
A programmer constructs a function from some data type to another while a mathematician constructs a function from witnesses of some proposition to another? Though interpreting a CRUD app as a theorem (or collection of theorems) doesn’t res
308.
▲
by
drdeca
1y ago
Picking what letters to use for what things can still be a struggle. Mathematicians do have to deal with difficulties in naming things.
309.
▲
by
drdeca
1y ago
While restricting these language models from providing information people already know that can be used for harm, is probably not particularly helpful, I do think having the technical ability to make them decline to do so, could potentially
310.
▲
by
drdeca
1y ago
Are the conversations(/“conversations”) in this study using a model that is too big to apply their circuits analysis to? It would be interesting if we could see these “values” in terms of how the different features interact with each-o
311.
▲
by
drdeca
1y ago
The previous poster didn’t describe the natural numbers as trivial. Rather, described a case as trivial. Specifically, the case of the divisor being 1.
312.
▲
by
drdeca
1y ago
Because (at least, according to special and general relativity) when two events U,V are simultaneous (in the sense of “the time coordinate is the same) in one frame, then from another frame U is before V (in the sense of the time coordinate
313.
▲
by
drdeca
1y ago
Ah, I was thinking you meant like, you were dating someone with a kitsune as a "fursona", and I was confused as to why you would mention that in this post. Thanks for clarifying.
314.
▲
by
drdeca
1y ago
The fact that people were obtaining it from sources intended for horses is mostly unrelated to the fact that it is not effective as a Covid treatment for people who don’t have some other parasite in addition to Covid. I don’t think calling
315.
▲
by
drdeca
1y ago
Hm, one thing I’m unclear on is… Well, from what I understand, the mass eigenstates and the flavor eigenstates for neutrinos aren’t the same, so a mass eigenstate is a linear combination of the different flavor eigenstates, and a flavor eig
316.
▲
by
drdeca
1y ago
Volts are energy per charge, right? So the cost of moving X charge from one place to another where the electric potential between them differs by voltage V, is X V? Kind of like how lifting a mass involves increasing the g h , so costs ener
317.
▲
by
drdeca
2y ago
“ & their black nine-tailed fox partner”? Huh? Like in mythology? I’m missing something.
318.
▲
by
drdeca
2y ago
I think there are probably C compilers for more platforms than there are rust compilers. So, if you want to compile your rust project on some obscure platform that doesn’t have a rust compiler for it yet, you could compile to C and then com
319.
▲
by
drdeca
2y ago
I don’t know what Islam says about this, but the Old Testament certainly speaks of God allowing enemies to do things to Israel (by which I mean biblical Israel — I don’t intend to express any position on the relationship between that countr
320.
▲
by
drdeca
2y ago
People were telling the models explicitly to fill it to the brim, and the models were still producing images where it was filled to approximately the half-way point.
321.
▲
by
drdeca
2y ago
Not claiming that it is comparable, nor am I upset by it, but, one oughtn’t claim that there was nothing confidential there if there was, in fact, confidential stuff in there. I don’t care if this makes it easier for other people to make a
322.
▲
by
drdeca
2y ago
Could it be possible to make a cryptosystem where messages can be decrypted either with the recipient key, or by sequentially applying say, 100 different backdoor keys, such that the different backdoor keys could be stored on different mach
323.
▲
by
drdeca
2y ago
I believe, for bitcoin, that only works to spend coins from addresses that have already been used to spend coins, which, is therefore discouraged as a way to hold bitcoins? Instead, best practices are to, when sending from an address, to se
324.
▲
by
drdeca
2y ago
Presumably the purpose of the exercise was to test the model’s capabilities / “take it for a spin” , not to obtain the working progress (as, as you mention, they already had a working program to do the task).
325.
▲
by
drdeca
2y ago
Does he have any theorems about this?
326.
▲
by
drdeca
2y ago
Judging by the “pi plays Pokemon Sapphire”, uh, not in a reasonable amount of time? It’s been at it for over 3 years, hasn’t gotten a gym badge yet, mostly stays in the starting town.
327.
▲
by
drdeca
2y ago
How are you differentiating between caring about values and caring about virtues?
328.
▲
by
drdeca
2y ago
No. Gödel’s theorem forbids something that in general tells you whether a statement is true or not. (As in, a method which would work for every possible statement within a system.) It certainly doesn’t preclude something that checks if a pr
329.
▲
by
drdeca
2y ago
You mention the world being (at least subjectively) stochastic. This brings to mind the idea that a model of probability rather than just logic, might be more beneficial? The example you gave of focusing excessively on some topic in order t
330.
▲
by
drdeca
2y ago
I don’t think it would take you long to learn FOL, and I think it is a good formalism to have some familiarity with. It’s pretty much the default modern formulation of general-purpose formal logic.
More ›