Journal Magic: the Gathering, le problème de l'arrêt, et une inférence un peu rapide

Posté par . Licence CC by-sa.
42
10
mai
2019

Slate m'offre, dans un article récent, le moyen de concilier mes trois passions : l'informatique théorique, le jeu de société, et me moquer des journalistes.

Ça commence donc par un article plutôt banal sur arXiv : les auteurs ont, à partir de deux decks très spécifiques (mais légaux selon les règles du jeu de société Magic), réussi à créer une machine de Turing. Machine de Turing un peu particulière puisqu'elle mène à la victoire du joueur A (...)

Journal Turing est battu

Posté par (page perso) . Licence CC by-sa.
16
9
juin
2014

Cher journal,

Comme il ne se passe pas grand chose du côté du libre en ce moment et que la news sur le dernier kernel est en phase de fignolage. Je vais te parler rapidement des dernières nouvelles dans le monde de l'intelligence artificielle. Pour la première fois, un ordinateur, Eugene, a passé le test de Turing avec plus de 30 % des membres du jury qui n'ont pas réussi à le différencier d'un humain. Même s'il a déjà été considéré (...)

Journal Et le prix Turing revient à ...

Posté par . Licence CC by-sa.
36
26
mar.
2014

Leslie Lamport

Leslie Lamport à donc eu l'honneur de se voir décerner le Prix Turing 2013. Ce sont ses travaux dans le domaine des calculs distribués qui sont récompensés par ce prix.

Je ne suis absolument pas familier avec ce domaine de recherche mais plutôt avec LaTeX, initié par Leslie Lamport.

Pour le bookmark :
http://www.pcinpact.com/news/86688-le-prix-turing-revient-a-leslie-lamport-pour-ses-apports-en-calculs-distribues.htm
http://amturing.acm.org/

Certains trouveront ironiques d'apprendre que Leslie Lamport a été recruté par Microsoft. Quoi qu'il en soit cela n'enlève rien à son talent et (...)

Journal Alan Turing gracié.

54
24
déc.
2013

Après 60 ans, Alan Turing a enfin été gracié de sa condamnation à mort pour homosexualité.
C'est en 1952 qu'il fut condamné pour "indécence manifeste et perversion sexuelle". Après un procès extrêmement médiatisé du à la conjoncture politique de l'époque, Alan Turing choisit la castration chimique en lieu et place de l'incarcération.
Ce traitement médical ainsi que son exclusion de tous les grands projets scientifiques le conduisent à la dépression.
Il meurt en 1954 d'un empoisonnement à l'arsenic, l'enquête conclut (...)

Le prix Turing 2008 pour Barbara Liskov

Posté par . Modéré par j.
8
12
mar.
2009
Presse
À 69 ans, la professeure Barbara Liskov du MIT remporte la plus prestigieuse des récompenses en informatique. Largement considéré comme équivalent à un prix Nobel, le prix Turing est décerné chaque année par l'Association for Computing Machinery à une ou plusieurs personnes dont les contributions à l'informatique sont particulièrement brillantes.

Comme beaucoup de chercheurs de premier plan, Barbara Liskov a contribué à plusieurs domaines de l'informatique, principalement :
  • les langages de programmation, en particulier avec le support de la programmation répartie ;
  • la théorie des types, où elle a défini une nouvelle notion de type dérivé (T est un type dérivé de S si toute propriété prouvable sur les objets de S est prouvable sur les objets de T) ;
  • les bases de données, en particulier orientées objet ;
  • l'algorithmique répartie avec tolérance aux défaillances, et en particulier les plus difficiles de toutes ces défaillances : les processus byzantins.
NdM: Un grand merci à oyp pour le journal à l'origine de la dépêche.

Prix Turing 2007 pour la vérification de modèles

Posté par . Édité par Benoît Sibaud. Modéré par Jaimé Ragnagna.
1
5
fév.
2008
Presse

(réécrite et réaffectée suite à une purge de compte)

Le prix Turing a été attribué à Edmund M. Clarke (université Carnegie Mellon), E. Allen Emerson (université du Texas) et Joseph Sifakis (université de Grenoble, laboratoire Verimag) pour leurs travaux sur la vérification de modèles (ou model checking).