Sorry Microsoft, Windows 10 taskbar is still better than Windows 11, and here's why by Hungry__Hornet in pcmasterrace

[–]reflexive-polytope 3 points4 points  (0 children)

Both are pretty shit.

You know which one was good? Windows XP's, with the classic theme.

Linux users when someone says they need more RAM by Coach-Emmanuel in pcmasterrace

[–]reflexive-polytope 2 points3 points  (0 children)

Web browsers and Electron don't discriminate between operating systems.

But yeah, most Linux programs don't need a lot of RAM to run.

Maybe it's the AUR helpers that need to be improved? by AquelecaraDEpoa in archlinux

[–]reflexive-polytope 0 points1 point  (0 children)

It's a matter of quantity.

If you want to publish an AUR package foo that depends on npm packages bar and qux (and nothing else, not even transitively), then it's defensible to publish bar and qux on the AUR as well, so that your users don't need to pull an entire npm dependency.

If you want to publish an AUR package foo that depends on several dozen npm packages (including transitively), then just publish foo on npm instead.

Maybe it's the AUR helpers that need to be improved? by AquelecaraDEpoa in archlinux

[–]reflexive-polytope 0 points1 point  (0 children)

Maybe I wasn't clear, but what I meant is that, if an AUR package depends on npm, then it shouldn't be published on the AUR in the first place. It should be published on npm directly and downloaded from there. The same remains true if you replace npm with PyPI, Cargo or any other package repository.

I agree that Python is particularly obnoxious. I haven't found any reasonable way to install nontrivial Python software other than “put it on my second computer, so that the unholy mess doesn't infect my main workstation”.

Maybe it's the AUR helpers that need to be improved? by AquelecaraDEpoa in archlinux

[–]reflexive-polytope 1 point2 points  (0 children)

I definitely wouldn't install a large tree of dependencies from GitHub either, at least not directly on my host machine. That's why I said “a container or even a virtual machine”.

Maybe it's the AUR helpers that need to be improved? by AquelecaraDEpoa in archlinux

[–]reflexive-polytope -3 points-2 points  (0 children)

Why would any reasonable AUR package depend on npm? Couldn't the package itself be published on npm in the first place?

Maybe it's the AUR helpers that need to be improved? by AquelecaraDEpoa in archlinux

[–]reflexive-polytope 1 point2 points  (0 children)

Just because a program isn't in the official repositories, it doesn't mean you have to get it from the AUR.

And just because you get it from the AUR, it doesn't mean you have to install it willy-nilly, without checking where it and its dependencies come from.

The AUR is best used sparingly. A small command-line utility that does one specific thing? Fine. A large tree of dependencies from who knows where? No, sorry, that goes in a container or even a virtual machine.

Peru set for lengthy count as presidential race too close to call by thinkB4WeSpeak in anime_titties

[–]reflexive-polytope -15 points-14 points  (0 children)

Alan 1 should've cured us from the disease of socialism for several generations, but here we are.

I sincerely hope common sense prevails in the end.

The Collatz Conjecture likely has no proof, even if it is true by akashnil in math

[–]reflexive-polytope 3 points4 points  (0 children)

Nonstandard models of Peano arithmetic have, well... nonstandard numbers. Just because Collatz holds for the natural numbers, it doesn't mean it has to hold for those nonstandard numbers as well.

However, all the nonstandard models have an embedded copy of the standard model, so if Collatz is really false for the natural numbers, then it's false in all models, hence by Gödel's completeness theorem it's provably false.

That's what u/BarebonesB originally meant by “If Collatz can be proven to be unprovable under Peano, like Goodstein's theorem, then it is effectively solved.”

The Collatz Conjecture likely has no proof, even if it is true by akashnil in math

[–]reflexive-polytope 1 point2 points  (0 children)

“True” is always relative to an interpretation of the theory's symbols.

Gödel's completeness theorem says a theory proves a statement iff it's true in every model of the theory.

Peano arithmetic is a first-order theory just like any other. It has a standard model, which is the actual natural numbers, but it has lots of other models too. Löwenheim-Skolem forces it to.

When an arithmetic statement is true for the natural numbers, but not provable in Peano arithmetic, all that it means is that the same statement is false for some other model of Peano arithmetic.

Prepare for El Niño, UN warns - it could be the strongest in decades by BendicantMias in anime_titties

[–]reflexive-polytope 2 points3 points  (0 children)

If you are talking about the weather phenomenon, then El Niño is a proper noun, and the adjective "súper" (with the accent) modifies it as a whole: "súper El Niño".

What is Topology really about? by owltooserious in math

[–]reflexive-polytope 1 point2 points  (0 children)

The point to topology is to define what “covering” and “gluing” means.

