Ciro Santilli @cirosantilli 37

Our definition of "film" is a broad one, including any moving picture, of any length, animated or not.

For the standard "2 hour film" format, see feature film.

Official Command-line interface to convert a directory of OurBigBook Markup files into a static website. See also: cirosantilli.com/ourbigbook/ourbigbook-cli

www.youtube.com/watch?v=H_H_TF5Kxks This Lab is RIDICULOUS (2021) gives an overview of their new laboratory, and hints of the types of projects they want to carry out.

Many good albums, Ciro Santilli's favorites:

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/