goedel-rhymes-with-turtle

[goedel-rhymes-with-turtle]

A new study finds that Apple has some of the highest employee turnover rates of any tech company. Google "apple turnover" for more information.

[goedel-rhymes-with-turtle]

Great Wall is a little over 21,000 km long. This is what it would look like on Europe’s coastline

[goedel-rhymes-with-turtle]

I feel like i used to think about albert einstein like once to twice a week when i was younger. Now it’s like once a month if that

[goedel-rhymes-with-turtle]

The FBI: what’s up with this Erdös guy, there is no way anyone could be that into math

[goedel-rhymes-with-turtle]

taking an ultrafilter over the oppression poset and using it to construct non-standard dnis

[goedel-rhymes-with-turtle]

*trying to explain to an undergrad why chatgpt is not going to be helpful here" it's not good with particularities... like it has the buddha nature. it truly no longer understands the distinctions between the ten thousand things. it's an enviable state of existence but one that is ill-suited for solving package dependency issues

[goedel-rhymes-with-turtle]

why do computers even need updates. I love her the way she is…

[goedel-rhymes-with-turtle]

Travel back in time to the Islamic Golden Age to teach Al-Khwarizmi calculus.

[goedel-rhymes-with-turtle]

I love when you read the early implementations of some algorithm and you're like "this makes sense, it seems like a reasonable way to extract truth from the universe". Then you keep reading and it goes "modern implementations represent a significant improvement over the Shit For Brains Method, whose usage is confined to computer scientists cooking eggs on their laptops. This one has the number 9801 as a load bearing part of the algorithm, the guy who came up with it claimed his god gave him the idea."

It really reinforces the theme that reality doesn't care all that much if it makes sense to us.

[goedel-rhymes-with-turtle]

[goedel-rhymes-with-turtle]

In a mass surveillance state we are all cam girls.

[goedel-rhymes-with-turtle]

A katabasis or catabasis is a journey to the underworld, can take a long time, one meanders through what has been, the world that both is and is not, starting to forget how the real world looked like, how do strawberries taste, how do you even exit, who are you even? In myths, it used to be a common theme, nowadays, sadly, it is more trickier to do, and is usually called doing a PhD.

[goedel-rhymes-with-turtle]

Imagine Julius Caesar looking himself up on Wikipedia and Wiki immediately tells him the encryption technology he invented can be broken by six-year-olds

[goedel-rhymes-with-turtle]

The Finals for Misrepresented Morally Grey are here!

In One Corner, we have the Super School Subject: Math!

And in the Other Corner, we have the Supposed Morally Pure "Girlboss" from the Morally Grey Murderer Series, MILGRAM; Yuno Kashiki!

[goedel-rhymes-with-turtle]

The Finals for Misrepresented Morally Grey are here!

In One Corner, we have the Super School Subject: Math!

And in the Other Corner, we have the Supposed Morally Pure "Girlboss" from the Morally Grey Murderer Series, MILGRAM; Yuno Kashiki!

[goedel-rhymes-with-turtle]

For addition: Usual matrix addition (pad with only as many zeros as needed).

For multiplication: >something about tensor products >block structures

Kronecker Product your identity is the 1x1 matrix [ 1 ]

------------------

I realize that you probably don't need this answer a year later, but I'm going to file away the question and the rng because it pointed out something interesting I hadn't realized until now. Often the math solution is to embed in an infinite thing bc your limit objects are pretty well-behaved, while the CS solution is to embed it into a sufficiently large but finite thing.

goal: find a ring (with identity) structure on the set of all finite dimensional matrices over a ring R.

rules:

must somehow be matrix-y

you cannot add things to the set (ie no infinite matrices, no formal linear combinations)

equivalence classes are okay so long as it still satisfies the main goals.

you can choose R as long as it's not a boring choice, but ideally it is generalizable

help

[goedel-rhymes-with-turtle]

Wait I have another FMK: polynomial equations, differential equations, commutative diagrams