fph

Why do incomplete paths light up the corresponding number? I don't understand this UI choice.

> my money is on food being a major contributing factor

That's not how science works either.

American big tech companies pay very few taxes, compared to European standards. This is part of what makes it difficult to compete with them.

Everyone in Europe is saying that the CCP is illegally subsidizing EVs and solar panels to conquer the European market, and that we need to protect from them by imposing tariffs: but if you think about it, this isn't too different from what America is doing with tech.

Ah ok fair, if your GrapheneOS isn't running the sandboxed google play services, not even in a separate profile, then I don't know if it works.

A dozen is the number of banks that whitelist Grapheneos keys via hardware attestation.

Curve in Europe (which can be linked to any card) and Paypal.

Same as what happened to "crypto", unfortunately. It's now hard to explain people that Bruce Schneier isn't in the same field as Sam Bankman-Fried, which is a shame.

Because that doesn't void your home insurance, as GP wrote.

> IoT and anything that cannot receive time updates have trouble with leap seconds.

Could you make an example application where it could be an issue? I imagine it would have to be an appliance that needs high precision time, is not connected to the internet, and hence it has an internal clock that is accurate over long times.

It might actually be the other way round: Fortran adopted the convention that i,j,k are integer variables because that was the standard in maths.

Warning: sneaky paywall that appears only after scrolling.

Much better security. Sandboxing and app isolation actually works on Android.

You might be mixing them up with Mullvad.

So a fair headline would be "OpenAI tried formalizing more of their proofs, and found 33% of them had a mistake".

No. They have a new upper bound for matrix multiplication, but it's O(n^2.25). You can't do less than n^2 for obvious reasons (size of the input and output).