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

Les idées principales, dégagées des considérations techniques Sur ce site j'ai publié récemment un article pour expliquer l'Internet à des lecteurs dépourvus de toute connaissance technique sur le sujet, ainsi que les recensions de deux livres d'histoire des réseaux, Inventing the Internet de (...)