Lien Structures de contrôle : de « goto » aux effets algébriques 25 janvier 2024 - 14 mars 2024
![](http://img.linuxfr.org/avatars/878/076/000/avatar.jpg)
À partir de cette année l'informatique et les sciences du numériques se voient dotées d'une nouvelle chaire au Collège de France, intitulée « Sciences du logiciel », dont le titulaire est Xavier Leroy. Xavier Leroy est connu pour être l'architecte et un des principaux développeurs du langage de programmation fonctionnel OCaml ainsi que du compilateur C formellement vérifié CompCert. Il a reçu en 2016 le prix Milner pour récompenser ses travaux sur la fiabilité des systèmes informatiques.
La (…)
Bonjour à tous,
Un petit journal bookmark pour signaler cette conférence donnée par Yann LeCunn au collège de France concernant la recherche en informatique sur le thème de l'apprentissage profond. J'ai appris cela en me réveillant au son des matins de france culture hier consacrés a cette thématique (Faut aller chercher les 3 derniers quart-d'heures pour avoir le débat, qui, ma foi, est plutôt pas mal pour un média aussi généraliste).
Je recopie ici la présentation de Yann LeCun dans (…)