Posts with Tag: fr
Updated more or less frequently, some musings about the life, the universe and the rest.
Posted on 09/08/2008 10:21PM
J'aide quelqu'un à se faire un avis entre appeler un réparateur pour son ordi et/ou voir à remplacer carrément une bonne partie de la configuration de son ordinateur (carte mère vraisemblablement morte). Jusque-là rien de particulier. Il se trouve cependant que l'ordinateur en question est à peu prè...
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 08/25/2008 01:17PM
Je suis revenu depuis une grosse semaine, difficile de se remettre du décalage horaire et de la chute de température (10° au moins...). Mais bon je ne me plains pas, j'ai tendance à préférer lorsqu'il fait frais/froid.Il semblerait que le gros orage à Chicago ait été un des plus gros de ces dernièr...