Histoire de l'informatique

Pourquoi cette indépendance est-elle indispensable ? L'expérience m'a enseigné qu'il ne fallait pas dépendre de son employeur pour son identité sur l'Internet, par exemple pour son adresse électronique, ne serait-ce que parce que beaucoup d'employeurs ne sont pas capables de faire fonctionner (...)

Économie et perspectives de l'informatique

Déclaration d'indépendance de l'informatique Cette année je suis le cours de Xavier Leroy au Collège de France, consacré aux Structures de données persistantes. Ce cours me plaît parce qu'il montre que l'on peut exposer des raisonnements rigoureux sous une forme typiquement informatique, (...)

OCaml