someacnt_ @ someacnt_ @lemmy.world

Posts

8

Comments

365

Joined

2 yr. ago

Ah I am sorry.. I always forget that I am in literal third world country so my experience is not general.

Even the stock market is veering towards the military industry. Damn, things are looking very grim tbh.

Is there even a place one can migrate from US, and be better off?

But society has to find you good enough to utilize, no? How does one manage that, when innate metrics like appearance is a huge part of it?

Meanwhile real people: oh you are disabled? Fuck off, and die alone!

Like, are you describing heaven or something?

Well, at least until we meet our eventual demise by hyper-abusing our environment, yeah..

Formalizing e.g. limit is quite interesting! Limit is related to tendency; sequence x_n converging to x means for large enough n, x_n is sufficiently close to x. That is, you can choose N such that | x_n - x | < eps for n >= N. In some sense, you are concretely defining what rough terms mean!

To look into these, you can read through books disregarding proofs. While proofs do hold ideas, they can be headache-inducing.

Mom, can I have applied category theory?

We have applied category theory at home.

Applied category theory at home: the meme

Counting cohomology has done to me a numbers x_x

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

Easy, view it on a curved display. Now every line is curved

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

I see. Maybe learning mathematics have screwed my writing since so much of mathematical literature is simply equations, definitions and propositions. Lots of papers, and even books, are just bad at expositions, in my experience.

It takes hours to write essays for me..

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.