Publications associées au tag en
Mis à jour plus ou moins fréquemment, quelques réflexions sur la vie, l'univers et le reste.
Publié le 2008-10-16 16:24
I updated my "programming" section with the config file I use for awesome 3. I updated my "Debian packages" page as well.=======================J'ai mis à jour ma section "programmation" avec mon fichier de configuration pour awesome 3. J'ai également mis à jour ma page "paquets Debian" as...
Publié le 2008-09-23 00:25
I had a problem. I had a lot of nice pictures I thought would be good for a wallpaper but I was too lazy to change it manually with something else regularly. This is because I don't use a "mainstream" window manager with some utility that would do that automatically. But after searching a bit, I rej...
Publié le 2008-09-02 18:03
Le post qui suit est technique, m'en fous, c'est moi que j'écris c'que j'veux sur eum'blog.BiCoax est une bibliothèque Coq qui définit les constructions de la méthode B selon des constructions Coq. En gros on exprime la sémantique de B via ce que permet Coq, sous la forme d'un plongement léger. C...