bwoj

Untrue. Unsold inventory must be represented on the balance sheet as an asset. Marking down the value of 1000’s of cybertrucks will drop the book value of the company. It will impact various financial ratios that are used to estimate value. Worse yet, a public admission that they can’t sell these things can undermine the confidence which is the only thing propping up the stock’s value right now.

Sure, but why would they? They’re profiting too.

WTF does yassified CPG even mean?

You’re probably wasting time commenting here instead of having your AI do it.

That’s such outdated thinking. I’m using AI to build AI into my workflows.

That sounds like an admission that it’s a bad thing and not an argument about why Musk’s department should be allowed to do more of the same with even less oversight.

My credit report is just names and dollar amounts too. I don’t want the whole world having access to it.

To be fair, I muddled concepts of formal/informal systems versus completeness and consistency. I think if you start from an assumption that ANN is a formal system(not a given), you must conclude that they are necessarily inconsistent. The AI we have now hallucinates way too much to conclude any truth derived from its “reasoning.”

On one level, yes you’re right. Computing weights and propagating values through an ANN is well defined and very algorithmic.

On the level where the learning is done and knowledge is represented in these networks there is no evidence anyone really understands how it works.

I suspect maybe at that level you can think of it as an algorithm with unreliable outputs. I don’t know what that idea gains over thinking it’s not algorithmic and just a heuristic approximation.

It does apply to AI in terms of the computers we compute neural networks on may be equivalent to Turning machines but the ANN networks are not. If you did reduce the ANN down to a formal system, you will likely find that in terms of Godels theorem that it would be sufficiently powerful to prove a falsehood. Thus not meeting the consistency property we would like in a system used to prove things.

I suspect that if formal systems were unequivocally “better” than formal systems our brains would be formal systems.

The desirable property of formal systems is that the results they produce are proven in a way that can be independently verified. Many informal systems can produce correct results to problems without a known, efficient algorithmic solution. Lots of scheduling and packing problems are NP-complete but that doesn’t stop us from delivering heuristic based solutions that work good enough.

Edit: I should probably add that I’m pretty rusty on this. Godels theorem tells ua that if a formal system is consistent, it will be incomplete. That is, there will be true statements that cannot be proven in the system. If the system is complete, that is, all true/false statements can be proven, then the system will be incomplete. That is you can prove contradictory things in the system.

AI we have now isn’t really either of these. It’s not working to derive truth and falsehood from axioms and a rule system. It’s just approximating the most likely answers that match its training data.

All of this has almost no relation to the questions we’re interested in like how intelligent can AI be or can it attain consciousness. I don’t even know that we have definitions for these concepts suitable for beginning a scientific inquiry.

It is a big mistake to think that most computability theory applies to AI, including Gödel’s Theorem. People start off wrong by talking about AI “algorithms.” The term applies more correctly to concepts like gradient descent. But the inferences of the resulting neural nets is not an algorithm. It is not a defined sequence of operations that produces a defined result. It is better described as a heuristic, a procedure that approximates a correct result but provides no mathematical guarantees.

Other aspects of ANN that show that Gödel doesn’t apply is that they are not formal systems. Formal system is a collection of defined operations. The building blocks of ANN could perhaps be built into a formal system. Petri nets have been demonstrated to be computationally equivalent to Turing machines. But this is really an indictment on the implementation. It’s the same as using your PC, implementing a formal system like its instruction set to run a heuristic computation. Formal system can implement informal systems.

I don’t think you have to look at humans very hard to see that humans don’t implement any kind of formal system and are not equivalent to Turing machines.

I guess DOGE will set its sights on NHTSA next.

I've replaced the battery and SSD on my 2015 15" MBP. SSD was very easy to replace. Battery replacement was very involved and took about two hours. It is doable if you're methodical.

This is essentially what hyper-threading in modern processors is attempting to do.

Since 1979 probably the biggest driver to increasing household income would be increased participation of women in the workforce.

Also things like: "U.S. economic growth is not translating into higher median family incomes. Real GDP per household has typically increased since the year 2000, while real median income per household was below 1999 levels until 2016, indicating a trend of greater income inequality"

And: "Total compensation's share of GDP has declined by 4.5 percentage points from 1970 to 2016. This implies that the share attributed to capital increased in that period."

Also: "Measured relative to GDP, total compensation and its component wages and salaries have been declining since 1970. This indicates a shift in income from labor (persons who derive income from hourly wages and salaries) to capital (persons who derive income via ownership of businesses, land and assets). This trend is common across the developed world, due in part to globalization.[16] Wages and salaries have fallen from approximately 51% GDP in 1970 to 43% GDP in 2013. Total compensation has fallen from approximately 58% GDP in 1970 to 53% GDP in 2013"

The whole picture here is a pretty mixed bag and not at all a case for how median wage to the average worker is phenomenal.

You might read the article you linked to at wikipedia. It doesn't really support your point. Real (inflation adjusted) figures are more useful than nominal for measuring income growth.

The funding was in convertible notes which convert to equity in the next funding round. Presumably these agreements don't have any provisions for other exits.

That's compelling evidence that these aren't FC center workers but somebody running them all as a social media campaign.

We could apply the old anti-privacy trope and say that people (or companies) that do nothing wrong should have nothing to hide.

Coming back to this from a few days later, the search "Dr. Paul Drago" doesn't turn up anything negative in the first dozen pages. Unfortunately for him the search bar is offering up "dr. paul drago domestic violence" and "dr. paul drago botched" as auto-complete options.

Cargo-culting is literally not knowing what you're doing.

Late 2017ish, I bought a new MBP from Best Buy. As I was completing the purchase, the store manager came out to thank me personally for my business. I've seen zero evidence that anyone working in an Apple store cares that much about the customers.

In most places I’ve lived in the US it’s takes a lot of work to get an old appliance to a landfill and out of the hands of someone who would repair or recycle it. Somebody buying a $2000 fridge probably had the old one taken away and somebody involved in that process would repair and resell it.

I've seen this tradeoff firsthand with dsp video algorithms. The naive code just implements the algorithm straight away. The performant version has to ensure that the inner loop all fits in cache while running. It also does tricks like prefetching data into cache so the code doesn't stall on a data load. These sort of tricks really impact the readability of the code.

Politifact says no on the Mastercard claims.

https://www.politifact.com/facebook-fact-checks/statements/2...

The not well-respected ones do a poor job that might look good from the outside, take your money and then disappear before you can sue them to get anything fixed.

WPEngine is specifically in the business of selling fast WordPress hosting. It actually makes for a more honest comparison. Comparing to Wordpress.com should give you better numbers.

I've worked for companies that created subsidiaries with the sole intent of purchasing competitors products with the intent to reverse-engineer them and do competitive performance analysis. Good legal counsel probably would have suggested the same.