Why would a company want to do that for their own internal use? Models you can download are mostly just data. They don’t do anything on their own. You can even write your own interpreter for them, if you feel like it.

xcq link stays blue

Switzerland? In the French or Italien speaking parts maybe. The German speaking part is more like Germany with less bureaucracy.

Aaron was about as much a cofounder of reddit as Musk is a cofounder of tesla. Source: I was on reddit when he joined and I remember his own yc-startup Infogami.

Because, while Switzerland is not part of the EU, it follows many of its regulations. Maybe even most of them.

In this particular case, I happen to know that the inofficial rule is indeed to have burner phones for travel into the us in some cases. But you’re never supposed to have unencrypted data on your phone or laptop in any case.

Logicians are mathematicians. Well, most of them are.

I have yet to meet a single logician, american or otherwise, who would use the definition without 0.

That said, it seems to depend on the field. I think I’ve had this discussion with a friend working in analysis.

But the vector space of (all) real functions is a completely different beast from the space of computable functions on finite-precision numbers. If you restrict the equality of these functions to their extension,

defined as f = g iff forall x\in R: f(x)=g(x),

then that vector space appears to be not only finite dimensional, but in fact finite. Otherwise you probably get a countably infinite dimensional vector space indexed by lambda terms (or whatever formalism you prefer.) But nothing like the space which contains vectors like

F_{x_0}(x) := (1 if x = x_0; 0 otherwise)

where x_0 is uncomputable.

Functions from the reals to the reals are an example of a vector space with elements which can not be represented as a list of numbers.

It may have nothing to do with categorization, but has everything to do with categorification which is much more interresting anyway.