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.

Interesting, this was exactly my mindset on voting at age 10 or so. Guess some people never gets out of that phase?

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

Why is the rust executable not statically compiled? I thought this was the norm.

Welp, that means I set up my neovim with rust as well… will do when I got time!

Is rustlings a game? Where can I find it? I can only find a project

Thought I was the only one noticed abundance of the parenthesis

I thought everyone could pop the ears

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.

Yeah, it is like that in some places. Also solar flux vary a lot by seasons as well. Dunno if wind has as much of an issue, but surely not great.

1. It’s not easy to go over all options.
2. Many of these are largely theoretical, or for temporary storage. For instance, I don’t think fluwheels can store energy for months.

Which options, can you specify?

How viable is pumped hydro? It would be good if feasible, but last I checked, there were not enough places where you can install them.

But how do we produce enough batteries for renewable energy?

What years of dynamic typing brainrot does to mf