Ok, there's no such thing as native Windows apps for Linux, but there are cross platform GUI frameworks like Avalonia and Uno that can produce apps with a polished identical experience across all platforms, no electron needed
It's on purpose. They're trying to avoid calling them people. Not illegal immigrants anymore, just illegals. Not trans people, just things. Yes, the implications of intentional dehumanization are horrific beyond imagination.
Some of it looks like topology. The curvy horizontal lines turning into curvy vertical lines are symbols relating to the Kauffman bracket, which belongs to knot theory.
Yeah, specifically for something like coreutils I can't see the malicious endgame that is suggested by others here. Is the fear that a proprietary version of cat or pwd or printf takes over the ecosystem and then traps users into a nonfree agreement? Or a proprietary coreutils superset that offers some new tool and does the same thing? Or a proprietary coreutils that generates profit for businesses without attribution to the developers? What would stop anyone from just writing their own proprietary set of tools to do the same thing now, even if uutils didn't exist? Clearly not much, since uutils did exactly that (minus the proprietary bit).
I personally don't see a compelling reason to change to MIT, but I also don't see the problem.
There's not much coherent algebraic structure left with these "definitions." If Ωx=ΩΩ=Ω then there is no multiplicative identity, hence no such thing as a multiplicative inverse.
Undefined is more precise. 0/0 being an "indeterminate form" refers to expressions of the form lim(x->c) f(x)/g(x) where lim(x->c)f(x) = lim(x->c)g(x) = 0.
This doesn't clearly identify a problem IMO. Division by a number is defined as multiplication by the multiplicative inverse, and 0 has no multiplicative inverse because 0x = 1 has no solutions.
No, that's what induction is. You prove the base case (e.g. n=1) and then prove that the (n+1) case follows from the (n) case. You may then conclude the result holds for all n, since we proved it holds for 1, which means it holds for 2, which means it holds for 3, and so on.
You might be thinking of a connection of an affine bundle. You could learn it through classes (math grad programs usually have a sequence including general topology, differential topology/smooth manifolds, and differential geometry) or just read some books to get the parts you need to know.
Manifolds and differential forms are foundational concepts of differential topology, and connections are a foundational concept of differential geometry. They are mathematical building blocks used in modern physics, essentially enabling the transfer of multivariable calculus to arbitrary curved surfaces (without relying on an explicit embedding into Euclidean space). I think the joke is that physics students don't typically learn the details of these building blocks, rather just the relevant results, and get confused when they're emphasized.
For a tl;dr about the concepts mentioned:
A manifold is a curve, surface, or higher-dimensional object which locally resembles Euclidean space around each point (e.g. the surface of a sphere is a 2D manifold; tiny person standing on a big sphere perceives the area around them to resemble a flat 2D plane).
Differential forms are "things that can be integrated over a manifold of the corresponding dimension." In ordinary calculus of 1 variable, that's a suitably regular function (e.g. a continuous function), and we view such a function f(x) as a differential form by writing it as "f(x) dx."
A connection is a way of translating local tangent vectors from one point on a manifold to another in a parallel manner, i.e. literally connecting the local geometries of different points on the manifold. The existence of a connection on a manifold enables one to reason consistently about geometric concepts on the whole manifold.
The actual problem was to determine the shape of the largest sofa that could fit around a given corner. The shape had been known for some time as the largest known shape, but only recently was it proved optimal.
Ok, there's no such thing as native Windows apps for Linux, but there are cross platform GUI frameworks like Avalonia and Uno that can produce apps with a polished identical experience across all platforms, no electron needed