Ciro Santilli @cirosantilli  40

A master thesis reviewing its results: scholarworks.sjsu.edu/cgi/viewcontent.cgi?referer=https://www.google.com/&httpsredir=1&article=5051&context=etd_theses

The term and idea was first introduced initialized by Hermann Weyl when he was working on combining electromagnetism and general relativity to formulate Maxwell's equations in curved spacetime in 1918 and published as Gravity and electricity by Hermann Weyl (1918). Based on perception that $U(1)$ symmetry implies charge conservation. The same idea was later adapted for quantum electrodynamics, a context in which is has even more impact.

Yup, this one Focks you up.

Second quantization also appears to be useful not only for relativistic quantum mechanics, but also for condensed matter physics. The reason is that the basis idea is to use the number occupation basis. This basis is:

Bibliography:

This one might actually be understandable! It is what Richard Feynman starts to explain at: Richard Feynman Quantum Electrodynamics Lecture at University of Auckland (1979).

The difficulty is then proving that the total probability remains at 1, and maybe causality is hard too.

The path integral formulation can be seen as a generalization of the double-slit experiment to infinitely many slits.

Feynman first stared working it out for non-relativistic quantum mechanics, with the relativistic goal in mind, and only later on he attained the relativistic goal.

TODO why intuitively did he take that approach? Likely is makes it easier to add special relativity.

This approach more directly suggests the idea that quantum particles take all possible paths.

Can you do anything with it? What's the license?

With X-ray crystallography by David Chilton Phillips. The second protein to be resolved fter after myoglobin, and the first enzyme.

Published at: Structure of Hen Egg-White Lysozyme: A Three-dimensional Fourier Synthesis at 2 Å Resolution (1965). The work was done while at the Davy Faraday Research Laboratory of the Royal Institution.

Phillips also published a lower resolution (6angstrom) of the enzyme-inhibitor complexes at about the same time: Structure of Some Crystalline Lysozyme-Inhibitor Complexes Determined by X-Ray Analysis At 6 Å Resolution (1965). The point of doing this is that it points out the active site of the enzyme.

Alternative to the Lorentz gauge, but less used in general as it is not as nice for relativity invariance.

Basically a synonym of Lorentz covariance?

The exact same problem appears over and over, e.g.:

Ciro Santilli also identified knowledge version of this problem: the missing link between basic and advanced.

en.wikipedia.org/wiki/Logarithm_of_a_matrix#Existence mentions it always exists for all invertible complex matrices. But the real condition is more complicated. Notable counter example: -1 cannot be reached by any real $e^{tk}$.

The Lie algebra exponential covering problem can be seen as a generalized version of this problem, because

Co-founder of PowerDNS, an open source dNS implementation.

Homepage: berthub.eu/ says:.
All stuff Ciro cares about too! Cool dude! In particular Ciro loved his quote of I should have loved biology.

He's writing a fun-sounding book about molecular biology as of 2022: berthub.eu/dna-book. Appears to be closed source though. Ciro wonders if he really needs to sell the book for money after all those years though, rather than just publishing it online for free.

Looking at Bert just brings the Dutch Golden Age, and more in particular Antonie van Leeuwenhoek to mind. Epic.

Homepage: eli.thegreenplace.net/

Amazing systems programming tutorials. Whenever you Google a hard topic, his blog comes up.

Also has many great contributions on Stack Overflow: stackoverflow.com/users/8206/eli-bendersky

As of 2016, Eli worked at Google (reference). TODO before that, I had found his earlier info previously but lost it.

Eli focuses mostly on compiler toolchains.

He also has some mathematics stuff, so cute: eli.thegreenplace.net/2015/change-of-basis-in-linear-algebra/

Creator of QEMU and FFmpeg, both of which Ciro Santilli deeply respects. And a bunch other random stuff.

What is shocking about Fabrice this is that both are insanely important software that Ciro Santilli really likes, and both seem to be completely unrelated subjects!

Google made billions on top of this dude:

At last but not least, Fabrice also studied in the same school that Ciro Santilli studied in France, École Polytechnique.

It is a shame that he keeps such a low profile, there are no videos of him on the web, and he declines interviews.

Another surprising fact is that Fabrice has not worked for the "Big Tech Companies" as far as can be publicly seen, but rather mostly on smaller companies that he co-founded: www.quora.com/Computer-Programmers/Computer-Programmers-Where-is-Fabrice-Bellard-employed

And he's also into some completely random projcts unsurprisingly:

Bibliography: