Robotics software by Ciro Santilli 35 Updated +Created
List of proof assistants by Ciro Santilli 35 Updated +Created
Prime number theorem by Ciro Santilli 35 Updated +Created
Electricity generation by Ciro Santilli 35 Updated +Created
Convex polytope by Ciro Santilli 35 Updated +Created
Regular polyhedron by Ciro Santilli 35 Updated +Created
Shadow library by Ciro Santilli 35 Updated +Created
System of units by Ciro Santilli 35 Updated +Created
The key thing in a good system of units is to define units in a way that depends only on physical properties of nature.
Ideally (or basically necessarily?) the starting point generally has to be discrete phenomena, e.g.
What we don't want is to have macroscopic measurement artifacts, (or even worse, the size of body parts! Inset dick joke) as you can always make a bar slightly more or less wide. And even metals evaporate over time! Though the mad people of the Avogadro project still attempted otherwise well into the 2010s!
Standards of measure that don't depend on artifacts are known as intrinsic standards.
Law of physics by Ciro Santilli 35 Updated +Created
Computational physics by Ciro Santilli 35 Updated +Created
The intersection of two beautiful arts: coding and physics!
Computational physics is a good way to get valuable intuition about the key equations of physics, and train your numerical analysis skills:
Physics bibliography by Ciro Santilli 35 Updated +Created
Fiverr by Ciro Santilli 35 Updated +Created
Rational number by Ciro Santilli 35 Updated +Created
Mixed strategy by Ciro Santilli 35 Updated +Created
Linear polynomial by Ciro Santilli 35 Updated +Created
A polynomial of degree 1, i.e. of form .
3-sphere by Ciro Santilli 35 Updated +Created
Diffeomorphic to .
Piano by Ciro Santilli 35 Updated +Created
The piano is the most elegant non-electronic instrument. But it requires way too many strings, so expensive and not portable.
Also it allows for no legato or vibrato.
The guitar is kind of the opposite.
After computer sound synthesis however, all of these distinctions become meaningless.
Rapping by Ciro Santilli 35 Updated +Created
Modular multiplication by Ciro Santilli 35 Updated +Created

Unlisted articles are being shown, click here to show only listed articles.