Expliquer ce que peut et ne peut pas l'IA L'épidémie d'intelligence artificielle (IA) se déclenche à peu près tous les dix ans, depuis la conférence organisée en 1956 au Dartmouth College par John McCarthy. Celle dont j'ai décrit l'acmé en 2018 semble s'atténuer, le nombre d'articles délirants et les (...)

Cet article fait suite à un précédent consacré aux technologies de blockchain développées par OCamlPro. II Programmation fonctionnelle avec OCaml Comme son nom l'indique, la société OCamlPro a construit ses compétences et son activité autour d'OCaml, un langage de programmation qui appartient à la (...)

OCamlPro a été créée en 2011, elle propose des logiciels et des services de développement et de formation centrés autour des langages de programmation OCaml et Rust. La société a été fondée par Fabrice Le Fessant, à l'époque chercheur à l'Inria, et est aujourd'hui dirigée par Muriel Shan Sei Fan. Fabrice Le (...)

Cet article est la transcription de la séance du Séminaire Codes sources que j'ai donnée le 30 janvier 2020, à l'invitation de Baptiste Mélès, pour répondre à la question de savoir quel langage utiliser pour enseigner la programmation. Il fait suite à l'article Python et Biopython. Functional (...)

Ce texte a été inspiré par un article de John Hennessy et David Patterson publié dans le numéro de février 2019 des Communications of the ACM après leur réception du Turing Award, A New Golden Age for Computer Architecture, et par la leçon inaugurale de Thomas Ebbesen au Collège de France. Les (...)