Sélection d'articles
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 2008-08-25 13:17
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...
Publié le 2008-08-15 04:09
La visite hier du Guggenheim montrait une rétrospective de la vie et les oeuvres de Louise Bourgeois : finalement l'art abstrait est plus facile à comprendre quand on a l'évolution de l'artiste pour aider. La visite en elle-même a consisté en un parcours de la pente en spirale du musée et de quelque...