furcyd

Also, see:

Memories: Edinburgh ML to Standard ML at https://lawrencecpaulson.github.io//2022/10/05/Standard_ML.h...

How We Judge The Top Programming Languages The methodology behind our rankings

https://spectrum.ieee.org/top-programming-languages-methods

A clear discussion of logicism, intuitionism, and formalism.

e.g., Leonard Adleman, Whitfield Diffie, Martin Hellman, Richard Karp, Ron Rivest, Terence Tao, Bob Tarjan, and many more

Here is part 2:

https://www.youtube.com/watch?v=7sNgO7wQgaQ&t=30s

or:

https://bartoszmilewski.com/2014/10/28/category-theory-for-p...

or 20-video lecture series:

https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI...

Paper and code at:

http://people.eecs.berkeley.edu/~shiry/projects/speech2gestu...

I disagree that learning programming is harder than learning a natural language. At least, that was not true for me. Beware of broad generalizations. There is also problem solving involved in designing a sentence, and even more so, a coherent spoken/written argument. Plus there is pronunciation, accents, etc., etc.

Yes, Eck's book is also a good intro to OpenGL. It is the rare book that is both readable and covers both OpenGL and WebGL. Of course, it is not as comprehensive as the Red book. But, in my opinion, that also makes it a more approachable introduction to OpenGL.

I am preparing to teach a computer graphics course for the first time and have been reading up on WebGL, etc. It looks like this will be a nice intro to the lower level aspects of graphics. Thank you!

By the way, Eck's book at:

http://math.hws.edu/graphicsbook/

is REALLY helpful for learning WebGL.

"One of saints of computational complexity?" see https://lucatrevisan.wordpress.com/2016/10/07/avi60-zero-kno...

Yes, it covers both OpenGL and WebGL.

Yep; it is a good idea to honor people during their lifetime. For Karp, here is the occasion they are choosing for it: https://simons.berkeley.edu/support/richard-m-karp-fund

Also see: https://cgi.soic.indiana.edu/~c311/lib/exe/fetch.php?media=c...

Abstract: It has been commonly argued, on the basis of Godel’s theorem and related mathematical results, that true artificial intelligence cannot exist. Penrose has further deduced from the existence of human intelligence that fundamental changes in physical theories are needed. I provide an elementary demonstration that these deductions are mistaken.