Sans commentaires :

Au passage, je pense que ceci fera une bonne entrée pour le jeu permanent “En entendrons-nous parler ?” Ça y est, j’ai fini mon tour. Aux médias.

Tiens, j’ai décidé de me lancer dans un nouveau jeu. Je vais l’appeler “en entendrons-nous parler ?” C’est un jeu entre moi, le Parti au Pouvoir, les médias et l’actualité.

Voici les règles :

1. quelque chose vient d’arriver — quelque chose d’important, avec des implications politiques
2. si le journal de 20h en parle, j’ai perdu.

Un jeu simple mais je sens que je vais gagner assez souvent.

Allez, je commence : dans la nuit de vendredi à samedi, 650 écoles ont été occupées par des parents d’élèves, pour lutter contre les 11900 suppressions de poste décidées par le Parti au Pouvoir. L’occupation s’est faite, paraît-il, dans une ambiance bonne enfant, avec pyjamas et doudous. Pour plus de détails, je vous renvoie sur le site de la Nuit des Écoles.

Ça y est, j’ai fini de jouer. Au tour du journal télévisé et du Parti au Pouvoir.

P.S.: Au fait, mon blog a été ouvert il y a un an et trois jours. Du coup, ceci est aussi un billet de blog-anniversaire.

Après un billet dans la langue de Turing, voici une présentation d’Extrapol en version française. En quelques mots, le projet Extrapol (pour Extraction de Politiques de Sécurité) vise à combler un vide dans le jeu d’outils dont dispose l’administrateur pour maintenir un système dans un état sûr.

Lisez la suite de cette entrée »

As I mentioned a few months ago, two master students of mine have been working for the best part of one year on improving the security of extensions in Firefox and Thunderbird. To sum up the current situation in Firefox, extensions have no protection mechanism from each other, nor is the core of Firefox protected in any way from extensions. The objective of this work was to design and implement a mechanism allowing system administrators to define fine-grained policies for accepting or rejecting interactions between extensions or between extensions and the core of Firefox.

Lisez la suite de cette entrée »

As mentioned a few times, I have (had) two students working on a Thunderbird extension to support confidentiality and help avoid involuntary leaks of critical information by e-mail. Yesterday, these students officially turned this project in, which gave me and my colleagues the opportunity of reviewing the code and documentation.

So, what works ?

• The Thunderbird extension can detect that you’re trying to send e-mail to someone with a lower level of accreditation — although, for the moment, it gets confused easily. For this purpose, it may use either SELinux or a text database of recipients.
• The Thunderbird extension can warn you that you need to sanitize and decrease confidentiality of the information and can mark the outgoing e-mail as sanitized for a given level — the UI needs a bit polish, but that works.
• The Sendmail extension can detect that you’re trying to send e-mail to someone with a lower level of accreditation — although, for the moment, it gets confused just as easily and is subject to a number of security holes.
• The Sendmail extension can reject unsanitized e-mail going to unaccredited targets — logging needs a bit of polish, but that works.
• That’s it.

All in all, that’s about 150 lines of code in JavaScript, XUL, C and C++. Not quite ready for prime-time but a good 0.1 release. I expect either the students or I will upload it somewhere for public release in the near future.

Lorsque vous lirez ces lignes, la première Academic Pride aura probablement déjà eu lieu. Une Academic Pride, oui, tout comme la Gay Pride et les autres défilés de minorités obscures, ou exploitées, ou ignorées,ou méprisées, ou ghettoïsées.

Alors pourquoi une Academic Pride ? Parce que l’université française est actuellement l’une des cibles directes du pouvoir en place. Parce que, malgré les habituels discours sur l’importance du Savoir et de la Recherche, malgré les références aux Lumières, l’université est en passe d’être sacrifiée sur l’autel de l’idéologie au pouvoir. “Sacrifiée” — non, l’image est peut-être trop forte. En fait, l’université est en passe d’être jetée d’un geste négligent, avec le collège et le lycée public, le baccalauréat et la politique culturelle, toutes ces vétustés qu’il est à la mode de condamner au nom de critères fantaisistes et de réformer à la va-vite et en dépit du bon sens.

Lisez la suite de cette entrée »

Ces jours-ci, je travaille beaucoup avec et sur OCaml, que ce soit pour le projet ExtraPol (dont je finirai bien par vous glisser quelques mots) ou pour Batteries Included (la rénovation en cours de la bibliothèque standard de OCaml). En particulier, je viens de finaliser un module de gestion des listes paresseuses. Paresseuses ? Oui, paresseuses.

Attardons-nous un moment sur le concept de paresse en programmation.

Lisez la suite de cette entrée »

If you are a developer keeping somewhat up-to-date with the latest and upcoming trends, chances are that you have heard of monads. Now, one of the traditions among developers who hear about monads is to figure them out then write a tutorial. I haven’t quite reached the second stage, but I can point you to a 1h on-line video lecture, targeted for C# and Java developers, and introducing both functional programming and monads.

Enjoy !

Notre Président, qui a pourtant annoncé il y a six mois la suppression du collège unique, n’en finit pas de se servir de nos enfants pour faire passer sa parole civilisatrice.

Tenez, il y a quelques mois, notre Président Bien-Aimé ^(tm) entendait parler de Guy Môquet et décidait que la meilleure manière de garantir le civisme de nos enfants était de leur faire lire une lettre de résistant — et peu importe si Guy Môquait n’a jamais été un résistant, ou si la susdite lettre n’avait rien à voir avec la Résistance, le civisme ou la patrie. Non, tout ce qui importait était de trouver un instrument de pathétique pour faire pleurer dans les chaumières, pour crier haut et fort que le gouvernement entretenait la mémoire et le patriotisme et pour laisser ainsi planer doutes et soupçons sur ceux qui s’opposeraient à la mesure. Ce genre de manœuvre porte un nom : l’instrumentalisation.

Aujourd’hui, notre Président Bien-Aimé Quoique Débandé Et En Train De S’Attendre Au Pire Pour Les Élections a entendu parler de la Shoah. Alors on va garantir…euh… oui, on va entretenir la mémoire en confiant à chaque enfant le nom d’une victime de la Shoah. Total respect, monsieur le Président. Pour faire pleurer, c’est difficile de trouver plus fort. Pour la contestation, c’est encore mieux que Guy Môquet : vos adversaires politiques auront le choix entre laisser passer — et se faire taxer d’immobilisme ou d’obsolescence — ou contester — et ainsi prêter le flanc à des accusations d’antisémitisme ou du négationisme. Le seul parti qui pourrait se permettre une étiquette de ce genre, puisqu’il s’en nourrit, c’est celui du borgne, et ça servira encore le Gouvernement En Place. Un bel exemple d’instrumentalisation et de profanation.

Alors je ne sais pas pour vous, mais si jamais quelqu’un a la brillante idée, juste pour redorer son blason politique, de distribuer le nom d’un membre de ma famille mort assassiné, je porte plainte.

Et pendant ce temps-là, dans nos universités, des étudiants continuent à se faire expulser, juste pour remplir les quotas. Heureusement, la civilisation est sauve. Merci monsieur le Président.

Une première version du chapitre 1 est maintenant disponible sous la forme d’un WikiLivre.