Ciro Santilli @cirosantilli 35

TODO what is the point of them? Why not just sum over every index that appears twice, regardless of where it is, as mentioned at: www.maths.cam.ac.uk/postgrad/part-iii/files/misc/index-notation.pdf.

Vectors with the index on top such as $x^i$ are the "regular vectors", they are called covariant vectors.

Those in indices on bottom are called contravariant vectors.

It is possible to change between them by Raising and lowering indices.

The values are different only when the metric signature matrix is different from the identity matrix.

This does not seem to go deep into the Standard Model as Physics from Symmetry by Jakob Schwichtenberg (2015), appears to focus more on more basic applications.

But because it is more basic, it does explain some things quite well.

Other examples include:

That example calculates and displays the final widths via JavaScript, making it easier to understand the calculations being done.

Answers: stackoverflow.com/questions/28473807/how-does-flex-grow0-get-interpreted/69995712#69995712

Bibliography:

Ciro Santilli just keep watching that a gazillion times whenever it showed on TV.

All action scenes are useless crap, but the premise with Ciro's precious simulation hypothesis subject, related physics and the illusion of life.

It is a shame that the key premise of using human bodies to produce energy is completely and impossibly stupid. You would obviously get more energy by directing burning the food you feed into humans.

If the film had been made later, maybe the much more plausible concept of AI alignment would would have been used instead. What a shame.

There's nothing like seeing the hypocrisy of the "Liberté, Égalité, Fraternité" people destroyed.

Interesting how Algeria now supports China's Xinjiang policy in 2019. But of course, dictatorships tend to work together

Ciro Santilli's father, an avid history reader, and in particular interested in the military dictatorship in Brazil through which he lived, once told Ciro how the French torture doctrine was directly adopted by Brazillian military, e.g. then even invited general Paul Aussaresses who had served in Algeria, to help them out with intelligence operations and give courses. Bro, fuck that.

But of course, the Americans weren't too far behind in Guantanamo.

Brother of Saint Peter, called by Jesus in fishers of men. Crucified.

These are commands that e.g. the Bitcoin CLI client can make to the server.

The commands can be listed with:and full help with:

For example. to run the Bitcoin getrawtransaction command, first in one shell we start bitcoind:and then on another shell:

2021-12: www.bbcgoodfood.com/recipes/best-spaghetti-bolognese-recipe

The size of a set.

For finite sizes, the definition is simple, and the intuitive name "size" matches well.

But for infinity, things are messier, e.g. the size of the real numbers is strictly larger than the size of the integers as shown by Cantor's diagonal argument, which is kind of what justifies a fancier word "cardinality" to distinguish it from the more normal word "size".

The key idea is to compare set sizes with bijections.

No open signup it seems. TODO CV of owner.

They are making a proof assistant to integrate into the website: github.com/bookofproofs/fpl/, reminds Ciro Santilli of website front-end for a mathematical formal proof system.

This is a family of computers. It was a big success. It appears that this was a big unification project of previous architectures. And it also gave software portability guarantees with future systems, since writing software was starting to become as expensive as the hardware itself.

Media:

A good project to see UARTs at work in all their beauty is to connect two Raspberry Pis via UART, and then:

Part of the beauty of this is that you can just connect both boards directly manually with a few wire-to-wire connections with simple jump wire. Its simplicity is just quite refreshing. Sure, you could do something like that for any physical layer link presumably...

Remember that you can only have one GNU screen connected at a time or else they will mess each other up: unix.stackexchange.com/questions/93892/why-is-screen-is-terminating-without-root/367549#367549

On Ubuntu 22.04 you can screen without sudo by adding yourself to the dialout group with:

The Portuguese term for it is "música popular brasileira". The widely recognized Brazilian acronym is "MPB".

"Brazilian pop" and "Br-pop" are inventions by Ciro Santilli, which are how Ciro thinks Brazil should market it to the world.

Unfortunately "B-pop" is too ambiguous with British pop music, and should be avoided.

YouTube playlist by Ciro Santilli containing all the songs in this section: www.youtube.com/playlist?list=PLcZOZrP1P_V4_SBDnegcLTcP-5YhNmWBB

Bibliography: