cvoss

23 ms·

271.
by cvoss 2y ago
Even the ordinary annual cicadas in my area are on their own a force to be reckoned with. They don't peak until late summer though. Because of that, and the fact that as a kid it meant going back to school, the sound still makes me sad
272.
by cvoss 2y ago
I think you are misunderstanding the relationship between the theorem and the proof. You express doubt that the proof is a good one, but then you point to the libraries in Lean as a possible source of incorrectness. The libraries cannot be
273.
by cvoss 2y ago
It's important to remember, whenever a news headline reads "Y after X", that the headline does not actually claim "Y because of X". I find it a frustrating misdirection by the newspaper to employ such headlines, sin
274.
by cvoss 3y ago
Rather, 'compute' is a verb, 'computation' is a noun, and 'computationally' is an adverb (which is the most appropriate choice in the context of GGP's statement). All of these words refer to the same conce
275.
by cvoss 3y ago
While the article does present both sides of the classic open source debate ("It's vulnerable because it's open" vs. "It's safe because so many eyes are on it"), it seems to come down on the side of the fo
276.
by cvoss 3y ago
Knowledge of how to do X isn't the only relevant qualification for being licensed to do X. In fact, I'd argue it's not even the primary qualification. Something else underlies it: the ability to be trusted to do X without cau
277.
by cvoss 3y ago
The lack of a central authority over English in the United States, at least, is related to a couple things. First, English is not the official language of the country. No language is. It's just a happenstance of our history that our li
278.
by cvoss 3y ago
> Does intimacy somehow lend knowledge of whether someone's looking for a long term relationship? In trying to understand your question, I'm realizing it's possible you are taking "intimacy" to mean "sexual
279.
by cvoss 3y ago
It is atrocious. It's worse than exponential. But it's much better than the prior state of the art which was n^n 2^O(n). [1] The Quanta article, unfortunately, doesn't bother to report the prior complexity for comparison, des
280.
by cvoss 3y ago
Ransom doesn't concede the Un-man is right. Rather, he concedes that the Un-man has unlimited intellectual stamina, so in any debate with a human, the human eventually succumbs to his persuasion because humans reason imperfectly.
281.
by cvoss 3y ago
There's maybe some counterintuitive math going on here. If you have 100 songs and listen to 1 song per day (which is 1% of the library), on any given day your odds of hearing the same song as yesterday are 1 in a 100. If you have 1000
282.
by cvoss 3y ago
The approach maps the classical mechanics of coupled harmonic oscillators to a particular quantum system. I'm curious if there is some (unrelated) classical system whose quantization is that same quantum system. In other words, does th
283.
by cvoss 3y ago
This explanation isn't logically complete. It starts by asking why division by zero is undefined and concludes with "0/0 = 2, which is just not true." But how can it be "just not true"? The point of this exerci
284.
by cvoss 3y ago
> The slippery slope argument is a pet peeve of mine. Do you mean that an argument which consists of a claim of an inevitable slide to a bad conclusion from a certain starting point is your pet peeve? Or that a rebuttal to such an argume
285.
by cvoss 3y ago
Well, first, I'd expect Boeing already had some idea of the scope of what was compromised simply by investigating their own systems. After all, they knew enough to declare there was no impact on flight safety. And second, even if a com
286.
by cvoss 3y ago
I didn't find any precise numbers, but the asteroid's orbit ranges from 2.5-4 AU out from the Sun. That puts it between 1.5-5 AU from Earth. Given that the event will be seen at night, it must be on the somewhat closer side curren
287.
by cvoss 3y ago
I don't think GP claimed living in a city or riding a bike was elitist. I think the claim was that imposing solutions that only work in cities as if they work for everybody is elitist. And, speaking for myself now, it's important
288.
by cvoss 3y ago
Even if you can imagine a baroque and spacious boundary that is to your liking, it remains the case that the simpler, economical boundary still exists, and you have to reckon with that one.
289.
Braid, Anniversary Edition(braid-game.com)
2 points by cvoss 3y ago|0 comments
290.
by cvoss 3y ago
Yeah, I was disappointed that the paper claims to use only so many premises up front, and then proceeds to smuggle in a few extra ones under the "clearly unphysical" line. I'd like to see a full and rigorous treatment of exac
291.
by cvoss 3y ago
No, I don't think that's right. A group of people functioning with a sense of group identity behaves very very differently from what each individual member of the group may say or do on their own. Peer pressure and groupthink are
292.
by cvoss 3y ago
A "weak solution" demonstrates perfect play from the initial state and merely implies the existence of a perfect strategy for the entire tree of game states, but, crucially, need not actually produce said strategy. Doing so would
293.
by cvoss 3y ago
This paper "weakly solves" Othello. That means that we know for the initial board state both 1) the final win/lose/draw outcome (it's a draw), and 2) the sequence of moves that should be taken by perfect players to
294.
by cvoss 3y ago
> a phenomenon in which a seemingly stable crystal structure is suddenly unable to be produced The whole intro to this article really undersold to me how significant a phenomenon this is describing. My jaw dropped when I got into the Cas
295.
by cvoss 3y ago
Why stop there? Take the circle with its center at one pole, its radius running an entire meridian, and its perimeter making an infinitesimally tight loop around the other pole. That exhibits a pi that's zero.
296.
by cvoss 3y ago
Interesting, I was expecting to hear kind of the opposite: that you'd selectively tolerate the ads on videos that meet some bar (where that bar might be quality, importance, education, artistic value, personal support for the creator,
297.
by cvoss 3y ago
Strongly object to the assessment that developers have this half checked-out mindset. Now, of course, this would differ from workplace to workplace, so YMMV, but at my workplace, so many developers have the craftsmanship attitude. They&#x27
298.
by cvoss 3y ago
> Uncomputable does not mean unsolvable by humans. It absolutely means that, unless you don't believe the Church-Turing thesis and claim that humans have the ability to carry out computations that machines physically cannot. I think
299.
by cvoss 3y ago
But BB is an uncomputable function. You've not escaped undecidability at all. You cannot write a program that will compute BB(n) given n as an input. Also, the enormous size of BB(n) for any particular n is no argument for why it'
300.
by cvoss 3y ago
Cost is generally a more holistic concept than price. If you use money (or any resource) to do X, then you can't use it to do Y. So if your money supply is limited, every purchase is more costly to you because of what you must forego t

More ›