Home

This weblog is mainly about computing and computer science and boardgames (at least I would try to talk about boardgames). Various other societal subjects might be discussed.

Last posts

• Dependent types as tests - May 19, 2018
• Le cas Facebook en détail - August 20, 2016
• Ne plus être le produit - August 17, 2016
• Union Type in Idris (Part 5) - August 14, 2016
• Union Type in Idris (Part 4) - August 2, 2016
• Union Type in Idris (Part 3) - July 28, 2016
• Union Type in Idris (Part 2) - July 27, 2016
• Union Type in Idris (Part 1) - July 26, 2016
• Après les morts - November 17, 2015
• Le Twitapéro-ludique - January 14, 2015
• Le mythe du savoir pratique - July 6, 2014
• La place de l'algorithmique - June 17, 2014
• L'éducation et l'informatique - June 16, 2014
• Douce France - May 26, 2014
• Some languages are more equals than others - October 27, 2012
• Null and Option, fire and ice - October 22, 2012
• Maybe: You want something more? - October 17, 2012
• Nothing, Just, Call me Maybe! - October 10, 2012
• The big switch - October 3, 2012
• Introduction to "Make it functional" - September 13, 2012
• Un troisième premier billet - September 12, 2012