Ciro Santilli @cirosantilli 37

The dot product is a positive definite matrix, and so we see that those will have an important link to familiar geometry.

In Ciro Santilli's view, the following three artists form a Holy Trinity of popular Brazilian music:

Elis Regina is not far though.

Ciro remembers quite clearly when he was riding the car with his parents when he pre teen, and he could not understand why they seemed so obsessed with The Trinity et al. Ciro in particular remembers listening to Video "Refazenda by Gilberto Gil (1975)". They had picked it up of course from the 70's and 80's when they were younger.

Young Ciro would also always confuse who was whom from the three of them.

Then Ciro got older, and he understood, they are mind blowing. You do have to look back in time a bit though, lots of lukewarm stuff on later periods. The military dictatorship in Brazil was good for music.

The only cases where formal proof of theorems seem to have had actual mathematical value is for theorems that require checking a very large number of case, so much so that no human can be fully certain that no mistakes were made. Some examples:

A form is a function from a vector space to elements of the underlying field of the vector space.

Examples:

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.

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.

The film starts off with more interesting "near the revelation" stuff. But then it degrades into religious wars. Ciro was reminded notably of S.

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:

The japanese name literally means:

Open access with solutions: courses.maths.ox.ac.uk/course/view.php?id=4988

Archive: web.archive.org/web/20240402062301/https://courses.maths.ox.ac.uk/course/view.php?id=4988

Lecturer: Luc Nguyen

Many people believe that knowledge graphs are a key element of AGI: Knowledge graph as a component of AGI.

Bibligraphy:

Looks very impressive! Last update marked 2011 as of 2020.

Goes up to "A.15 quantum field theory in a Nanoshell", Ciro have to review it to see if there's anything worthwhile in that section.

Personal page says he retired as of 2020: www.eng.fsu.edu/~dommelen/ But hopefully he has more time for these notes!

And he appears to have his own lightweight markup language that transpiles to LaTeX called l2h: www.eng.fsu.edu/~dommelen/l2h/

Besides of course sexual selection, considering in this section only "formal learning" activities.

Consider e.g. the 2020 University of Oxford, where many many people are taking courses without any laboratory work (and also without much use at all) like literature and history, and they are paying about 9k pounds/year for it: how much it costs to study at the University of Oxford?.

Basically all of this could be done online from books.

Laboratories are impossible however, because expendables of every experiment you do cost from hundreds to thousands of dollars, not to mention crazy upfront equipment costs.

For this reason, the brick and mortar aspect universities should focus exclusively on laboratories, and ensuring that the students with the most relevant knowledge (which can be readily obtained online) get access to those laboratories. Students should of course fully master every aspect of theory pertinent to their experiments. principal investigators should hand pick whichever criteria they want to select their students, possibly based partly on exam as a service if they find it a useful metric.

Furthermore, the use of laboratories should put great focus on novel research. A lot of laboratory instruction could be done from video of an experiments. As much as possible, we should use laboratories for novel research. Related: Section "Videos of all key physics experiments".