Ciro Santilli @cirosantilli 35

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:

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/

The japanese name literally means:

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

Bibligraphy:

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

This one has students must have a flexible choice of what to learn on the name! Sounds interesting!

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.

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.

Is this the one?

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

Some major ones:noirlab.edu/public/images/noao-m49/?nocache=true also lists: M58, M59, M60, M61, M84, M85, M86, M87, M88, M89, M90, M91, M98, M99, and M100 so lots of large and easily observable galaxies in the area.

It is quite mind blowing when you think about it, that the huge majority of your body's cells is essentially just there to support a tiny ammount of germline, which are the only cells that can actually pass on! It is fun to imagine the cell type tree for this, with a huge branching of somatic cells, and only a few germline going forward.