Ciro Santilli @cirosantilli 35

Unfortunately accused of sexual misconduct: www.theguardian.com/technology/2019/mar/11/google-executive-payout-harassment-amit-singhal. But one can still do good despite our defects:

Pitched OurBigBook.com to him:

See also: bitcoin.stackexchange.com/questions/35959/how-is-the-whitepaper-decoded-from-the-blockchain-tx-with-1000x-m-of-n-multisi/105574#105574

By "Satoshi uploader" we mean the data upload script present in tx 4b72a223007eab8a951d43edc171befeabc7b5dca4213770c88e09ba5b936e17 of the Bitcoin blockchain.

The uploader, and its accompanying downloader, are Python programs stored in the blockchain itself. They are made to upload and download arbitrary data into the blockchain via RPC.

These scripts were notably used for: illegal content of block 229k. The script did not maintain its popularity much after this initial surge up loads, likely all done by the same user: there are very very few uploads done after block 229k with the Satoshi uploader.

Our choice of name as "Satoshi uploader" is copied from A Quantitative Analysis of the Impact of Arbitrary Blockchain Content on Bitcoin by Matzutt et al. (2018) because the scripts are Copyrighted Satoshi Nakamoto on the header comment, although as mentioned at Hidden surprises in the Bitcoin blockchain by Ken Shirriff (2014) this feels very unlikely to be true.

A more convenient version of those scripts that can download directly from blockchain.info without the need for a full local node can be found at: github.com/cirosantilli/bitcoin-inscription-indexer/blob/master/download_tx_consts.py by using the --satoshi option. E.g. with it you can download the uploader script with:

The scripts can be found in the blockchain at:

The uploader script uses its own cumbersome data encoding format, which we call the "Satoshi uploader format". The is as follows:This means that if we want to index certain file types encoded in this format, a good heuristic is to skip the first 9 bytes (4 size, 4 CRC, 1 OP_1) and look for file signatures.

Let's try out the downloader to download itself. First you have to be running a Bitcoin Core server locally. Then, supposing .bitcon/bitoin.conf containing:we run:worked! The source of the downloader script is visible! Note that we had to wait for the sync of the entire blockchain to be fully finished for some reason for that to work.

Other known uploads in Satoshi format except from the first few:

It is interesting to see how your own ideas shift with time, and Ciro Santilli doesn't think the following are very important anymore, so he was lazy to migrate them.

When he did the original website Ciro was in a "I must show off my skills to get a job mindset", but then after he landed a few jobs he moved to a "CV websites are useless, just do amazing projects and showcase them on your website to help them succeed" mindset.

Originally it was likely created to study constrained mechanical systems where you want to use some "custom convenient" variables to parametrize things instead of global x, y, z. Classical examples that you must have in mind include:

When doing lagrangian mechanics, we just lump together all generalized coordinates into a single vector $\overrightarrow{q}(t):\mathbb{R}\to {\mathbb{R}}^n$ that maps time to the full state:where each component can be anything, either the x/y/z coordinates relative to the ground of different particles, or angles, or nay other crazy thing we want.

The Lagrangian is a function ${\mathbb{R}}^n\times {\mathbb{R}}^n\times \mathbb{R}\to \mathbb{R}$ that maps:to a real number.

Then, the stationary action principle says that the actual path taken obeys the Euler-Lagrange equation:This produces a system of partial differential equations with:

The mixture of so many derivatives is a bit mind mending, so we can clarify them a bit further. At:the $q_i$ is just identifying which argument of the Lagrangian we are differentiating by: the i-th according to the order of our definition of the Lagrangian. It is not the actual function, just a mnemonic.

Then at:

However, people later noticed that the Lagrangian had some nice properties related to Lie group continuous symmetries.

Basically it seems that the easiest way to come up with new quantum field theory models is to first find the Lagrangian, and then derive the equations of motion from them.

For every continuous symmetry in the system (modelled by a Lie group), there is a corresponding conservation law: local symmetries of the Lagrangian imply conserved currents.
Genius: Richard Feynman and Modern Physics by James Gleick (1994) chapter "The Best Path" mentions that Richard Feynman didn't like the Lagrangian mechanics approach when he started university at MIT, because he felt it was too magical. The reason is that the Lagrangian approach basically starts from the principle that "nature minimizes the action across time globally". This implies that things that will happen in the future are also taken into consideration when deciding what has to happen before them! Much like the lifeguard in the lifegard problem making global decisions about the future. However, chapter "Least Action in Quantum Mechanics" comments that Feynman later notice that this was indeed necessary while developping Wheeler-Feynman absorber theory into quantum electrodynamics, because they felt that it would make more sense to consider things that way while playing with ideas such as positrons are electrons travelling back in time. This is in contrast with Hamiltonian mechanics, where the idea of time moving foward is more directly present, e.g. as in the Schrödinger equation.

Furthermore, given the symmetry, we can calculate the derived conservation law, and vice versa.

And partly due to the above observations, it was noticed that the easiest way to describe the fundamental laws of particle physics and make calculations with them is to first formulate their Lagrangian somehow: why do symmetries such as SU(3), SU(2) and U(1) matter in particle physics?s.

TODO advantages:

Bibliography:

This idealization does not seems to be possible at all in the context of Maxwell's equations with pointlike particles.

This is likely the most famous Chinese poet of all time.

As per en.wikipedia.org/w/index.php?title=Semidirect_product&oldid=1040813965#Properties, unlike the Direct product, the semidirect product of two goups is neither unique, nor does it always exist, and there is no known algorithmic way way to tell if one exists or not.

This is because reaching the "output" of the semidirect produt of two groups requires extra non-obvious information that might not exist. This is because the semi-direct product is based on the product of group subsets. So you start with two small and completely independent groups, and it is not obvious how to join them up, i.e. how to define the group operation of the product group that is compatible with that of the two smaller input groups. Contrast this with the Direct product, where the composition is simple: just use the group operation of each group on either side.

Product of group subsets

So in other words, it is not a function like the Direct product. The semidiret product is therefore more like a property of three groups.

The semidirect product is more general than the direct product of groups when thinking about the group extension problem, because with the direct product of groups, both subgroups of the larger group are necessarily also normal (trivial projection group homomorphism on either side), while for the semidirect product, only one of them does.

Conversely, en.wikipedia.org/w/index.php?title=Semidirect_product&oldid=1040813965 explains that if $G=N⋊H$, and besides the implied requirement that N is normal, H is also normal, then $G=N\times H$.

Smallest example: $D_6=C_3⋊C_2$ where $D$ is a dihedral group and $C$ are cyclic groups. $C_3$ (the rotation) is a normal subgroup of $D_6$, but $C_2$ (the flip) is not.

Note that with the Direct product instead we get $C_6$ and not $D_6$, i.e. $C_3\times C_2=C_6$ as per the direct product of two cyclic groups of coprime order is another cyclic group.

TODO:

Bibliography: math.stackexchange.com/questions/1726939/is-this-intuition-for-the-semidirect-product-of-groups-correct

Made huge advances in radar.

Notably, Isidor Isaac Rabi was a leading figure there, and later he was head at the Columbia University laboratory that carried out the crucial Lamb-Retherford experiment and the anomalous magnetic dipole moment of the electron published at The Magnetic Moment of the Electron by Kusch and Foley (1948) using related techniques.

www.youtube.com/watch?v=6DxlkxA82FM COVID-19 Symposium: Entry of Coronavirus into Cells | Dr. Paul Bates

Interaction points: