Exactly, but please don't confuse all the young padawans with simple facts

Germany has more than 32000 wind turbines

Actually the ones I tossed in the bin were all other manufacturers.

I have repaired several Apple desktops and laptops over the decades. It was never any more of a hassle than repairing those of other manufacturers.

Don't worry Donny will look after you too: https://www.newsweek.com/trump...

The Dems were in power and running the elections when Trump won - both times. So your complaints about voter suppression simply don't hold water.

The poor demented other guy was not really in charge, which is why very little got done in his term.

Wow man, don't confuse these poor idealistic confused youngsters with your sensibility.

Some important background for this is that, around 1900, mathematics got formalized to the point that there is a standard for whether a proof is valid or not that doesn't depend on humans thinking about it, just doing a bit calculation following an algorithm. However, it is such a large calculation that nobody wrote complete formal proofs or verified all of the steps (since they'd be spending huge amounts of time on obvious parts, and not the novel aspects). Then, in the past 20 years, people have made computer systems that work on complete formal proofs while showing you the interesting parts, with the rest in macros, and check these proofs automatically. This means that finding proofs has the form of things like what AlphaZero is good at: something to check if moves are legal and a win condition. However, only a relatively small portion of mathematical research has been put into Lean so far, and that doesn't include the sorts of obscure results that often turn out to be useful in other problems. So the current wave is using LLMs to find results in the literature that might be relevant and producing formal versions of them, game AI to put them together, and deterministic validation to check each of these as it goes along and then people can see at the end that the calculation shows the proof is valid. The only part requiring mathematicians is checking that what the proof proves is what they understood the open question to be.

Many many moons ago, likely long before you were born, Apple had the computer education market cornered.

Hmm, I have repaired precisely four Macbooks over a span of about 30 years. All the repairs were successful and not difficult. Today, iFixit makes it very easy. So, I guess some BS commenters never actually repaired anything.

The truly amazing thing is that a guy with a MBA made something.

Truth Social I'm sure. As hard as it is to believe, there are still people who think Trump is a genius, and still want to "own the Libs".

Brain and brain, what is brain?! By 17 years old you're expected to have seen The Empire Strikes Back and have committed "R2-D2, you know better than to trust a strange computer" to your memory.

...requires age verification on traffic coming from known VPN addresses

A state enacting such a law should be required to publish their official list of The Known VPN Addresses.

People running websites should not be required to make up that data, or have to pay to subscribe to someone else who makes it up. If the gummint wants to force something that ridiculous on us, the gummint should make the taxpayers, not the webmasters or their users, pay for it.