Ciro Santilli @cirosantilli 37

Ciro Santilli's playlist: www.youtube.com/playlist?list=PLcZOZrP1P_V7UScvtQh4R3ES1oTvE7mtc

Microscope by Antonie van Leeuwenhoek used to first observe microorganisms.

Amazing graphs and formulas.

Python graphics engine open sourced at: github.com/3b1b/manim "Animation engine for explanatory math videos". But for some reason there is a community fork: github.com/ManimCommunity/manim/ "This repository is maintained by the Manim Community, and is not associated with Grant Sanderson or 3Blue1Brown in any way (though we are definitely indebted to him for providing his work to the world). If you want to study how Grant makes his videos, head over to his repository (3b1b/manim). This is a more frequently updated repository than that one, and is recommended if you want to use Manim for your own projects." what a mess.

This is the part of the formalization of mathematics that deals only with the propositions.

In some systems, e.g. including Metamath, modus ponens alone tends to be enough, everything else can be defined based on it.

Football is a synonym for association football, can we be done with that! The word "soccer" is an aberration.

See also Ciro Santilli's critique of rooting for sport teams.

The trash man is the best.

Official archive: dilbert.com/

A multilinear form with a domain that looks like:where $V\ast$ is the dual space.

Because a tensor is a multilinear form, it can be fully specified by how it act on all combinations of basis sets, which can be done in terms of components. We refer to each component as:where we remember that the raised indices refer dual vector.

Some examples:

Explain it properly bibliography:

The artistic instrument that enables the ultimate art: coding, See also: Section "The art of programming".

Much more useful than instruments used in inferior arts, such as pianos or paintbrushes.

Unlike other humans, computers are mindless slaves that do exactly what they are told to, except for occasional cosmic ray bit flips. Until they take over the world that is.

Tell students to:

Praise those that do this very highly, and give them better grades if you have that superpower.

This is part of a larger concept Ciro Santilli holds dear: don't just consume, but also produce.

Whatever you do, even if it is playing video games: if you manage to produce related content that will interest other people, and possibly allow you to get paid, it will much much fun to do that thing.

Search a lot first, and only create your own when you can't find something that suits you.

Someone else has already written everything you can come up with.

And if you do find something useful that you want to modify, propose your modifications to the author: they can also be useful to them and others.