1F8LZF…8gsQ

i wanna use a mathlib that doesnt approximate fractions to floats

🙇‍♂️

has anyone seen Memories? is it as good as Akira?

i thought you said you weren't the gambler

🙇‍♂️

the greatest gifts my father gave me have been my faith and a role model for "delusional optimism"

if you really believe that we are manifesting externally what we experience internally, isn't it our responsibility to make sure the only thing we share is light?

show me a place where negative thinking is productive and i will show you a place i want no part of

i don't really care much for doomer thinking, that is not a difficult thing to do nowadays, nor is it productive

he would call this "the power of positive thinking"

i can't speak to how this changes when you have responsibilities such as a wife and kids, but my father, the one who taught me this, has stuck to this for his whole life with or without external responsibilities

ever wonder whether or not we're actually causing what we see through our thoughts?

even despite when everyone else around him succumbed to the temptation of negative thinking, he would stand strong refusing to give in. i believe this created a will within him that is very difficult to come by

i’d rather be a foolish optimist than a wise pessimist

bitcoin files seems to stop working for images before about 2/7/20

🙇‍♂️ queued up

@1 are these images just gonezo?

lol like naquadria

... and that the meaning of (let’s say) x1,x2∈R[x1,x2,x3] is that it is the definable operation whose instantiation at any commutative R-algebra A is the function A^3→A taking (a,b,c) to ab.

The connection is that the functor U^n is representable, being represented by the free object F[n]=R[x 1,…,x n], so that a natural transformation U^n→U is canonically identified with a transformation hom(R[x 1,…,x n],−)→U or to an element of UR[x 1,…,x n].

From a categorical perspective, if U:CommAlg R→Set is the forgetful functor, a definable n-ary operation means a natural transformation U^n→U.

In mathematics, the Kostant polynomials, named after Bertram Kostant, provide an explicit basis of the ring of polynomials over the ring of polynomials invariant under the finite reflection group of a root system.

On further reflection, however, we might more objectively identify the concept of “polynomial” (let us say a polynomial in n variables) with a definable n-ary operation in the theory of commutative R-algebras.

In pursuit of this objective meaning (which is essentially due to Lawvere), we find that the “variable” xi stands for the ith projection map U^n→U, ...

The set of polynomials in one variable z with coefficients in RR is the set R[ℕ] of all formal linear combinations on elements n∈ℕ, thought of as powers z^n of the variable z.