fph

Is it a land border? Because if they are separated by a stretch of sea, well, the same is true for Canada and mainland France.

Do I understand correctly that the main workflow is "pick the first Github repo returned by the search, check that it is legit by clicking the link, then install the app from it"? It seems very easy to make a mistake and install a malicious fork.

Why would they support SMS then?

> Maybe mathematics just becomes a little more like other fields--relying on labs with lots of money for compute, digging through a corpus of AI-generated proofs, etc.

I think a better comparison is: mathematics just becomes like mining bitcoins.

I think OP meant trash talking. "Nice knight on the rim you got there buddy." "How long do you think you'll be able to hold onto that pawn?" "The Latvian gambit, really?"

Do we have a first-hand confirmation that Buckmaster and/or Alpoge opted out? At this point it seems important information.

The classical definition of diameter of a set is "the largest possible distance between two points". So in this sense your square Ohio has a diameter of 502 km.

(It is still misleading to compare it to the diameter of an almost-spherical object, I agree. Especially because moving on the surface of a sphere it takes much longer than 502 km to walk from one point to the antipodal one.)

It seems like work on voice recognition has halted entirely though. On https://keyboard.futo.tech/voice-input-models , community models and other models have been "coming soon" forever, and in the end the only model they offer is whisper-small, a very basic model from 2022. Which in AI is like prehistory.

And break everyone's e-mail address in the process? It is not a trivial step to migrate to a new domain an e-mail account that had been active for decades.

Of course the Germans have a dog tax, how could they not?

https://en.wikipedia.org/wiki/Dog_licence#Germany

I hope they also have a backup outside Paris.

But one of its problems surely is "horrible error messages", and this project addresses it, too.

And it's one-way in the direction that typically no one cares about.

("single digits" here means 1000-9999 USD, not 1-9 USD.)

For reference, the quickstart guide in the DF wiki is https://dwarffortresswiki.org/index.php/Quickstart_guide . It is quite detailed and well made.

This is the sane solution. And not unlike what Android does in the end, with the difference that they have a share panel instead of an open panel: so you initiate the process from the app that owns the file rather than the one that wants to access it.

But GUI apps on Linux are so fragmented that getting everyone to use the same open panel is hopeless.

My dog has agency, but if I refuse to keep him on a leash and he bites a kid, I'm still legally responsible for it.

"Most" seems quite inaccurate. There is a Graphene OS banking app compatibility database [here](https://github.com/PrivSec-dev/banking-apps-compat-report); it is not easy to filter for European banks, but the [incompatible](https://github.com/PrivSec-dev/banking-apps-compat-report/is...) ones are less than 10% of the total [reports](https://github.com/PrivSec-dev/banking-apps-compat-report/is...).

Aren't autocorrect mistakes basically spellcheckers hallucinating?

We still need the good junior engineers.

But do you really need a model that has the complete Duran Duran discography memorized and preloaded in RAM at all time?

If you plot it over which domain?

This alone should be a reason to drop the pi factor: it's basically impossible to get an exact zero for the sine of a half-turn:

sin(1*pi) = 1.2246e-16

> https://grapheneos.org/articles/attestation-compatibility-gu... is our guide for app developers on permitting GrapheneOS via hardware attestation.

It's not a very good guide, frankly. It's basically a wall of text without clear instructions on what to do, besides "look at the examples Google gave". And even looking at Google's examples, there are no examples or explanations that tell me how to download the list of allowed signatures, and what should I do with the Json schema.

It's reportedly going to be available on the 2027 version of the Razr Flip https://www.motorola.com/us/en/p/phones/razr/razr-2026/pmipm...

It's mentioned in the same thread, just scroll up a few pages in the linked social post.

But, in common with today's tech billionaires, ties to the Nazis: https://en.wikipedia.org/wiki/Ingvar_Kamprad#Fascist_involve...

The current consensus in mathematical publishing is that LLMs are tools, so they don't get listed among the authors. But nothing would have prevented them from posting these preprints on Arxiv, with the human prompters as authors and the LLM's contribution acknowledged in the text.

Anthropic seems to be challenging the traditional way math gets published. As far as I understand, these results did not get submitted to journals, and did not get Arxiv preprints; they are released only as self-hosted pdfs, and we don't even know the names of their authors.

The canonical reference for the counterexample to the Jacobian conjecture is a tweet with no puntuations nor capitals.

Opening with the title "hardware backdoors in x86 CPUs" is quite misleading, though.