Well, sometimes we call the cursor "the dot."
I assure you this is not the last enlightening moment that you are going have about what the complex numbers are.
> Geometric Algebra
Ah... Haven's heard about that one in quite some time...
People train, and force the ai to program, in languages that are designed for humans; what could a better if not ideal programming language for the AI to use look like? How would the AI get trained on such a language in the absence of an extensive pre-existing code?
> must be running a 64-bit x86
Hasn't the point been for the OS to be compatible with the existing Windows drivers?
I believe you.
> I already buy from Steam.
I believe this even more.
Looks Good
It seems that addition (for instance) was "created" long before us.
On the other hand, it seems highly unlikely that a civilization similar to ours could "invent" an essentially different kind of mathematics (or physics, etc.)
... they will discover that level is already crowded by LLMs
Now that's a terrible idea. You shouldn't trust any single device with terabytes of your data, regardless of whether it is low-cost or Chinese.
This is what the text says, not me.
But doesn't this lead to a contradiction (or to making the system of little use)?
But aren't, say, the morphisms between two objects necessarily a set (termed "hom-set")?
Can it?
> a term can have only one type... Due to this law, types cannot contain themselves
Doesn't look like one follows from the other...