-
Character encoding in TeXShop
mercredi 17 septembre 2008 - un commentaireIt can be a real pain to open files with various character encodings inside TeXShop. Indeed, you basically have to change TeXShop's settings each time. Hopefully, I recently came across a ...
-
RIP Mégahertz Magazine
samedi 13 septembre 2008Mégahertz Magazine dépose le bilan. Il s'agissait de l'unique magazine radioamateur français disponible en kiosque (l'autre étant Radio REF, distribué aux adhérents du Réseau des émetteurs français). ...
-
User-Agent
mercredi 3 septembre 2008Lorsqu'un navigateur demande une page à un serveur web, il lui transmet son identité, sous forme d'un en-tête HTTP du doux nom d'User-Agent. Dans la seconde moitié des années 1990, la surenchère de ...