Comment Re:Layoffs (Score 1) 70
There is no way the whole payment is taxable. Only certain *profits* are taxed, not all cash flow, and corporations have accountants who make sure any such profits are minimal.
There is no way the whole payment is taxable. Only certain *profits* are taxed, not all cash flow, and corporations have accountants who make sure any such profits are minimal.
Maybe Roku has been paying to carry Fox content, or Fox has been paying Roku to carry content (I don't know how their deals work), and now that doesn't have to happen anymore?
Let's do the math:
($Fox + $Payment) + ($Roku - $Payment) = $Fox + $Roku
That's a zero-sum transaction. No $400M savings there.
Making a better battery, or commercializing it, is a milestone. Putting a research battery into an airplane is not a milestone. It's a publicity stunt.
Building a reliable long-range monoplane in 1927 was a milestone. Flying it solo from New York to Paris was a publicity stunt.
Which of these two actions do people remember and celebrate today?
I think that these are all just adult album alternative format stations that keep playing that one Wilco record.
If AI services are becoming too expensive in the current environment, we can look to nature for help. There is a an abundant species of large mammals in the ape family that can be trained to do this kind of work as well.
Apparently, the elite also own all the newline characters.
Pica FTW!
Is the USA in need of a tunnel to Denmark?
As a matter of fact, yes. Specifically, to the Greenland region.
Although a golden bridge of grossly outsized proportions and festooned with tacky ornamentation would be much preferred.
Notepad, which is a tech demo for some controls written by Microsoft
Apparently, its current purpose is a demo for their "Copilot" AI technology.
With all of GitHub's great new AI features, it writes all your code for you! It doesn't matter whether the site is up at any given moment; just download your newly completed app at some point then the site is online. You're free to kick back, relax and scroll your social feeds because you don't actually have to do anything anymore. This is truly a golden era!
This is why NASA always packs a tin of Bondo with the mission supplies.
Formal verification mathematically proves code implements a specification. It does not catch bugs that are specified.
There are entire classes of bugs (logic bugs) that LLMs can find that formal verification literally doesn't even try to.
So you prompt the LLM to "find all the bugs".
Even if the LLM can find every last bug (which in turn assumes that this type of problem isn't NP-hard or has some issue that Godel would point out), just defining to the LLM exactly what a "bug" is seems to be pretty much the same thing as those formal specifications that you just convincingly dismissed as inadequate.
I don't think that there's anything magical about LLMs that would let them get around fundamental mathematical roadblocks.
My point exactly. With 5 bullets, does a 16% chance of surviving each trigger pull actually mean anything?
It would mean that there's an 83% chance that the rest of us would be spared from more posts expounding on your silly line of reasoning.
The "probability" is meaningless if it is being used to predict the outcome of a single event. Statistics 101.
If that's the case, the next time you play Russian roulette, why don't you go ahead and put in 5 bullets?
Mutually Assured Destruction and even a small arsenal like Israel is said to have makes nuclear war pointless.
If what you say is true, then why is everyone freaking out over the prospect of Iran obtaining nuclear weapons?
From now on, I'm only drinking soda in October.
Pound for pound, the amoeba is the most vicious animal on earth.