Most Popular Programming Languages 1965-2019

A video showing the evolution of the top ten most popular programming languages over the years. A few interesting ones to look for are Fortran (top language on the list from 1965 until 1979 and finally falling out of the top ten in early 1998), Ada (appears on the list in 1980 and after spending 1983 to 1994 somewhere in the top three, falls off the list by the end of 1995), and Java (appears on the list in 1995, makes the top three in 1997, sits at the top of the list from 2001 to 2018 when it drops to third where it remains today)..

“Google AI system proves over 1200 mathematical theorems”

An interesting look at what has been accomplished and/or discovered through the use of artificial intelligence in the realm of studying and (sometimes) proving mathematical theorems.

Hat tip to my friend Rod Johnson.

https://mathscholar.org/2019/04/google-ai-system-proves-over-1200-mathematical-theorems/