Ciro Santilli @cirosantilli 40

As usual, blame the Russians.

4 squares are sufficient by Lagrange's four-square theorem.

3 is not enough by Legendre's three-square theorem.

The subsets reachable with 2 and 3 squares are fully characterized by Legendre's three-square theorem.

The default feathers-chat app runs on NeDB (local filesystem JSON database).

Ciro Santilli managed to port it to Sequelize for PostgreSQL as shown at: github.com/cirosantilli/feathers-chat/tree/sequelize-pg

Opens a virtual MIDI piano GUI. It just works on Ubuntu 20.04: askubuntu.com/questions/34391/virtual-midi-piano-keyboard-setup/1298026#1298026

VMPK is a virtual device that replicates what you would get by connecting a physical MIDI keyboard to your computer. It is not a software synthesizer on its own. But it does connect to a working synthesizer by default (Sonivox EAS) which makes it produce sounds out-of-the box.

TODO: then I messed with my sound settings, and then it stopped working by default on the default "MIDI Connection" > "MIDI Out Driver" > "Network". But it still works on "SonivoxEAS".

A hello world of actually connecting it to a specific software synthesizer manually on Advanced Linux Sound Architecture with aconnect can be found at: askubuntu.com/questions/34391/virtual-midi-piano-keyboard-setup/1298026#1298026

Save to a MIDI file: askubuntu.com/questions/709673/save-as-midi-when-playing-from-vmpk-qsynth/1298231#1298231

Reasonable default key mappings to keyboard covering 2 octaves.

3 multiple simultaneous keys did not work (tested "ZQI"). This might just be a limitation of my keyboard however.

TODO how to save to a .mid file? askubuntu.com/questions/709673/save-as-midi-when-playing-from-vmpk-qsynth

SourceForge.

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:

Mathematics is a beautiful game played on strings, which mathematicians call "theorems".

Here is a more understandable description of the semi-satire that follows: math.stackexchange.com/questions/53969/what-does-formal-mean/3297537#3297537

You start with a very small list of:

Using those rules, you choose a target string that you want to reach, and then try to reach it. Before the target string is reached, mathematicians call it a "conjecture".

Mathematicians call the list of transformation rules used to reach a string a "proof".

Since every step of the proof is very simple and can be verified by a computer automatically, the entire proof can also be automatically verified by a computer very easily.

Finding proofs however is undoubtedly an uncomputable problem.

Most mathematicians can't code or deal with the real world in general however, so they haven't created the obviously necessary: website front-end for a mathematical formal proof system.

The fact that Mathematics happens to be the best way to describe physics and that humans can use physical intuition heuristics to reach the NP-hard proofs of mathematics is one of the great miracles of the universe.

Once we have mathematics formally modelled, one of the coolest results is Gödel's incompleteness theorems, which states that for any reasonable proof system, there are necessarily theorems that cannot be proven neither true nor false starting from any given set of axioms: those theorems are independent from those axioms. Therefore, there are three possible outcomes for any hypothesis: true, false or independent!

Some famous theorems have even been proven to be independent of some famous axioms. One of the most notable is that the Continuum Hypothesis is independent from Zermelo-Fraenkel set theory! Such independence proofs rely on modelling the proof system inside another proof system, and forcing is one of the main techniques used for this.

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: