Ciro Santilli @cirosantilli 35

Incredible that there hasn't been a Nobel Prize for it as of 2022, e.g. as mentioned at: theconversation.com/no-nobel-but-epigenetics-finally-gets-the-recognition-it-deserves-18970

Some old dudes getting another prize in 2016: www.cuimc.columbia.edu/news/pioneers-epigenetics-awarded-horwitz-prize

After the 2019 redefinition of the SI base units it is by definition exactly $1.60217663410^{-19}$ Joules.

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/