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.
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.
All people. 320kbps mp3 is completely audibly transparent under all normal listening conditions. It's a low-tier audiophile meme to claim otherwise but they will never pass a double-blind test.
It's not the "where" specifically I'm correcting, it's the "when." The model is trained, then the query is run against the trained model. The query doesn't involve any kind of internet search.
It doesn't search the internet for cats, it is pre-trained on a large set of labelled images and learns how to predict images from labels. The fact that there are lots of cats (most of which have tails) and not many examples of things "with no tail" is pretty much why it doesn't work, though.
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.
https://encyclopediaofmath.org/wiki/Kauffman_bracket_polynomial