Bonjour,

Toute personne qui programme finit un jour ou l'autre par se demander où héberger son code source en vue de lui donner une bonne visibilité. Les solutions traditionnelles, comme SourceForge, sont aujourd'hui concurrencées par de nombreuses autres plateformes. Je vous propose de vous présenter aujourd'hui GitHub.

» Lire la suite!

Le logiciel libre Hugin est une interface graphique pour la suite logicielle Panorama Tools. Il permet de réaliser des panoramas de qualité à partir d'une série d'images chevauchantes. Les algorithmes mis en œuvre permettent de corriger les variations d'exposition, fréquentes lorsqu'on utilise un réflex numérique en mode automatique, ainsi que de multiples paramètres liés à l'objectif et/ou à la manière dont le photographe a réalisé ses clichés. Ce tutoriel offre un aperçu des possibilités du logiciel ne vise donc pas à l'exhaustivité. Les lecteurs qui souhaitent approfondir leur connaissance de cet outil pourront consulter avec profit la documentation officielle.

» Lire la suite!

Bonjour,

J’ai eu l’occasion d’assister ce week-end à trois conférences données dans le cadre des Journées Méditerranéennes du Logiciel Libre (JM2L). Comme il est connu qu’on ne râle jamais mieux qu’en français, cette partie ne sera pas écrite dans la langue de Shakespeare.

• Création d’un logiciel libre, Thibault Duponchelle
• Robots mobiles et autonomes contrôlés avec Pharo, Noury Bouraqadi
• Autour de SSL/TSL, Philippe Lhardy

Je tiens d’emblée à dire que l’avis formulé ici n’engage que moi. Le ton adopté est volontairement critique, sans doute un peu exagérateur, mais c’est à dessein : on apprend en tombant.

» Lire la suite!

Hello everyone,

Yesterday, a pretty young woman told me that writing about programming languages really need to be done in English. Now that I know she reads my humble texts, I have to follow its advice. So now... let’s be a bit more serious. :-)
As you probably know, polymorphic variants are often seen as a light and elegant alternative to OCaml constructors. Yet these two concepts are not completely interchangeable : that is why they coexist in OCaml. Here I describe a possible use of polymorphic variants to refine some function signatures from the OCaml standard library by adding type constraints.

» Lire la suite!

Bonjour !

Si vous avez des enseignants dans votre entourage, vous serez peut-être sollicités (si ce n'est déjà fait) pour créer des questionnaires à choix multiples (QCM). Les QCM constituent un outil commode pour évaluer des élèves ou des étudiants. Ils se présentent sous la forme de questions auxquelles plusieurs réponses possibles sont proposées. En général, une seule de ces réponses est correcte; les autres, appelées distracteurs, visent à éprouver la maîtrise du sujet par les candidats. À ce titre, elles se doivent d'être plausibles.

» Lire la suite!

Bonjour !

Après un long moment d'absence et de sérieux doutes sur la pérennité de ce blog, je reviens vous parler de LablGTK. Cette fois-ci, je ne vous présenterai pas un autre module de la bibliothèque. Pour célébrer la renaissance de ce blog, à la suite de mon admission en thèse (dans un domaine très éloigné du sujet de ce blog), je vous propose de parler du mécanisme de callback dans LablGTK.

» Lire la suite!

Amateurs de dromadaires, férus d'informatique, caméliens, lecteurs en tout genre, bonsoir !

Le temps me manque plus cruellement que jamais pour alimenter ce blog. Pourtant, ce ne sont pas les sujets qui manquent. L'actualité, à elle seule, apporte matière à des dizaines de billets.

Un billet, par exemple, pourrait évoquer le décès récent de Robin Milner et retracer son brillant parcours d'inventeur du langage ML et coauteur de l'algorithme d'inférence qui porte désormais son nom, l'algorithme de Hindley-Milner.

Les temps actuels sont aussi enrichissants en dehors du monde informatique. Les débats de société récents sur les changements climatiques et les biotechnologies soulèvent des questions scientifiques et philosophiques qui mériteraient de longs développements. Hélas, je n'ai plus le temps pour ça.

Peut-être le blog réouvrera-t-il ses portes un jour... mais pour l'heure, rideau ! J'adresse mes sincères remerciements à tous les lecteurs qui ont suivi ces billets avec intérêt.

Bien cordialement,
Cacophrène

Après un long moment d'absence, je reviens pour vous parler d'une notion dont l'intérêt m'a été révélé par un article sur le blog de bluestorm. Il s'agit des types fantômes, dont je souhaite vous montrer ici tout le bien. Naturellement, je vais partir d'un cas concret autour de ce que je développe actuellement.

» Lire la suite!

Bonjour !

Je vous propose de poursuivre notre exploration de la bibliothèque LablGTK. Dans ce billet, nous allons parler du module GPack. Celui-ci contient tous les widgets nécessaires à la réalisation d'interfaces complexes. La plupart d'entre eux sont transparents pour l'utilisateur, car ils n'ont pas de représentation graphique. Pourtant, comme nous allons le voir ici, ce sont de précieux alliés !

» Lire la suite!

Bonjour !

Rien de tel que de commencer la nouvelle année par un jeu. Nous allons donc essayer d'implémenter en OCaml une version proche du jeu Le Compte est bon imaginé par Armand Jammot (dans l'émission Des chiffres et des lettres que regarde votre grand-mère).

» Lire la suite!

Bonjour !

Dans le précédent billet consacré à LablGTK, nous avons parlé du module GButton. Nous allons maintenant nous pencher sur un autre module incontournable dès que l'on veut créer une interface graphique : le module GWindow.

» Lire la suite!

Bonjour !

Ce petit billet s'intercale insidieusement dans la série de billets consacrés à LablGTK suite à la demande d'un ami. Il s'agit de présenter une alternative au mot-clef lazy d'OCaml. Façon de dire : « alternative » est ici un bien grand mot. Nous allons juste survoler la question et voir qu'il est possible de simuler facilement un type de données paresseux avec des ingrédients classiques de la programmation fonctionnelle.

» Lire la suite!