someacnt_

joined 1 year ago
[–] someacnt_@lemmy.world 1 points 4 days ago

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.

[–] someacnt_@lemmy.world 3 points 1 week ago (2 children)

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.

[–] someacnt_@lemmy.world 2 points 1 week ago (1 children)

It takes hours to write essays for me..

 

I found it quite impressive that people are capable of this. For me, I have neither energy, nor ability, nor comprehensive knowledge to do so. So, it is always fascinating (and a bit intimidating) to see people writing these all the time. I want to ask how you guys achieve this feat.

Maybe, is it that I am nonverbal so I cannit write coherently?

[–] someacnt_@lemmy.world 4 points 2 weeks ago

What is Harambe rep? I only know it is apparently "starting point of things going wrong"

[–] someacnt_@lemmy.world 1 points 4 weeks ago

I'm sure Krafton will mess it up.

[–] someacnt_@lemmy.world 1 points 4 weeks ago

Dangit, is it like the game I just lost

[–] someacnt_@lemmy.world 1 points 1 month ago (2 children)

The haskell examples look more like an arcane wizardry.

[–] someacnt_@lemmy.world 1 points 1 month ago

So I missed out on US nuclear stock? Damn

[–] someacnt_@lemmy.world 2 points 1 month ago* (last edited 1 month ago) (1 children)

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

[–] someacnt_@lemmy.world 1 points 1 month ago (1 children)

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

[–] someacnt_@lemmy.world 7 points 2 months ago

Apparently since US is endorsing Israel, what Israel govt is doing is fully right and any opposition can be reduced to meaningless squabbles, smh (/s)

[–] someacnt_@lemmy.world 3 points 2 months ago

The space itself has canonical curvature >.>

 

Hello. For context, I am in a university. I do not have any friends, and it feels like colleagues talk bad about me. This makes me quite hesitant to join any circles or attend seminars. I am not sure it is everyone who thinks bad about me though, I fear about asking. Yet I plan to do research, so I should attend seminars to learn current trends and stuffs. May I ask what I should do in such a situation? Are friends necessary, or not really? Also should I stop being in this environment and get a job instead? Thanks for reading lengthy paragraph, I would love any comments or advice for this.

 

I know that GUI does not cover most of functionalities, for good reasons - being specialized to task (like files app), it provides more fine-grained experience.

Yet, I find that there are common commands which is terminal-only, or not faithfully implemented. for instance,

  • Commands like apt update/apt upgrade might be needed, as GUI may not allow enough interactions with it.
  • I heard some immutable distros require running commands for rollbacks.

These could cause some annoyance for those who want to avoid terminal unless necessary (including me). Hence, I bet there are terminal emulators which restricts what commands you could run, and above all, present them as buttons. This will make you recall the commonly used commands, and run them accordingly. Is there projects similar to what I describe? Thanks!

23
submitted 8 months ago* (last edited 8 months ago) by someacnt_@lemmy.world to c/linux@lemmy.ml
 

Found out the version of neovim on PopOS was fairly outdated, and I would like to use more recent versions. So I am confronted with these choices : Do I go for PPAs, or is distrobox fine for this purpose? While distrobox works well, I am worried that mismatches in packages could cause issues.

About flatpak: it is a no-go for me in this usecase, since it takes quite a bit of configuration to "escape" the sandbox.

 

I installed Pop_OS in place of ubuntu last week, and loving it so far. Most things worked out-of-the-box, but there is this one thing that has been bothering me.

Whenever I open the lid of my laptop, the fan goes crazy and becomes very loud. Strangely, changing the battery option to "High Performance" seems to silence it. Why is this happening, and how can I remedy this issue?

  • My laptop is ASUS ROG Zephyrus, and yes I should not have chosen this one.
view more: next ›