cvoss

23 ms·

301.
by cvoss 3y ago
The claim is that there is a link for male offspring, not that there is no link for female offspring---that would be a very different claim. From the abstract of the study [0]: > No statistically significant associations were found in fe
302.
by cvoss 3y ago
Here's one found in common parlance in English: "We are doomed." That is, we are presently in a state of having had judgment passed upon us in the near past. That statement is sometimes made prior to any judgment being passed
303.
by cvoss 3y ago
To bless means something a little bit like to give a gift, but this gift is often very intangible. My project manager can "bless" my proposal for a new feature, for example, and that means declaring his approval, commitment, or su
304.
by cvoss 3y ago
The difference is the restatement of the antecedent in the second example you give. You used "article" twice. Since "which" is a pronoun, it can stand in for the actual noun, as it does in your first example. But sometim
305.
by cvoss 3y ago
And from thence comes the whole concept of "it's my job to produce way more X than I need to survive, and I will trade my surplus X for Y" where Y is something you also need to survive but didn't have time to do because
306.
by cvoss 3y ago
They were suing people for copying copyright-protected works. The usual arguing over exceptions ensued. In this particular case, is the problem that copyright laws confer too many rights to the owners, or is the problem that legislative bod
307.
by cvoss 3y ago
"When is it OK to take a wrong/bad action in order to prevent some really wrong/bad event?" "How wrong was this action?" "How bad does the event have to be to justify the wrong action?" "Who is r
308.
by cvoss 3y ago
> define a function f in some programming language to be a real if it can be proven from a specific set of axioms that... Fine, but these programs only comprise constructive reals. Similarly, with my choice of Real := Nat -> Digit, th
309.
by cvoss 3y ago
You've gotten a lot of thoughtful answers here already. Here's mine. I'll come at it from a constructivist perspective. There is a way to completely define a countable list. I do not say that you can completely write the lis
310.
by cvoss 3y ago
Broaden your view of the Halting undecidability proof. Let T_i enumerate all Turing machines. Let E be a function that encodes a Turing machine as a tape. Suppose Halting is decidable, and let H_i,j be the table of bits such that H_i,j is
311.
by cvoss 3y ago
Actually, the existence of the reserve was not depressing the market. The sell off of the reserve, which was mandated in 1996 and began in 2005, was depressing the market. The sale was modified in 2013 to try to relieve the market floodin
312.
by cvoss 3y ago
The current auction is part of a sale that has been in the works since 1996. If something untoward is happening, the public eye has had two and a half decades to spot it and correct it. And the eye has been on it; indeed, the mechanics of t
313.
by cvoss 3y ago
In the general case, the "write the spec and the AI does the rest" boils down to automated theorem proving, and I'm optimistic AIs will get pretty good at this in a lot of useful situations. Even today, in limited well-defin
314.
by cvoss 3y ago
Is it that surprising? One of the Constitution's major objectives is to restrict the powers of the government and its various entities. Being an originalist gets you there. So does not being an originalist.
315.
by cvoss 3y ago
> the same probability that seven billion people collectively hallucinated elementary theory Just for fun, it's not unprecedented that the entire human race is disposed to mislearn basic truths about the universe which have to be un
316.
by cvoss 3y ago
I don't know that the consumer expenses for dining out rise to the same level of importance as those for internet service in the digital world. On the luxury/need spectrum, the former is decidedly on the luxury side while the latt
317.
by cvoss 3y ago
What is meant by "nodes" in this article? > sum of the number of nodes and connections > Bellman-Ford instead needs many more steps: The total is based on the product of the number of nodes and vertices. > reduced the com
318.
by cvoss 3y ago
No, you cannot impede manned vehicles in the same way. If you put a traffic cone on the hood of a manned vehicle at a stop light, the driver will simply get out (when safe), remove the cone, and continue. It takes all of a minute to recover
319.
by cvoss 3y ago
Third option (not mutually exclusive of the other two) is that they want to avoid any possibility of a narrative of having profited off of a war, especially one they object to.
320.
by cvoss 3y ago
There's also some interesting work on understanding the roll of loops in the physical structure of the DNA storage on gene expression. [0] The base sequence of the DNA isn't everything; it may also matter how the DNA gets laid out
321.
by cvoss 3y ago
It's a slight exaggeration of the information content to report the data size using an ASCII encoding. Since there are 4 bases, each can be encoded using 2 bits, rather than 8. So we're really talking 750 megabytes. But still mind
322.
by cvoss 3y ago
Not too familiar with Go, but my first instinct is how will it handle non-vanilla references, of the weak, soft, or phantom variety?
323.
by cvoss 3y ago
Photons travel, and, as far as we can tell, have always traveled, at the same constant speed in a vacuum. It's "so constant" that even if you try to fly away from a photon at nearly c, it will still hit you with velocity c. E
324.
by cvoss 3y ago
What about between the first photons and the first galaxies? Time- or size- wise? We believe there were pre-galactic stars, right?
325.
by cvoss 3y ago
Take this a further step. Assuming we had telescopes big enough and sensors sensitive enough, what does the structure of the deepest parts of space look like? Are there pre-galaxy-formation structures which are smaller than galaxies and yet
326.
by cvoss 3y ago
Of course there are other useful things. But a comment argued that the presence of Y is what makes untyped lambda calculus useful. My rebuttal is that certain subsets which (intentionally) lack Y are more useful. Applications of typed calcu
327.
by cvoss 3y ago
The simply typed, and, especialy, the dependently typed lambda calculi are extremely versatile and powerful subsets of untyped lambda calculus which do not admit the Y combinator. Their usefulness does not at all require universality, and a
328.
by cvoss 3y ago
> Z3 SMT theorem prover to validate Well that's awesome. Do you know, is the theory decidable? My guess would be yes, due to quantification over only bounded integers, but I'm not sure what the full complexity of the rule langu
329.
by cvoss 3y ago
The question at hand is "how do you verify that an implementation is complete?", not "what is one test case whose failure would demonstrate that an implementation is incomplete?"
330.
by cvoss 3y ago
> When discussing human rights I've never heard an argument before that the ability to host a personal website on a cellphone is a human right. But, by using this phrase, you seem to be assuming your readers already agree with you t

More ›