Posts with Tag: science
Updated more or less frequently, some musings about the life, the universe and the rest.
Posted on 09/02/2008 06:03PM
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...
Posted on 06/27/2007 03:20PM
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...
Posted on 05/04/2007 01:18PM
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...