Playlist Tech : les meilleurs podcasts technologie

Cette semaine, on commence par visiter Paris en 1499 en compagnie de Rose Belmont. Le nouvel opus de Castlevania, confié aux Français d'Evil Empire, est une réussite technique. Il est magnifique, mais il se révèle un peu trop sage (et un poil raide) sur la longueur. On continue avec l'incontournable Ocarina of Time, qui remet encore une fois au goût du jour le monument de la N64. C'est fluide, joli, très jouable, que demander de plus ? Peut-être un peu plus d'audace, mais on chipote. On termine avec l'horrible (mais c'est voulu) Remothered Red Nun's Legacy et le très étrange Penguin Colony.

Jérémie Kletzkine, dans sa chronique jeux de société, nous parle de Bella Vista.

Chapitres :
0:00 Intro
4:54 Les news
34:25 Le com des coms
38:05 Castlevania Belmont's Curse
1:06:50 La chronique jeux de société : Bella Vista
1:12:03 The Legend of Zelda: Ocarina of Time
1:39:02 La minute culturelle
1:42:34 Remothered Red Nun's Legacy
2:00:25 Penguin Colony
2:26:34 Et quand vous ne jouez pas, vous faites quoi ?

Retrouvez toutes les chroniques de jérémie dans le podcast dédié Silence on Joue ! La chronique jeux de société (Lien RSS).
Pour commenter cette émission, donner votre avis ou simplement discuter avec notre communauté, connectez-vous au serveur Discord de Silence on joue!
Retrouvez Silence on Joue sur Twitch : https://www.twitch.tv/silenceonjoue
Soutenez Silence on joue en vous abonnant à Libération avec notre offre spéciale à 6€ par mois : https://offre.liberation.fr/soj/

Silence on joue ! c’est l’émission hebdo de jeux vidéo de Libération. Avec Erwan Cario et ses chroniqueurs Patrick Hellio et Corentin Benoit-Gonin.

CRÉDITS
Silence on joue ! est un podcast de Libération animé par Erwan Cario. Cet épisode a été enregistré le 12 novembre 2026 sur Discord. Réalisation : Erwan Cario. Générique : Marc Quatrociocchi.
Hébergé par Acast. Visitez acast.com/privacy pour plus d'informations.

Et si l’IA pouvait servir à la démocratie ? Dans « Les Echos de l’IA », Marina Alcaraz échange avec les dirigeants de Bluenove, une société qui recueille et traite des témoignages à grande échelle, notamment pour les entreprises.

Vous vous informez beaucoup… mais retenez-vous vraiment l’essentiel ? La Sélection des « Echos », c’est chaque jour les analyses et décryptages qui comptent vraiment, sélectionnés par notre rédaction. Retrouvez nos meilleures offres réservées à nos auditeurs.

Les Echos de l’IA est un podcast des « Echos » présenté par Marina Alcaraz, Joséphine Boone et Samir Touzani. Cet épisode a été enregistré en novembre 2026. Présentation : Marina Alcaraz. Rédaction en chef : Clémence Lemaistre. Chef de service : Pierrick Fay. Invités : Franck Escoubès (cofontaeur et président de bluenove) et Maxime Barbier (Directeur général de bluenove). Réalisation : Willy Ganne. Chargée de production et d’édition : Clara Grouzis. Musique : Coma Studio – Floating Abstract.
Hébergé par Acast. Visitez acast.com/privacy pour plus d'informations.

Hébergé par Acast. Visitez acast.com/privacy pour plus d'informations.

On laisse enfoncé le bouton «Record» après l'enregistrement, on en fait une bande-annonce...

Pour commenter cette bande-annonce, donner votre avis ou simplement discuter avec notre communauté, connectez-vous au serveur Discord de Silence on joue!

Soutenez Silence on joue en vous abonnant à Libération avec notre offre spéciale à 6€ par mois : https://offre.liberation.fr/soj/

Retrouvez Silence on Joue sur Twitch : https://www.twitch.tv/liberationfr

Silence on joue ! C’est l’émission hebdo de jeux vidéo de Libération. Avec Erwan Cario et ses chroniqueur·euse·s Patrick Hellio et Corentin Benoit-Gonin.

CRÉDITS
Silence on joue ! est un podcast de Libération animé par Erwan Cario. Cette bande annonce a été enregistrée le 12 novembre 2026 sur Discord. Réalisation : Erwan Cario. Générique : Marc Quatrociocchi.
Hébergé par Acast. Visitez acast.com/privacy pour plus d'informations.

Quatre semaines pour réaliser un travail de vérification informatique qui aurait auparavant mobilisé des spécialistes pendant plusieurs années. C'est la performance annoncée par Google DeepMind, qui vient d'utiliser l'intelligence artificielle pour démontrer mathématiquement certaines garanties de sécurité du système de chiffrement de Signal, l'une des messageries les plus réputées pour la confidentialité de ses échanges. Le 10 novembre, les chercheurs de Google ont présenté AlphaProof Code, un nouvel outil qui utilise plusieurs agents d'intelligence artificielle pour analyser des logiciels et construire des preuves mathématiques de leur bon fonctionnement.
Pour comprendre l'intérêt de cette approche, il faut distinguer deux manières de vérifier un programme. Habituellement, les spécialistes cherchent des bugs en multipliant les tests et les simulations d'attaques. Mais même après des millions d'essais réussis, rien ne garantit qu'une situation particulière ne provoquera pas une faille. La vérification formelle fonctionne autrement. Elle consiste à définir précisément les propriétés que le programme doit respecter, puis à démontrer mathématiquement qu'il les respecte dans les conditions étudiées. Cette technique existe depuis longtemps, mais elle demande énormément de travail. Google a donc confié une partie de cette tâche à des agents IA, sous la supervision de chercheurs humains. Leur terrain d'expérimentation était particulièrement ambitieux : le protocole Signal, également utilisé sous différentes formes dans WhatsApp et Google Messages. Les chercheurs ont analysé une partie de son code jusqu'au niveau des instructions réellement exécutées par les processeurs. L'objectif était notamment de vérifier que certains mécanismes protégeaient les conversations, même lorsque des clés de chiffrement étaient compromises.

L'IA a produit environ six millions et demi de lignes de démonstrations, ensuite vérifiées par Lean, un logiciel spécialisé dans le contrôle des preuves mathématiques. Pour tester leur méthode, les chercheurs ont également réintroduit deux anciennes vulnérabilités de Signal, corrigées depuis. Le système a correctement démontré que les versions modifiées ne respectaient plus les garanties étudiées. Mais attention : cela ne signifie pas que Signal est désormais impossible à pirater. L'expérience ne couvre ni l'application complète, ni les conversations de groupe, ni toutes les situations impliquant plusieurs appareils. Certaines fonctions cryptographiques sont également considérées comme sûres sans avoir été entièrement vérifiées.

L'intérêt se situe donc ailleurs. Si cette méthode peut être étendue, les développeurs pourraient demain accompagner certaines parties de leurs logiciels de preuves mathématiques, plutôt que de dépendre uniquement des tests classiques. Google a publié les résultats et les démonstrations pour permettre à d'autres chercheurs de les examiner. Le coût de cette expérience n'a cependant pas été communiqué.

Source : Google Deepmind
Hébergé par Acast. Visitez acast.com/privacy pour plus d'informations.