But df/dx is a fraction, is a ratio between differential of f and standard differential of x. They both live in the tangent space TR, which is isomorphic to R.

What’s not fraction is \partial f / \partial x, but likely you already know that. This is akin to how you cannot divide two vectors.

I am slightly bothered by how the logo is quite off-center, is it intentional?

That’s a pity, I guess some people direct their grudge to women instead of the faulty society which forced no-life lifestyle…

Wait, does that mean xmonad will get to live a tiny bit longer?

I am definitionally incel, wanna say that does not make me a nazi. In fact, I despise the entire tenets of nazism.

Is programming skills that important in days of LLM where companies are replacing juniors with AI?

deleted by creator

What is pain with nice-looking graphics tho

I am sure there was a typo, it’s Gödel’s incompleteness theorem which proves that consistent systems are incomplete.

Consistency means likely what you expect: it’s that you cannot reach contradiction from very axioms.

The result is insane in my opinion, it means any sensible math system with basic arithmetic has a proposition that you cannot prove. AND you cannot also prove that the system is contradiction-free.

It is completionist’s worst nightmare.

But complex analysis is surprisingly tame, at least any differentiable functions are locally infinite polynomials. Real analysis, on the other hand… shudders

The script is compiled to a program which is then executed by the OS.

->

The app is appified to an app which is then apped by the app.

Damnit.

I envy you, I wish for ability to write thousands of words with ease.

Oh, do I get autism superpowers regarding this? Doing work perfectly while being watched by not reading social cues

Does that mean I can wear green?

Except that they are research students in PhD course, it would exacerbate code messiness in research paper codebases.

It pains me so much when I see my colleagues pay OpenAI to do programming assignments… they see it is faster to ask gpt, than learn it properly. Sadly, I can say nothing to them, or I would risk worsening relations with them.

And I thought the year of linux desktop was coming…

While this would not answer your question, but according to podman maintainers, rootful podman with userns=auto enjoys nearly as much security benefits as rootless. (As always, there are nuances to this)

Check out https://github.com/containers/podman/discussions/13728

Maybe you could consider running rootful podman, especially if the OS is immutable.

I was said that western mindset goes from small scale to larger scale, like 02-05-2025. Hmm, maybe that’s West vs East propaganda material?

Sometimes I wish I were like OP, being creatively greedy to snitch lots of money. Then I realize, that requires money and influence to work out… Life.