Publications associées au tag science
Mis à jour plus ou moins fréquemment, quelques réflexions sur la vie, l'univers et le reste.
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...
Publié le 2007-06-27 15:20
Comme promis à Laurent (mais je l'aurais fait sans rien promettre à personne, par simple orgueil et mégalomanie, de toute façon), je mets en ligne mon tutoriel d'utilisation des systèmes de gestion de version. Lien ici. Avec une technique intéressante d'utilisation de Beamer, pour les connaisseu...
Publié le 2007-05-04 13:18
Fundies say the darndest things (via Reddit)Mirror hereÀ lire ça, on a autant envie de rire que de pleurer. Le problème n'est pas la science, le problème c'est qu'ils ne comprennent pas la science. Y'a du boulot. Commentaire n°1 username: Matthieu Weber url: http://www.mit.jyu.fi/mweb...