drdeca

31 ms·

361.
by drdeca 2y ago
How would you make a test a specification? I suppose you could do something like, enumerate every possible combination of inputs and check that some property holds for all of them. Or, maybe you could instead randomly select a number of com
362.
by drdeca 2y ago
Their comment wasn’t about what was legally right. I thought the part where they said something like “regardless of whether it is by courts doing things properly, by courts doing things improperly, or by some vigilante” made that clear enou
363.
by drdeca 2y ago
Tumblr also has this? (Not counting the ads and specifically-paid-to-be-promoted posts, but those are clearly marked, and I’m pretty sure twitter has as many in-line ads)
364.
by drdeca 2y ago
I don’t think the “not having an actual value until measured”, properly understood, would seem like an optimization. I don’t know why so many people feel like it would be an optimization? Storing a position is a lot cheaper than storing an
365.
by drdeca 2y ago
“edge of the universe”? What?
366.
by drdeca 2y ago
Neither of those ideas are absurd.
367.
by drdeca 2y ago
> All we know is that there are places where spacetime curves in ways our theories didn’t predict from the matter we observe I think we can say more than that. For observations to be compatible with the hypothesis that dark matter is par
368.
by drdeca 2y ago
Huh? Did you comment this in reply to something other than what you intended to reply to?
369.
by drdeca 2y ago
If I take 1000 books and count the distributions of the lengths of the words, and the covariance between the lengths of one word and the next word for each book, and how much this covariance matrix tends to vary across the different books,
370.
by drdeca 2y ago
> Happiness is what happens as a result of your helping others become happier; there is no shortcut, there is no other way. Zack has a comic on a similar concept: https://www.smbc-comics.com/comic/2009-11-18 Of cour
371.
by drdeca 2y ago
I wasn’t thinking forbidding them from decompiling it or anything. I don’t think any rights are violated if government doesn’t issue any further copyright protections (even though I don’t think this for the best). I am not saying that the p
372.
by drdeca 2y ago
It seems like a bit of a strong restriction to have in the law that if I distribute an executable (which people may reverse engineer, modify, redistribute as they wish) that I am obligated to provide the source code upon request. Like, what
373.
by drdeca 2y ago
I didn’t get the impression that the GP actually posted them to r/aita , just asked it to write something in the style of such posts
374.
by drdeca 2y ago
Neat game! I feel like the “if possible only one word” may make things a bit weird due to no fuzzy matching. I put “Sherlock Holmes” for one thing, and the expected answer was “Sherlock”. Also I misspelled the name of a movie. Maybe adding
375.
by drdeca 2y ago
Aren’t the spherical harmonics functions with domain S^2, the sphere? I think the solutions to the (time-independent) Schrödinger equation for an electron in a hydrogen atom are given by like, a product of a function of distance from the ce
376.
by drdeca 2y ago
1 Corinthians 15:13-19 (NIV) : “ If there is no resurrection of the dead, then not even Christ has been raised. And if Christ has not been raised, our preaching is useless and so is your faith. More than that, we are then found to be false
377.
by drdeca 2y ago
Do you just mean because any physically realizable computer is a finite state machine? Or...? I wouldn't describe a computer's usual behavior as having constant depth. It is fairly typical to talk about problems in P as being feas
378.
by drdeca 2y ago
How do you define "algorithm"? I suspect it is a definition I would find somewhat unusual. Not to say that I strictly disagree, but only because to my mind "neural net" suggests something a bit more concrete than "a
379.
by drdeca 2y ago
That, I think I can agree with. It seems to me reasonable to say that the requirements for something to qualify as “scientific evidence” are stricter than to qualify as “evidence”, and that anecdotes don’t qualify as “scientific evidence”.
380.
by drdeca 2y ago
Evidence is that which provides a reason/justification to change beliefs. When it was noticed that people working with cows (and who were therefore often exposed to cow pox) didn’t seem to get chickenpox, this seems to me an example o
381.
by drdeca 2y ago
If you mean “not what we want” for safety reasons, I think I agree. If you don’t mean for safety reasons, I’m not sure why.
382.
by drdeca 2y ago
“correctly”. I don’t consider it “incorrect” English when someone writes “cafe” or “resume”. It seems to me a little bit pædantic to insist that those words must have the accent marks in order to be correct (when using them in English).
383.
by drdeca 2y ago
How??? I mean, I personally don’t buy things much. And I don’t even block ads (a deliberate choice), so it isn’t like I’m preventing myself from being influenced by ads by limiting my exposure to them. (I guess mostly it is just that I disl
384.
by drdeca 2y ago
I guess I should clarify what I mean by capitalism: A combination of relatively free markets (e.g. present day markets) and private ownership of the capital which is used to make goods and services that are then sold. I think this is a rel
385.
by drdeca 2y ago
> Also Adobe's subscription pricing (per-month) is significantly less than the retail cost for a one-time purchase of their software without future updates. And the per-second pricing is even less!
386.
by drdeca 2y ago
It would at least be significantly less of a problem, if items purchased didn’t have such negative externalities as part of their production. I don’t see why a culture significantly less prone to desiring items that aren’t actually all that
387.
by drdeca 2y ago
I don’t think “differential linear algebra” really counts as “backprop”.
388.
by drdeca 2y ago
Where are you seeing the integer quantum Hall effect mentioned? Or are you bringing it up rather than responding to it being brought up elsewhere? I don’t understand what the connection between IQHE and these SAE interpretability approaches
389.
by drdeca 2y ago
The model could choose which measurement operations to make on the qubits, and which operations to take to repair the qubits? In some quantum error correcting codes, there is a large set of operators that, when there are currently no errors
390.
by drdeca 2y ago
Hm, yes, a function cannot have bounded support in both the time domain and the frequency domain… What if you take a function that has bounded support in the time domain, and then turn it into a periodic function? Might the resulting functi

More ›