Le Bitcoin et la Blockchain

La vidéo du jour décrypte les mystères du bitcoin, et vous explique vraiment comment il marche, et ce qu’est cette mystérieuse blockchain.

Pour préparer cette vidéo, j’ai dû pas mal me documenter. J’ai trouvé beaucoup d’endroits où les grands principes du bitcoin sont expliqués, mais assez peu d’infos détaillées sur ce qu’il se passe vraiment « sous le capot ». A force de lecture, je pense avoir compris l’essentiel, et j’espère donc avoir donné à tout le monde les éléments nécessaires pour comprendre comment un système comme le bitcoin pouvait tenir debout, et en quoi le concept de la blockchain assure la décentralisation du système. Lire la suite

[Vidéo] Les codes secrets (et un peu de MCMC)

Ma vidéo du week-end traite des codes secrets et de la cryptographie RSA. Si j’en crois les chiffres, ça passionne plus les foules que la biologie cellulaire d’il y a deux semaines !

Un sujet connexe que j’ai hésité à aborder dans la vidéo concerne les techniques de décryptage par Markov Chain Monte Carlo (MCMC pour les intimes) que j’ai un peu découvertes en lisant un excellent papier intitulé The Markov Chain Monte Carlo revolution (P. Diaconis, Bulletin of the American Mathematical Society 46.2 (2009): 179-205.). Les MCMC sont des algorithmes assez génériques aujourd’hui utilisés un peu partout de la physique statistique jusqu’aux problèmes de génétique des populations ou de linguistique (par exemple mon billet sur l’origine des langues indo-européennes) Lire la suite

Le test de Turing-Parker : un ordinateur peut-il improviser comme Charlie Parker ?

charlie parker miles davisIl y a quelques semaines, il a beaucoup été question du fameux « test de Turing » de l’intelligence artificielle, où un algorithme essaye de tromper un humain au cours d’une conversation, en se faisant passer pour un autre humain.

Aujourd’hui je voudrais vous parler d’un autre domaine où les ordinateurs essayent de surpasser les humains : celui de l’improvisation musicale.

Il y a pas mal d’années – à l’époque où la musique occupait plus mes loisirs que la science – je jouais (entre autres) avec un excellent pianiste/informaticien qui m’avait parlé d’un algorithme capable d’imiter les improvisations de Charlie Parker.

Aujourd’hui j’ai voulu creuser cette question [Benjamin, si tu me lis, merci pour l’inspiration !] Lire la suite

Le théorème d’incomplétude de Gödel

godelC’est en cours de philo que j’en ai entendu parler pour la première fois ! Notre prof nous faisait un cours sur la logique et ses fondements, et c’est alors qu’elle le mentionna : le fameux théorème de Gödel, celui qui prouve que quoi qu’on fasse, il existe des énoncés mathématiques vrais, mais indémontrables. Les mathématiques resteront à tout jamais un édifice imparfait !

J’en fus évidemment tout retourné et fasciné : comment était-il possible qu’un truc pareil existe ? Comment prouver ce résultat pouvait même être du domaine de la science ? Lire la suite