Informatique théorique

Ok, alors accrochez-vous, ce trip est pas forcément évident à comprendre.
Si vous vous considérez mentalement sain, ne lisez pas cet article.

Cet article traite d'un sujet d'informatique théorique des plus fumeux.
http://fr.wikipedia.org/wiki/Oracle_(machine_de_Turing)

Quelques explications :
Les machines de Turing sont le modèle mathématique de calcul le plus puissant (actuellement, en tout cas).
Par calcul, on parle ici d'application d'un algorithme, ce qui signifie que les machines de Turing sont plus ou moins, mathématiquement, des fonctions.
Par puissant, on veut dire qu'il peut appliquer des algorithmes (simuler des fonctions) plus complexes.

Cependant, il y a des problèmes qui ne peuvent pas être résolus par une machine de Turing : ces problèmes sont dits indécidables par une machine de Turing.

Le problème indécidable, en informatique théorique, le plus connu est le problème de l'arrêt.
Le problème de l'arrêt consiste à déterminer si une machine de Turing donné en entrée (ou en argument, pour l'analogie aux fonctions) s'arrête (que l'algorithme se termine) pour toutes les entrées possibles ou si il peut ne pas s'arrêter.

Une machine de Turing capable de résoudre le problème de l'arrêt serait une machine de Turing, qui, pour toute machine de Turing existante, est capable de dire si la machine de Turing entrée en argument finit son calcul pour toutes les entrées existantes.
Comme je l'ai dit plus haut, ce problème est indécidable, il n'existe donc pas de machine de Turing capable de décider le problème de l'arrêt pour une machine de Turing.

C'est là que ça devient marrant.
Pour résoudre ce problème, des chercheurs (je crois) ont proposé une alternative aux machines de Turing : il s'agit de prendre une machine de Turing et d'y ajouter un Oracle. Le mot Oracle est à prendre au sens habituel du terme, c'est-à-dire que c'est une entité omnisciente.
Comme l'Oracle sait tout, alors il sait décider le problème de l'arrêt pour une machine de Turing.

Vous sentez une arnaque quelque part ? C'est normal.
D'ailleurs, l'arnaque est complètement assumée, comme le montre l'article Wikipédia linké plus haut :
"Les oracles sont des outils purement théoriques, puisque ce modèle évite soigneusement de soulever la question de leur fonctionnement."
Eh oui, c'est impossible de créer une telle machine. Bien joué.
Vous pouvez donc vous demander l'intérêt d'avoir pensé à ça. Je n'en vois pas non plus, d'où mon trip sur le sujet.

En bonus track :
Des chercheurs ont démontré que si une machine de Turing avec Oracle est capable de décider le problème de l'arrêt pour une machine de Turing classique, elle n'est pas capable de le décider pour une machine de Turing avec Oracle.
Il faut donc ajouter un Oracle pour les machines de Turing avec Oracle.
Ces machines, dotées de 2 oracles, peuvent décider le problème de l'arrêt pour une machine de Turing avec un oracle, mais ne le peuvent pas pour les machines avec 2. Et ainsi de suite.
Ce qui donne lieu à des conclusions assez marrantes, dans la mesure où les Oracles savent tout mais en fait non. Qu'il y a des oracles qui savent plus de choses que d'autres :D

Cet article a été approuvé par Gégé.

Farador

Voici une parodie de Dungeons&Dragons assez sympa, et surtout, réalisée par des canadiens.

Partie I



