cvoss

22 ms·

361.
by cvoss 3y ago
That won't work in simply typed lambda calculus. (Try to write down the types involved!) Either untyped or dependently typed is required.
362.
by cvoss 3y ago
That's a compact data structure, but now show us the type checker and the evaluator? Your data structure is also not the simplest choice of syntax for lambda calculus, since you require an explicit type annotation on every function var
363.
by cvoss 3y ago
I guess it's unique in the sense of "it's his phone", which is a description no other phone meets. In that way, it functions like an old fashioned seal.
364.
by cvoss 3y ago
Adding to the answers of others, Webb can't see the whole observable universe. It has an upper limit on wavelengths that it can detect. Because older / further away light sources are more red shifted, at some point the really ol
365.
by cvoss 3y ago
The CDC reports that, previously, the last case of malaria to be "locally acquired" in the US was 2003. [0] See also [1] for a history of the effort to eliminate malaria in the US, which took place primarily from 1947 - 1952. [0]
366.
by cvoss 3y ago
The user is welcome to investigate their own rights on their own time. The government has no interest in that here. The government has a different interest. The library is furnishing a powerful tool to users: the ability to make copies read
367.
by cvoss 3y ago
The author has misread the statute. The notice and the statutory language from which it derives (Title 17, sec. 108 (d) and (e)) are about the conditions under which the library is released from liability for copyright violations. No stat
368.
by cvoss 3y ago
> Most of the time people are just fighting over scraps and the best they can hope for is some steady source of income that pays their rent and affords them some basic luxuries like visiting Las Vegas and watching a few acrobatic shows.
369.
by cvoss 3y ago
If the local authorities have an actual life-and-death emergency broadcast to make to the entire area they serve, I suspect they have a more effective means to do this than Twitter. As a matter of public safety, they need to be able to info
370.
by cvoss 3y ago
This is just a dispute of semantics over what the word "law" means. The fact remains that the United States government has been designed from the start to have legislative bodies that pass statutes, and judicial bodies which do no
371.
by cvoss 3y ago
Whether to a sufficient degree or not, SCOTUS agrees with you on this point and exercises a strong reluctance to second-guess past generations of itself, especially on statutory (as opposed to constitutional) matters, since it is theoretica
372.
by cvoss 3y ago
Fair, but what does that distinction do to illuminate your or my arguments?
373.
by cvoss 3y ago
Personally, that's not been my experience at all. I often find that when I have two friends with highly disparate and deeply held beliefs, the intense emotions they associate to these ideas are due to them not actually engaging each
374.
by cvoss 3y ago
Because we have to assume not everyone can ascertain what are bad faith or dishonest arguments, or even good faith but illogical arguments. People are fallable and can be persuaded by bad arguments. So the point is, given enough time, the p
375.
by cvoss 3y ago
"Overheated" and "chilled" aren't antonyms here, at least not in the sense I think you're using them. Overheated: the discourse has too much anger or vitriol, or is too personal and emotionally charged. Chilled
376.
by cvoss 3y ago
But I think we are still far from approaching the stable post-Moore state. Being post-Moore is forcing engineers into exploring wackier and wackier architectures to squeeze out what computing power they can within the physical limits. Post-
377.
by cvoss 3y ago
A similar mistake I see people make is hearing the headline, "SCOTUS sides with party A over party B", and conclude the Court generally supports and agrees with what A did and maybe even believes A acted morally rightly. That&#x27
378.
by cvoss 3y ago
That example isn't scary, of course. The -or/-our spelling difference is only the simplest example of what's different between American and British English. I think it's pretty clear to someone who's never even enco
379.
by cvoss 3y ago
> No. This answer is pretty terse and doesn't provide a lot of understanding. Found these helpful articles instead, explaining the difference between an absolute horizon [0], which is what you're talking about, and an apparent
380.
by cvoss 3y ago
For some time after Alice and Bob have both crossed, they can continue to communicate with one another, showing that they are not separated by a horizon. But since Alice is ahead, won't she and Bob get separated more and more over time
381.
by cvoss 3y ago
> The infalling person has no way of knowing, locally, that they have crossed the horizon Is there such a thing as "the" event horizon? Suppose Alice and Bob are both free falling into a block hole, but Alice is a little bit fu
382.
by cvoss 3y ago
> according to the article, a type system only deserves that name if it prevents use-after-free errors, memory corruption etc. etc. I mean, you are hiding a lot of possibilities in "etc. etc.". So is the article, when it says &
383.
by cvoss 3y ago
This solution won't be accepted without a lot more work. Flipping a coin is not guaranteed to produce an aperiodic tiling, since, in the trivial case where the coin comes up heads indefinitely, you'll be producing a periodic tilin
384.
Ask HN: How have you handled being called back into the office?
2 points by cvoss 3y ago|0 comments
385.
by cvoss 3y ago
Let's map the question to a different domain. Does a police officer concede that laws don't need to be followed, or that he is not bound to enforce laws, if he declines to pursue a violation of the law that he witnesses? Does he a
386.
by cvoss 3y ago
No, it's not an agreement. Handing down a SCOTUS opinion is the most powerful thing they can do, and all lower courts are bound by it. But maintaining silence permits lower courts to continue operating each on its own best judgment. SC
387.
by cvoss 3y ago
Believe it or not, there are other motivating factors for doing good work than money. Just because I'm fairly compensated doesn't mean I'm going to tolerate major inconveniences that impede my ability to work efficiently, pro
388.
by cvoss 3y ago
The oral argument for this case was an entertaining one to listen to. I mean, relative to others. The whole thing is so understated that little stuff stands out a lot. First we get this exchange, in which EK interrupts T to make a joke. The
389.
by cvoss 3y ago
But the whole point of the anthropic argument for anything (oxygen, goldilocks earth, fine tuning) is that it doesn't matter how slim the odds are. We cannot observe a universe where the lucky thing doesn't happen because we can
390.
by cvoss 3y ago
Early in the article, we get a discussion of the precession of Mercury, known for centuries. Then: > (In this context, Newtonian mechanics gives such a good approximation of reality that these models don’t need to consider the effects of

More ›