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.

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’m sure Krafton will mess it up.

So I missed out on US nuclear stock? Damn

Do you live in where I live, that sounds exactly like my country

I’d say still risky. They might perpetuate the bubble for longer, which means high risk of forced covering at loss.

Will they let go off the greed?

I freaking wish…

What if it takes 100 years for you to train for the job? So if you tried and failed, does it count as “not wanting to do that”?

I was freaking scared when I saw lots of people in my country was cheering Trump’s ralley. It’s not even the old people, they were in their 20s-30s. If Trump succeeds, I don’t see it going well in my country as well… How do I survive in a fascist country? Sad.

How is this post downvoted so much? You said how actial historical analysis work!

How do I short MS, hm

What?

I mean, it’s good to know the apt commands, because sometimes app stores can break.

Come on, you are on lemmy. You are not quite dumb.

Jobs was quite good at UX, right? Will we ever have such skilled ceos

Sadly, it often works for personal profits.