( http://www.youtube.com/watch?v=nhmUj9QJ9RM )

Partie II



( http://www.youtube.com/watch?v=T9FMURHhgzc )

Igudesman & Joo

On change encore de style, pour quelque chose de classe ici !
Aleksey Igudesman et Richard Hyung-ki Joo sont deux musiciens qui font des sketchs musicaux.

Franchement, ils sont très très bons musicalement et assez marrants, et ont clairement leur place dans le temple de la Win.

Voici leur channel Youtube : http://www.youtube.com/user/igudesmanandjoo

Si vous avez la flemme de tout mater, je vous conseille ça comme échantillons :
- Un passage chez Patrick Sébastien (je savais pas que y avait de bons trucs là bas...)

( http://www.youtube.com/watch?v=iwPKT3IIL_0 )

- Une version personnelle de la marche turque :D

( http://www.youtube.com/watch?v=MNtYYuWILNE )

- Un live où ils se lâchent un peu plus :)

( http://www.youtube.com/watch?v=-BCbzb_Br-A )

C'est que du bonheur, regardez le reste si vous avez du temps !

Lylloo - Soirée MSN

Je sais, je vous avais quelque peu ménagés avec Green Day, mais on repasse tout de suite à du très lourd.
Un très beau travail de composition que l'interprète a brillamment su mettre en valeur.

Lylloo - Soirée MSN sélectionné dans Musique et Variété / Chanson

(Lien direct : http://www.wat.tv/video/lylloo-soiree-msn-1o7f2_91tr_.html )

Écoutez les paroles, ça en vaut le détour.

Green Day - Holiday

Bon, je change un peu de registre musical, voici Green Day.
Évidemment, c'est beaucoup plus connu que Dschinghis Khan, y a peu de chance que je vous fasse découvrir le groupe, ni probablement cette chanson qui est sortie aux alentours de 2004.

Je vous propose d'abord d'écouter la musique, sans regarder le clip. Je sais que vous aimez avoir les yeux rivés sur mon blog, mais pour une fois, regardez autre chose.
Ensuite regardez le clip et lisez la suite.



Franchement, je sais pas si j'avais vu le clip à l'époque, et que je m'en rappelais inconsciemment, mais franchement, je crois que ce que j'imaginais du clip n'a jamais été aussi proche de ce qu'est le clip.

Quand j'écoutais la chanson, je pensais à des djeunz de 18 ans en train de faire les cons en voiture, avec l'insouciance caractéristique de la jeunesse (j'suis un vieux con, t'as vu), ce regard "jsuis un ouf tkt"... Toute cette magie réunie en un clip.

Alors, la question que vous vous posez surement : pourquoi Green Day est nominé dans ce si sacré temple de la Win ?

Pourquoi ?


Non en fait, tout simplement parce que Green Day, en particulier dans cette chanson, est ce qui incarne le mieux l'esprit "j'ai 18 ans, je suis rebelle, anticonformiste, invincible, t'as vu". Eux seuls comprennent notre révolte contre le système tu vois. Car le système il est pourri.
Et Green Day, ils savent exprimer cette révolte avec une telle justesse...
Chaque mot est aussi aiguisé et acerbe qu'une autruche, j'aimerais pas me prendre ça dans la gueule si j'étais le système.

Bonus track, en parlant d'anticonformisme :
Petite anecdote, j'attendais le bus quand j'ai surpris une bribe de conversation entre 2 wesh qui m'a beaucoup fait rire. Je cite tel quel (en tout cas tel que je me souviens) :
"- Nan mais jsais pas, elle a dit que j'étais un conformiste, tu vois
- Vazy c'est quoi un conformiste ?"
Vous ne pouvez pas imaginer à quel point c'était difficile de me retenir.

Dschinghis Khan - Pistolero

Premier post de qualité pour un groupe de qualité.

Voici Dschinghis Khan.
Pas mal de gens (dont pas mal de geeks, d'ailleurs, mais ce n'est pas un crime) connaissent déjà, ou ont entendu parler de Dschinghis Khan pour leur chanson "Moskau" qui est assez ultime, mais il est injuste de résumer ce groupe par cette seule chanson.

Personnellement j'aime beaucoup Pistolero.



(Lien direct : http://www.youtube.com/watch?v=PRZJvPP5qI4 )
Ca commence à devenir bien à partir de 1mn07, pour devenir awesome à partir de 1mn38 jusque 2mn09.

Ce clip entraîne une question essentielle : quel est votre préféré ?
On sera tous d'accord sur le fait que les 2 femmes du groupe ne servent vraiment à rien, mais parmi les 3 hommes ?

Le moustachu, à droite, est clairement favori dans cette compétition (il est d'ailleurs ultime dans tous les clips, dans cette vidéo il suffit par exemple de regarder ses yeux à 1mn45), mais personnellement je suis un grand fan du mec à gauche, que ce soit à 1mn28 où on lit dans son regard "IM DOING TEH LULZ ON TV :DDDD" ou à 2mn01 où j'ai franchement l'impression qu'il sait pas ce qu'il fait là.
Le mec au milieu est pas mal non plus, notamment pour la voix qu'il prend à 1mn51 (d'ailleurs, cette voix me rappelle quelque chose, mais je ne trouve pas quoi...), mais clairement inférieur aux 2 autres. Dommage pour lui, car dans d'autres clips que je ne manquerai pas de vous montrer, il est vraiment très bon.

Un autre truc ultime : les paroles.
Alors dans la vidéo du dessus, ils chantent en allemand, c'est donc incompréhensible pour toute personne respectable.
Oui, mais ils chantent aussi en anglais. Et je sais pas si les paroles sont simplement les mêmes d'une langue à l'autre, mais voici le refrain en anglais :

Oh, Pistolero
Like an angel of death, you go
Desperado from Mexico
Never more will he run
Oh, Pistolero
Riding up through the wind and rain
With revenge burning in your brain
And your hand on your gun

Personnellement, quand je vois "angel of death", je m'imagine tout de suite des chansons emo, ou un pseudo de type caramail. Du coup, j'en ris beaucoup :D.

Une élève très prometteuse dans la win a émis la théorie qu'ils envoient des messages codés.
Par exemple, angelofdeath pourrait être, justement, le pseudo caramail du moustachu. Une manière, très élégante cela dit, de dire "voici mon pseudo, lach T kom plizz".
Mais qui aura "mi-ange-mi-demon" ?
Discuss.

Pour la chanson complète en anglais, suivez ce lien :
http://www.youtube.com/watch?v=3MpRpLiQeiI

Visitez-le, il n'y a pas de vidéo, mais une image de ce qui semble être la jaquette de leur CD, jaquette qui est d'ailleurs très réussie !

:]

Bienvenue sur le blog de la Win !

Ce blog sera une sorte de compendium de tous les trucs moisis que je trouve, peut-être que des fois j'écrirai des trucs aussi si j'en ai l'envie :]

Chocobisous !