I am often forced to use Windows :( But unfortunately, I have been unable to find a version of lambdabot for it. Since I am using this excellent tool more and more often, I decided to try to build it for windows.

I made some updates to my small Haskell PDF library.

I am currently learning Haskell and the only way to learn a programming language is coding. So I decided to write a portable PDF library.

Le principe d'incertitude de Heisenberg, tel qu'il est présenté dans les livres de vulgarisation, dit : toute mesure perturbe l'objet mesuré donc il y a une limite ultime à la précision des mesures.

Mais ceci n'est pas le principe d'incertitude !

After some work I am happy to announce that I finally have a LifeBlog compatible blog.

It is of course impossible to choose, in a objective and absolute way the best programming language. Choosing a programming language is dependent on too many things. A language which may be very good for a specific use may be the wrong language to use for another task.

A new blog, a new hoster and I hope several new articles.

I like this overview of the mathematical structures used in theoretical physics. Click on the picture to see the full size version.

Most physical systems are modelized using continuous mathematics. A cellular automaton is different : it is a discrete system. A regular grid of cells in one, two or several dimensions is the stage where the dynamics is taking place. Each cell can have a finite number of states. The state of a cell is changing as a function of a time which is also discrete.

I propose you a very small overview of Galois connections. But first, I need to answer the question : why in English ? I have realized that more and more people coming to this site are foreigners not reading French. So, I decided to write some texts in English assuming that people who can understand complex scientific texts can also read English. The other scientific texts (for grand public) and the ones about philosophy of freedom will still be written in French.