cvoss

66 ms·

421.
by cvoss 4y ago
> Instead No way. The threshold of consensus required to put a constitutional amendment through is far higher than that of passing a bill (maybe too high, but that's another conversation). The fact that such an ammendment would cons
422.
by cvoss 4y ago
It's not modern at all. Type system notation has been using x : T to say "x has type T" for at least 50 years. It's the standard in academia, and has existed in real-world programming languages since 1971. [0] [0] https
423.
by cvoss 4y ago
It's impressive because the rest of us have to read about these things in history books or in the news. She was there for it all, not only witnessing, but discussing, events of profound significance with the people at the center of the
424.
by cvoss 4y ago
This is where I think the culture barrier may have a major role. If somebody today says a thing happened ten thousand years ago, the listener has an expectation that the true year of the event is 2022 - 10000 plus or minus, what, 1000? And
425.
by cvoss 4y ago
I guess your argument isn't convincing for me. A clerical inaccuracy is not evidence that whole account is false. And if Plato has some propagandish agenda about Athens (which I can totally believe), then that warns us the story may be
426.
by cvoss 4y ago
How does one discern whether a story is a history or a fiction, thousands of years afterward? Language and culture shift dramatically in that time. (Actual question, not rhetorical.) If Plato is the only one who recounts the story, that doe
427.
by cvoss 4y ago
There's no inherent reason why doing lazy evaluation in an eager-by-default language should be any harder than the reverse. I can imagine a language that is eager by default but has a '#' operator that holds expressions in un
428.
by cvoss 4y ago
Agree fully. Yes, after a good dissertation, you are the world's expert on [title of your dissertation]. But you learned so much more getting that degree than is captured by that very narrow lens. So I would argue that if you try too
429.
by cvoss 4y ago
I think it is a reasonable position to maintain, then, that there was insufficient evidence for GR until at least the Eddington experiment. That the derivation may have seemed so inevitable to Einstein once he saw it, or that its elegance w
430.
by cvoss 4y ago
I was not taken with my first read of LOTR. It wasn't until I read it with others who carefully unpacked for me so much more than I could see. And there is SO much. Like, I could never tell the difference between Merry and Pippin befor
431.
by cvoss 4y ago
The American conception of democracy does not, by any means, refer to an ability to get the government to carry out the will of 51% of the populace. It is even specifically designed _not_ to do that, on purpose, for very good reasons. Here
432.
by cvoss 4y ago
> These changes to Concrete Mathematics are too numerous to incorporate into the online errata. Therefore I've prepared replacement pages for anybody who wants to upgrade their copy of the second edition. I have a beloved copy of CM
433.
by cvoss 4y ago
And the article even admits as much a few paragraphs later. Just one of many pieces of evidence that this article is not of much value, even as a work of speculative fan fiction.
434.
by cvoss 4y ago
To correct myself, because I didn't actually bother to check first, there are actually black holes or probable black holes closer than the center of the galaxy. Like, a lot closer. [1] And we've seen a lensing effect from at least
435.
by cvoss 4y ago
You would need a gravitational lens so powerful it not only bent light, but made the light perform a complete slingshot around it so that it would be aimed back at Earth. The nearest such object is the Milky Way's black hole, and there
436.
by cvoss 4y ago
> In essence, as data size 'n' grows, the random access time grows as sqrt(n), because that's the radius of the growing circle with area 'n'. I was about to write a comment suggesting that if we made better use o
437.
by cvoss 4y ago
Would highly recommend spending time gazing at each one in full resolution. The deep field in particular is underwhelming until you look at it as closely as possible. Then it becomes extraordinarily spectacular.
438.
by cvoss 4y ago
> two objects moving in oppositive directions at 51% the speed of light > combined their relative speed from each other is >c We've got to be very precise with the language here. That's not accurate as stated, even though
439.
by cvoss 4y ago
While I appreciate the earnest defense of FOSS and the, in all fairness, totally warranted suspicion of Microsoft, given its history, I found the attitude of this article to be very sour and, actually, in bad faith. Let me address the thr
440.
by cvoss 4y ago
Well, the exact locations of syllable boundaries are not always universally agreed upon. Here is one dictionary's entry for "typography" [1] which claims that US speakers break it up as ty-po-gra-phy while British speakers br
441.
by cvoss 4y ago
I would go further and call it a meme at this point. And it's completely lost its effectiveness. After all, this article uses the phrase to mean exactly the opposite of what it originally meant, arguing that it is, in fact, _perfectl
442.
by cvoss 4y ago
Time spent performing thesis research is accounted as course credit hours (There's typically an 800 or 900 level course for exactly this.) After all, you must be "taking classes" every semester, with very limited exceptions
443.
by cvoss 4y ago
I can't speak to the "by law" part. But many universities, including two that I have experience with, consider the PhD stipend to be compensation for a part time job (RA/TA), accounting for 20 hours of the student's
444.
by cvoss 5y ago
Are you doubting that the application implements the zk-SNARK algorithm correctly? Or doubting that the application actually running on the server is the same as the one in the publicly available source code? Or something else? The first do
445.
by cvoss 5y ago
It's not mentioned on the website, but, empirically, at least, I see the generated proof file is different if you find the same treasure multiple times. That means if someone snoops my machine and tries to use my proof to claim that th
446.
by cvoss 6y ago
"Overall" vs. "in some areas". "The average is fine, but the standard deviation is high" is how I read that sentence, which is not a self-contradicting claim.
447.
by cvoss 6y ago
Curry's Paradox [0], for anyone wondering why this suggestion is entertaining and deserves its exclamation point. [0] https://en.wikipedia.org/wiki/Curry%27s_paradox
448.
by cvoss 6y ago
You're right, it's not a precise line of reasoning. I was considering only computable functions (else "runtime" isn't a meaningful concept) and treating the input domain as actually being the Cantor space, where 0.9
449.
by cvoss 6y ago
I think I have a half-baked understanding of what's going on here. Let me talk through it. Take a function f : unit_interval -> bool. I believe that if there is no bound on the execution time of f, then f must not be a total functio
450.
by cvoss 6y ago
> The Supreme Court hears arguments with no recordings allowed This could not be further from the truth. Complete audio recordings and transcripts dating back to 1955 are available on oyez.org, the more recent of which are likewise avail

More ›