Ciro Santilli @cirosantilli 40

Many/most companies are unable to give any beauty to its employees.

Hiring is simply a process of "let's get this money making project working ASAP", bring people in, without considering Brooks's law.

And then when that happens, companies put people in extremely narrow knowledge areas, making them unable to see or participate in the bigger picture of things, unless they spend 10 years there and reach architect status.

This is perhaps particularly painful for high flying birds like Ciro Santilli.

Companies need a higher top to down force that attempts to actually teach the business and tech to every employee to counter the low level manager get things done now pressure.

Companies that are able to do that, will have many more employees with a sense of purpose, and with the ability to innovate. Those companies will win.

Haven't found the one yet:

Optional but really ideal:

The state of messaging is ridiculous as of 2020.

The only one on GitHub. In RST and renders to HTML with image formulas.

Too "direct formula overload" at first look.

By the creator of SymPy, who works at Los Alamos National Laboratory and has a PhD in chemical physics: swww.linkedin.com/in/ondřej-čertík-064b355b/ Man, big kudos to this dude.

Notable mentions:

Other notable people that are likely also awesome but Ciro has less familiarity with their contributions:

Ciro Santilli has felt that perhaps what is missing in 2020's AGI research is:

Forcing these boundaries to be tested was one of the main design goals of Ciro's 2D reinforcement learning games.

In those games, for example:Therefore, those continuous objects would also have "magic" effects that could not be explained by "simple" "what is touching what" ideas.

Bibliography:

This is a general principle of software/hardware design that Ciro feels holds wide applicability.

The most extreme case of this is of course the integrated circuit itself, in which it is essentially impossible (?) to observe the specific value of some indidual wire at some point.

Somewhat on the other extreme, we have high level programming languages running on top of an operating system: at this point, you can just GDB step debug your program, print the value of any variable/memory location, and fully understand anything that you want. Provided that you manage to easily reach that point of interest.

And for anything in between we have various intermediate levels of complication. The most notable perhaps being developing the operating system itself. At this level, you can't so easily step debug (although techniques do exist). For early boot or bootloaders for example, you might want to use JTAG for example on real hardware.

In parallel to this, there is also another very important pair of closely linked tradeoffs:

Emulation also has another potential downside: unless you are very careful at implementing things correctly, your model might not be representative of the real thing. Also, there may be important tradeoffs between how much the model looks like the real thing, and how fast it runs. For example, QEMU's use of binary translation allows it to run orders of magnitude faster than gem5. However, you are unable to make any predictions about system performance with QEMU, since you are not modelling key elements like the cache or CPU pipeline.

Instrumentation is another technique that has can be considered to achieve greater observability.

Take the group of all Translation in ${\mathbb{R}}^1$.

Let's see how the generator of this group is the derivative operator:

The way to think about this is:

So let's take the exponential map:and we notice that this is exactly the Taylor series of $f(x)$ around the identity element of the translation group, which is 0! Therefore, if $f(x)$ behaves nicely enough, within some radius of convergence around the origin we have for finite $x_0$:

This example shows clearly how the exponential map applied to a (differential) operator can generate finite (non-infinitesimal) Translation!

Respect, big respect to those people.

Unknown real developer name, claims to be from Canada on YouTube channel about: www.youtube.com/@TheBibitesDigitalLife/about, likely because he's a software developer and wants to keep his employer's claws away from his side project.

Appears to be closed source unfortunately, so not suitable for research.

Video 1. "What will happen after 100h of evolution? by The Bibites (2022)" mentions it was started five years ago, so circa 2017.

Appears to be Unity-based, if you download and extract for Linux you get files named UnityPlayer.so.

Author is named Leo Caussan in game credits at startup: www.linkedin.com/in/l%C3%A9o-caussan-560350136/, a Canadian software engineer.

Was not very Linux compatible: www.reddit.com/r/TheBibites/comments/vqk6ac/program_stalls_at_a_blue_screen/ Trying to run 0.5.0 leads to a blank screen after you click "start simulation".

