points
https://en.wikipedia.org/wiki/OCaml
https://en.wikipedia.org/wiki/Alain_Colmerauer
https://en.wikipedia.org/wiki/French_Institute_for_Research_... (INRIA)
Also Docker.
Also Lichess.
Also Scikit Learn.