True nathematician would never make a mistake distinguishing finite and infinite cardinality. Countability, on the other hand… (but that’s a separate issue)

If only haskell devs were writing documentations, instead of going “type sigs is all the documentation you need!”

There is no good programming language, even including the ones people do not use.

I wish I were you, I struggle so much with reading books and papers

They do have antiderivatives, you just cannot elementarily compute them. Non-exact differential forms, however…

Seems like one can maybe work with complex metric. Interesting idea

I am sorry, but… to be pedantic, pythagorean theorem works on real-valued length. Complex numbers can be scalars, but one does not use it for length for some reason I forgor.

I thought this was taught in high school. Curriculums differ drastically between countries, don’t they?

The haskell examples look more like an arcane wizardry.

I mean the combinatorics and the imagery is nice.

I wish I can talk endlessly like that. Sometimes it feels as if I am nonverbal…

Topology on steroids with K-valued logic, nice

I am not familiar with this, would you share what country you are talking about?

May I ask for an interesting archeological piece/story?

Agreed, guess this is unpopular opinion but palworld just looked like a copycat from the get-go, especially the capture mechanic. It is too similar imo.

This one comment of 4 words triggers me so hard that it momentarily stumped me

When talking about vector space, you usually need the “scalar (field)”, and scalars need inverse to be well-defined.

So for integers, the scalar should be integer itself. Sadly, inverse of integers stops being an integer, from where all sorts of number theoretic nightmare occurs Instead, integers form a ring, and is a module over scalar of integers.

It is just to consider polynomials and functions as vectors, and apply our meager intuition on 3d spaces. By introducing norms (size), you recover the “size and direction” analogy.

Wait, that’s mostly what I do in many conversations… damn.

As a TA who barely did a class, so relatable