Ciro Santilli @cirosantilli 35

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

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:

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/

Is this the one?

A fast version of a somewhat subset of csvkit, written in C.

Build failed with undefined reference to pcre_config on Ubuntu 23.04: github.com/DavyLandman/csvtools/issues/18

Unfortunately it is lacking some basic options, like optional header + selecting column by index on csvgrep (though csvcut has it). The project seems kind of dead.

Also unclear if it allows to filter + print only selected columns.

AMD GPUs as mentioned at: aws.amazon.com/ec2/instance-types/g4/

The first proper galaxy near the Milky Way is the Andromeda Galaxy. Everything else in the middle is a satellite of either of of those.