Le cyberblog du coyote

Les bugs informatiques peuvent parfois avoir des conséquences dramatiques, que ce soit sur le plan humain ou financier... Alors comment s'assurer que les logiciels font bien ce qu'ils sont censés faire ? C'est là qu'interviennent les méthodes formelles, une approche mathématique qui permet de prouver de manière rigoureuse que les programmes vont s’exécuter correctement. Encore mieux, on utilise désormais la théorie des jeux pour produire automatiquement des programmes corrects, à la manière de l’écriture d’un joueur artificiel dans un jeu de société !

Lire l'article de Benjamin Monmege sur Interstices

Dans un moteur de recherche, avez-vous déjà utilisé le bouton "j'ai de la chance" qui renvoie uniquement la meilleure réponse ? Généralement non, car vous avez besoin de la grande diversité de réponses fournies pour trouver ce qui vous intéresse. Mais comment faire pour générer toutes ces réponses rapidement et ne pas se laisser déborder par leur nombre ?

Lire l'article de Yann Strozecki sur Interstices