You have to know the language to appreciate them.

The 60's and 70's were the days, those great proxy wars and CIA dictatorships allowed hippies to make awesome freedom music without too imminent a fear of death.

Songs making fun of things or that are pure Brazil nostalgia are also accepted. No love songs, ever. Except some by Caetano, but that's it!

English:

French:

Big goals:

Just art:

Each term has 8 weeks, and the week number is often used to denote the time at which something happens.

Week 0 is also often used to denote the week before classes officially start. This is especially important in the first term of the year (Michaelmas term) where people are coming back to school and meeting old and new friends.

At the end of the year, after Trinity term, students have exams. These basically account for all of the grades. In certain courses such as the Physics course of the University of Oxford, there is only new material on Michaelmas term and Hilary term, Trinity term being revision-only. So you can imagine that during Trinity term, students are going to be on edge.

Bibliography:

It good to think about how Euclid's postulates look like in the real projective plane:

Unlike the real projective line which is homotopic to the circle, the real projective plane is not homotopic to the sphere.

The topological difference bewteen the sphere and the real projective space is that for the sphere all those points in the x-y circle are identified to a single point.

One more generalized argument of this is the classification of closed surfaces, in which the real projective plane is a sphere with a hole cut and one Möbius strip glued in.

As mentioned in True Genius: The Life and Science of John Bardeen page 224, the idea of symmetry breaking was a major motivation in Josephson's study of the Josephson effect.

The main interest of this theorem is in classifying the indefinite orthogonal groups, which in turn is fundamental because the Lorentz group is an indefinite orthogonal groups, see: all indefinite orthogonal groups of matrices of equal metric signature are isomorphic.

It also tells us that a change of basis does not the alter the metric signature of a bilinear form, see matrix congruence can be seen as the change of basis of a bilinear form.

The theorem states that the number of 0, 1 and -1 in the metric signature is the same for two symmetric matrices that are congruent matrices.

For example, consider:

The eigenvalues of $A$ are $1$ and $4$, and the associated eigenvectors are:symPy code:and from the eigendecomposition of a real symmetric matrix we know that:

Now, instead of $P$, we could use $PE$, where $E$ is an arbitrary diagonal matrix of type:With this, would reach a new matrix $B$:Therefore, with this congruence, we are able to multiply the eigenvalues of $A$ by any positive number $e_1^2$ and $e_2^2$. Since we are multiplying by two arbitrary positive numbers, we cannot change the signs of the original eigenvalues, and so the metric signature is maintained, but respecting that any value can be reached.

Note that the matrix congruence relation looks a bit like the eigendecomposition of a matrix:but note that $D$ does not have to contain eigenvalues, unlike the eigendecomposition of a matrix. This is because here $S$ is not fixed to having eigenvectors in its columns.

But because the matrix is symmetric however, we could always choose $S$ to actually diagonalize as mentioned at eigendecomposition of a real symmetric matrix. Therefore, the metric signature can be seen directly from eigenvalues.

Also, because $D$ is a diagonal matrix, and thus symmetric, it must be that:

What this does represent, is a general change of basis that maintains the matrix a symmetric matrix.

Related:

No-A press 120 stars tool-assisted speedrun attempts by Pannenkoek:

Experiments:

Actually goes into the equations.

Notably, youtu.be/O_zjGYvP4Ps?t=3278 describes extremely briefly an experimental setup that more directly observes pair condensation.

Lecture notes:

Media:

Transition into superconductivity can be seen as a phase transition, which happens to be a second-order phase transition.

Specific type of Josephson junction. Probably can be made tiny and in huge numbers through photolithography.

Superconducting qubits are regarded as promising because superconductivity is a macroscopic quantum phenomena of Bose Einstein condensation, and so as a macroscopic phenomena, it is easier to control and observe.

This is mentioned e.g. in this relatively early: physicsworld.com/a/superconducting-quantum-bits/. While most quantum phenomena is observed at the atomic scale, superconducting qubits are micrometer scale, which is huge!