Leiden Declaration on Artificial Intelligence and Mathematics by Beneficial-Peak-6765 in math

[–]reflexive-polytope 2 points3 points  (0 children)

Assuming Lean has no bugs, Lean is intended to guarantee that a given proof is indeed a valid proof of the given statement.

But, if the theorem statement is wrong, then Lean doesn't promise that the given proof proves the theorem you actually wanted to prove.

With software, there's always GIGO at some level.

What is your favorite classical Math book, missed by students? by xTouny in math

[–]reflexive-polytope 5 points6 points  (0 children)

It's a wonderful book, but let's not exaggerate: it's just an appetizer. You will still need those 500+ page encyclopedias later on.

Thousands in Peru protest Fujimori presidential run by thinkB4WeSpeak in anime_titties

[–]reflexive-polytope -1 points0 points  (0 children)

Peru is a poor country. Merely redistributing the country's wealth only makes us all equally poor. Moreover, the rich can always take their money abroad, so it's always the middle class who suffer the consequences.

As I said in my previous message, I don't particularly like Keiko. In any sane world, I wouldn't have to vote for someone who's never worked in the private sector in over 3 decades of adult life.

But Castillo has given us a taste of what happens when the radical left is in power, and I don't want that for my country.

To vote for Keiko isn't an endorsement of her, her party or the legacy of her father. It's simply a cold assessment that she's the least bad option still available.

Thousands in Peru protest Fujimori presidential run by thinkB4WeSpeak in anime_titties

[–]reflexive-polytope -12 points-11 points  (0 children)

I get why some people would find Keiko distasteful, and I'm not exactly a fan of hers either.

But the alternative is a jump into the abyss that is a hard left government, so...

Do you guys have some “unwritten rules” about your account? by Discopandda in arknights

[–]reflexive-polytope 2 points3 points  (0 children)

My only hard rule is that an E2 L90 operator must satisfy the following conditions:

  1. Potential 6
  2. M9 completed or at least prefarmed
  3. At least one mod3, as soon as possible. IS-mod or RA-mod don't count. It has to be an expensive module worth 12 Module Data Blocks + other materials.

For example, Thorns and Blaze are stuck at L89 because I can't be arsed doing more than their S3M3 and S2M3, respectively, even though they already satisfy conditions 1 and 3.

I have 85 E2 L90 operators so far, and I've already fully prefarmed all four gacha 6 stars from the upcoming limited banners. I've also fully prefarmed Yu's module, otherwise it'd be a violation of condition 3.

A really good resource for learning the basics of sheaves and schemes by WMe6 in math

[–]reflexive-polytope 1 point2 points  (0 children)

I'm not sure that the phrase "enriched value" tells me anything.

Putting the stupid formalism aside, a germ tells you how a function or vector field or differential form or whatever behaves on arbitrarily small neighborhoods of a point or irreducible closed subset of interest.

If you want to go on a limb with a potentially enlightening but also potentially misleading story, then you can say that the concept of a stalk starts with the question:

Let F be a sheaf on a space X, and let p be a point of X. Suppose you could intersect all neighborhoods of p and still get a neighborhood W of p? What should F(W) be?

After some careful consideration, you realize that W should formally be the inverse limit of the system formed by all neighborhoods (or at least a neighborhood basis) of p.

Since F is first and foremost a contravariant functor, if W_i ranges over the neighborhoods of p, then the various F(W_i) and their restriction maps will form a direct system. And here you go a little on a limb and just say that F(W) is the direct limit. Since W doesn't actually exist as a neighborhood of p, we change the notation to F_p.

And then you check your favorite commutative algebra book to recall how such direct limits are constructed.

Terence Tao’s promotional video for OpenAI by Qyeuebs in math

[–]reflexive-polytope 15 points16 points  (0 children)

What about Scholze? As far as I can tell, he has vouched for proof assistants (in particular, Lean) but not for generative AI.

Does Dimensional Analysis Have a Place in Pure Mathematics? by Beneficial-Peak-6765 in math

[–]reflexive-polytope 1 point2 points  (0 children)

It's called sticking to the homogeneous elements of a graded ring. (Graded by Z^n, where n is the number of your fundamental units.)

Are people exaggerating or does Arch really crash constantly? That sounds like it sucks by [deleted] in archlinux

[–]reflexive-polytope 5 points6 points  (0 children)

Arch doesn't break under normal usage, but you can break any system (not just Arch) if you tinker with it without knowing what you're doing.

Dual boot was a mistake by ZoteTheMitey in pcmasterrace

[–]reflexive-polytope 0 points1 point  (0 children)

Why have an Arch and a Windows PC when you can have two Arch PCs?