Le cyberblog du coyote

Au printemps dernier, des personnalités aussi diverses que Elon Musk, Yuval Noah Harari ou Steve Wozniak s’associaient à plus de 1 000 « experts » pour mettre en garde face aux « risques majeurs pour la société et l’humanité » que représente l’intelligence artificielle et demander une pause de six mois dans d’entraînement des modèles plus puissants que GPT-4. Du Monde au Figaro, en passant par FranceInfo ou Libération, les médias ont volontiers relayé les termes de ce courrier qui appelle à une pause pour mieux affirmer le caractère inéluctable et la toute-puissance des systèmes d’IA à venir.

Lire l'article de Julien Falgas et Pascal Robert sur The Conversation

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

Épisode 2 de la série « Henri Potier à l’école de la complexité ».

Quand on conçoit un algorithme, une question est : « est-ce qu’il fait bien le boulot ? » Une autre est : « combien de temps il va prendre ?» Si ça met deux plombes pour me dire où trouver une pizza, ça m’intéresse moins. Le domaine qui traite du temps que va prendre un algorithme (ou de la quantité de mémoire dont il va avoir besoin) s’appelle « la complexité algorithmique ». Un premier article de la série « Henri Potier à l’école de la complexité » avait expliqué comment compter le temps de calcul d’un algorithme. Dans ce deuxième article, nous allons explorer des problèmes importants pour lesquels aucun algorithme efficace n’est connu, et on ignore même s’il en existe.

Lire l'article de Sylvain Perifel et Guillaume Lagarde sur Binaire

Actuellement dans les kiosques :

Si vous souhaitez redonner vie à un ordinateur portable vieillissant, Linux pourrait être le meilleur choix. Voyez comme c'est facile à faire.

Lire l'article de Jack Wallen sur ZDNet.

Actuellement dans les kiosques:

The Mathematics of (Hacking) Passwords

The science and art of password setting and cracking continues to evolve, as does the war between password users and abusers, by Jean-Paul Delahaye, Scientific American, on April 12, 2019

Avec le temps, nos ordinateurs accusent inévitablement le coup, devenant lent et parfois capricieux. Il est possible de leur redonner un second souffle. Explication.

Lire l'article de Morgan Fromentin sur BeGeek

En 1948, le mathématicien et ingénieur américain Claude Shannon crée la théorie de l’information, reliant diverses branches : mathématiques (probabilités, combinatoire, cryptographie), physique (électronique et théorie du signal) et techniques informatiques (compression de données). Cet article présente le contexte historique de ce sujet : la théorie de l’information a accompagné les progrès technologiques de la fin du vingtième siècle. Il introduit ensuite les notions de sources et de canaux d’information.

Lire l'article de Philippe Gay sur Images des mathématiques

Pour découvrir les concepts et outils fondamentaux des sciences et technologies de l'information et de la communication, quelques ouvrages de référence et exposés diffusés en vidéo.

Lire l'article sur Interstices

C’est un fait qui saute aux yeux de tout organisateur de salon d’orientation post-bac ou de journées portes ouvertes en école d’ingénieurs : les garçons sont largement plus nombreux que les filles à se presser autour des stands dédiés aux métiers du numérique. On pourrait croire qu’il en a toujours été ainsi. D’ailleurs, cet état des lieux est ancré dans les mentalités, la figure du « geek » se déclinant encore souvent au masculin.
Cela ferait presque oublier qu’aux débuts de ce qu’on appelait l’« informatique », de nombreuses mathématiciennes ont joué un rôle clé. Parmi ces grandes figures, on peut citer Grace Hopper, qui a imaginé la notion de compilateur et en a fait le premier prototype en 1952. C’est une femme, Mary Keller, qui a soutenu la première thèse en informatique, en 1965.
On peut citer aussi Kathleen Booth, pionnière de la reconnaissance de caractères et de la traduction automatique. Ou Barbara Liskov, qui programme en 1968 un des premiers jeux d’échecs, et devient professeure en intelligence artificielle au MIT.

Lire l'article de Chantal Morley sur The Conversation

À l’heure des GAFAM, des fakenews, de prétendues addictions au numérique, etc., l’informatique ne manque pas de détracteurs. La définition même de cette science inédite du XXe qui a bouleversé nos sociétés divise. Serge Abiteboul et Gilles Dowek, les auteurs du best seller « Le temps des Algorithmes » nous racontent ces sources de désaccords.

Lire l'article sur Binaire

Le bug de l’an 2000 avait donné des sueurs froides aux informaticiens, sans mener à la catastrophe attendue. De nouveaux dysfonctionnements pourraient survenir en raison de la manière dont les systèmes d’exploitation stockent le temps.

Lire l'article de Denis Delbecq sur letemps.ch

La société informatique de France a le plaisir de vous offrir un libre accès aux numéros de 1024.
L’ambition de ce bulletin est de disposer d’une revue qui montre l’informatique — science et technologie — et qui s’adresse à tous les informaticiens : aux lycéens d’ISN et à leurs professeurs, aux ingénieurs et techniciens qui, en entreprise, se reconnaissent en tant qu’informaticiens, aux enseignants-chercheurs et aux chercheurs qui, dans les laboratoires de recherche, en université, dans les centres de recherche ou dans les écoles, ont chacun un domaine précis qu’ils maîtrisent mais veulent pouvoir avoir une vision plus globale de la discipline.
Ce bulletin, qui paraît trois fois par an, est adressé sous format papier aux adhérents de la SIF.

En 2020, l’Interface paraît dans trois langues nationales ! On y trouve plusieurs articles sur l'enseignement de l'informatique.

Comme pour votre navigateur, effacer le cache de Windows est parfois un bon début pour résoudre les problèmes du système, améliorer les performances, libérer de l’espace disque.

Lire l'article de Krigou sur libellules.ch

Signal, données, contenu, sémantique, pas facile de s’y retrouver… Il se cache pourtant une grandeur mesurable parmi ces quatre notions, étudiée depuis le milieu du XXe siècle par les mathématiciens, les physiciens et les informaticiens. Cette grandeur, c’est l’information. Mais c’est quoi, au juste, un élément d’information ?

Lire l'article de Vincent Gripon sur The Conversation

On l’observe quotidiennement, les ordinateurs deviennent de plus en plus forts pour comprendre et interpréter le monde qui les entoure : reconnaissance de caractères, appareils photo détectant les visages, essais de voitures autonomes, etc. Ces progrès impressionnants s’expliquent par l’amélioration notoire de leurs capacités de calcul, mais également par l’inventivité brillante des humains qui les mettent au point !
Le but de cet article est d’expliquer une très belle idée mathématique (parmi de nombreuses !) utilisée à des fins de reconnaissance de forme par ordinateur.

Lire l'article de Vincent Humilière sur Images de mathématiques

Comment corriger des erreurs dans un réseau, en l’absence d’autorité centrale permettant de contrôler l’ensemble du fonctionnement ? Cet article présente des travaux de recherche récents motivés par cette question de nature informatique. Pour y répondre, l’outil et les méthodes mathématiques s’avèrent essentiels, à la fois dans les étapes de modélisation et de résolution. L’informatique mathématique, est ainsi un domaine de l’informatique qui utilise non seulement des mathématiques, mais se révèle aussi créateur de nouvelles mathématiques.

Lire l'article de Jean Mairesse, Irène Marcovici et Marc Monticelli sur Images des mathématiques