Program optimization by Ciro Santilli 35 Updated +Created
Scientific computing by Ciro Santilli 35 Updated +Created
Software portability by Ciro Santilli 35 Updated +Created
Version control by Ciro Santilli 35 Updated +Created
Social network by Ciro Santilli 35 Updated +Created
Evil demon by Ciro Santilli 35 Updated +Created
First-person shooter by Ciro Santilli 35 Updated +Created
Sex toy by Ciro Santilli 35 Updated +Created
Type of semiconductor by Ciro Santilli 35 Updated +Created
Rust (video game) by Ciro Santilli 35 Updated +Created
The brutality of this game, the fact that you can get killed at any point, and all players accept that, is awesome.
Italian (language) by Ciro Santilli 35 Updated +Created
Roguelike by Ciro Santilli 35 Updated +Created
Works about Richard Feynman by Ciro Santilli 35 Updated +Created
Potentiometer by Ciro Santilli 35 Updated +Created
General relativity by Ciro Santilli 35 Updated +Created
Unifies both special relativity and gravity.
Not compatible with the Standard Model, and the 2020 unification attempts are called theory of everything.
One of the main motivations for it was likely having forces not be instantaneous, but rather mediated by field to maintain the principle of locality, just like electromagnetism did earlier.
Synthetic geometry of the real projective plane by Ciro Santilli 35 Updated +Created
It good to think about how Euclid's postulates look like in the real projective plane:
  • two parallel lines on the plane meet at a point on the sphere!
    Since there is one point of infinity for each direction, there is one such point for every direction the two parallel lines might be at. The parallel postulate does not hold, and is replaced with a simpler more elegant version: every two lines meet at exactly one point.
    One thing to note however is that ther real projective plane does not have angles defined on it by definition. Those can be defined, forming elliptic geometry through the projective model of elliptic geometry, but we can interpret the "parallel lines" as "two lines that meet at a point at infinity"
  • points in the real projective plane are lines in
  • lines in the real projective plane are planes in .
    For every two projective points there is a single projective line that passes through them.
    Since it is a plane in , it always intersects the real plane at a line.
    Note however that not all lines in the real plane correspond to a projective line: only lines tangent to a circle at zero do.
Unlike the real projective line which is homotopic to the circle, the real projective plane is not homotopic to the sphere.
The topological difference bewteen the sphere and the real projective space is that for the sphere all those points in the x-y circle are identified to a single point.
One more generalized argument of this is the classification of closed surfaces, in which the real projective plane is a sphere with a hole cut and one Möbius strip glued in.
Visualizing 4D by Ciro Santilli 35 Updated +Created
Simulate it. Just simulate it.
Video 1.
4D Toys: a box of four-dimensional toys by Miegakure (2017)
Source.
Normal subgroup by Ciro Santilli 35 Updated +Created
Only normal subgroups can be used to form quotient groups: their key definition is that they plus their cosets form a group.
One key intuition is that "a normal subgroup is the kernel" of a group homomorphism, and the normal subgroup plus cosets are isomorphic to the image of the isomorphism, which is what the fundamental theorem on homomorphisms says.
Therefore "there aren't that many group homomorphism", and a normal subgroup it is a concrete and natural way to uniquely represent that homomorphism.
The best way to think about the, is to always think first: what is the homomorphism? And then work out everything else from there.

There are unlisted articles, also show them or only show them.