User23

24 ms·

541.
by User23 3y ago
It certainly isn’t for the folks involved in crash three.
542.
by User23 3y ago
There are probably better sources now than the original paper for an implementer to reference, and you probably want a vector clock, but it’s still worth a quick perusal at a minimum. It’s just good clear scientific writing. I suspect that
543.
by User23 3y ago
That explains why mass immigration has been driving down real housing and health care costs. The pie, it grows! California has never been a more affordable place to live and start a family.
544.
by User23 3y ago
GDP = C + G + I + NX C = Consumption G = Government spending I = Investment NX = Net exports Which of these exactly is immigration going to boost and how will it sum to $7 trillion? My money is overwhelmingly on G for mass
545.
by User23 3y ago
This is a fine example of how misguided measuring for the sake of measuring really is.
546.
by User23 3y ago
I supplement with small amounts of KCl so I have it handy and the taste is still salty, but it’s considerably more metallic on the tongue. It’s harder to notice dissolved in something else.
547.
by User23 3y ago
Third sentence from the source you listed: Earth is currently in the ice age called Quaternary glaciation. It’s remarkable how reliably little there is to learn in climate threads here[2], so let me do my small part to present some b
548.
by User23 3y ago
I’m willing to bet that willingness to ban plastics and not dumping plastics into the ocean in the first place are highly correlated.
549.
by User23 3y ago
> since successful fraud is by definition indistinguishable from genuine success This is absolutely false in real science and that you say it seriously is proof of just how far gone the academy is. Needless to say no matter how much you
550.
by User23 3y ago
Get an umbrella policy. They are remarkably inexpensive for what you get.
551.
by User23 3y ago
Why not just let the candidate use ChatGPT or autopilot or whatever if it’s permitted at your workplace? It’s not hard to detect if they actually understand what it’s doing. In fact competence at LLM assisted coding is hire signal as far as
552.
by User23 3y ago
They can perhaps be used to establish willful infringement if it ever does go to court.
553.
by User23 3y ago
> *Apparently there are some legal systems, particularly in Europe, where the costs of taking Big Tech to court are lower. You’d have to ask your lawyer about that. The time and willpower aspects may be similar though. I’m not a lawyer,
554.
by User23 3y ago
I have a basically unsubstantiated intuition that there is some analog of the recursion theorem for LLMs, if it’s not itself applicable. If so it should be mathematically impossible to prevent prompt “hacking.”
555.
by User23 3y ago
It's also hard to understand because it's largely illusory. If, say, Facebook is down and ad spending ceases for an hour, that money didn't just go up in smoke. It's still in somebody's ad budget, and there's a
556.
by User23 3y ago
> The distinction between "fully merged" compounds, hyphenated ones, and ones with spaces is yet another one of those endlessly annoying quirks of English Being cognizant of these really helps develop empathy with ESL learners.
557.
by User23 3y ago
The difference is for the German compound word you only have to remember the endings for the last part. You don’t need to worry about adjective declension. So yes it’s a real grammatical difference and not just whitespace differences.
558.
by User23 3y ago
But you don’t see things like “Straßenbahnhaltestelle” in English where you have four words mashed together. I’d translate that something like “streetcar stop,” but literally it’s “street car stopping place.” Streetcarstop while reasonable
559.
by User23 3y ago
Indeed, which is why I offered the pragmatic qualifier. It easily follows that the weakest precondition for L is that at least one of the weakest preconditions for every goto to that L holds. One can possibly do even better with some kind o
560.
by User23 3y ago
I would call dancing lights “dancing” too. As has already been said, it’s a linguistic issue. And it’s perfectly reasonable to say a machine “thinks.” It’s just good to understand that it’s a metaphor and not a literal description of what t
561.
by User23 3y ago
EWD is one of my intellectual heroes. His reasoning exemplifies the philosophical goal of making ideas both clear and distinct. His equational proof is a standout example of the tools he used to do so. About a decade ago, over the course of
562.
by User23 3y ago
The problem with unrestricted GOTO isn’t that they’re never useful or that bad people use them. The problem is specifically that they make predicate transformer semantics (and probably other formalisms) pragmatically useless. For example in
563.
by User23 3y ago
> I'm also surprised that male birth control pills don't exist yet. In my mind it is the easiest thing ever, exogenous testosterone basically solves the problem. It changes social behavior, including voting patterns, in ways co
564.
by User23 3y ago
Because it’s pertinent.
565.
by User23 3y ago
Is the author proficient in C?
566.
by User23 3y ago
> I hate the strategy of just taking every idea you hear and throwing it into a ticket. You just end up with this giant icebox of stuff you'll never do. If a big new prospect demands one of the ideas that's in the icebox be imp
567.
by User23 3y ago
I look forward to seeing the Gell-Mann amnesia the next time an obviously cooked climate study comes out and people get all worked up over nothing. If reading that makes you upset, do you have a rational reason why? Can you explain how clim
568.
by User23 3y ago
You spelled “people who are bad at office politics” wrong there.
569.
by User23 3y ago
So far as I can find the last time Congress bothered to pass a budget was 2016 with the prior one in 2010. The government has been funding itself instead with “continuing resolutions” which pretty much just continue spending as the prior ye
570.
by User23 3y ago
Sure, and at some level everything is processing. Even putting an object at the end of a FIFO queue has overhead. I would be very hesitant to introduce a sorting proxy unless the need for it had been thoroughly demonstrated though. If your

More ›