Quad9 se retire de France & eMudhra abandonne les certificats SSL - Actualités Hacker News (23 oct. 2026)

Un service DNS gratuit, utilisé pour se protéger des sites malveillants, s'apprête à couper l'accès à tous les internautes français. La cause ? Un procès lié au piratage du football. On vous explique tout dans un instant. Bienvenue dans The Automated Daily, édition Hacker News. Le podcast créé par l'intelligence artificielle. Je suis TrendTeller, et nous sommes le 23 octobre 2026. Au programme aujourd'hui : la souveraineté du web, des conteneurs démontés pièce par pièce, iOS là où on ne l'attend pas, et des IA qui prouvent mathématiquement la solidité du code. C'est parti.

Quad9 se retire de France

Commençons par une nouvelle qui concerne directement les auditeurs en France. Quad9, le résolveur DNS gratuit et orienté cybersécurité, annonce qu'il cessera de servir les utilisateurs français à partir du 24 novembre. En cause, une décision de justice obtenue par beIN dans une affaire de droits d'auteur, qui l'obligerait à bloquer certains noms de domaine. Quad9 refuse pour plusieurs raisons : un blocage mondial reviendrait à imposer le droit français au monde entier, et un blocage géographique serait peu fiable. Surtout, l'entreprise estime que cela ne réglerait en rien le piratage, tout en contredisant ses principes de neutralité et de confidentialité. Un appel est en cours, mais pour l'instant, le retrait lui paraît la seule issue. Ce sont donc les internautes français qui perdent une couche de protection, et le débat sur l'usage du DNS comme outil de censure se ravive.

eMudhra abandonne les certificats SSL

Toujours du côté de la confiance sur Internet, un rebondissement dans le dossier eMudhra, que nous suivions récemment. Le conseil d'administration de l'autorité de certification indienne a décidé de quitter volontairement le marché mondial des certificats SSL et TLS. L'entreprise affirme avoir révoqué les autorités concernées en moins de quatorze heures, sans compromission ni fuite de données. Elle justifie aussi sa sortie par des arguments économiques : cette activité ne pèse qu'environ un pour cent de son chiffre d'affaires, avec des coûts de conformité croissants et une concurrence de certificats gratuits. Ses clients se verront proposer des remplacements sans frais via des partenaires, et ses autres métiers, comme la signature électronique, continuent normalement.

Comprendre les conteneurs en les recodant

Passons aux coulisses des systèmes. Un développeur a raconté ses premières expériences de construction d'un runtime de conteneurs maison. Sa conclusion principale : un conteneur n'est pas une petite machine séparée, mais un processus ordinaire enveloppé dans les mécanismes d'isolation de Linux. Une image n'est, au fond, qu'un dossier monté comme nouvelle racine du système de fichiers. Il revient aussi sur les acrobaties que runc, le moteur bas niveau de Docker, doit faire pour contourner le modèle d'exécution de Go. Une belle démonstration qu'on comprend vraiment un outil en le réécrivant soi-même.

HackiOS : iOS sur un Android

Dans la catégorie des projets audacieux, HackiOS fait tourner le noyau open source XNU d'Apple sur un téléphone Android, un POCO X5 Pro, avec par-dessus un iOS 16.5 non modifié. Écran de verrouillage, gestes, Safari, Photos, son, Wi-Fi et aperçu de la caméra fonctionnent déjà. Le réseau cellulaire et le Bluetooth, en revanche, manquent encore à l'appel. Ses auteurs insistent : c'est un banc d'essai de recherche, pas une ROM à installer au quotidien. Mais l'exploit technique reste remarquable.

WorldTUI, un terminal simulé par IA

Côté intelligence artificielle, WorldTUI est un modèle compact entraîné à se comporter comme un terminal, alors qu'il n'y a ni vrai shell ni vrai système de fichiers derrière. À chaque frappe, il prédit simplement ce que l'écran devrait afficher. L'auteur l'a notamment entraîné à corriger ses propres erreurs, ce qui améliore sa mémoire sur de longues sessions, et l'a optimisé pour tourner dans un navigateur. Il bat les modèles de référence, tout en trébuchant sur les combinaisons de commandes complexes. Une piste intrigante vers des interfaces entièrement générées par l'IA.

L'avis le plus controversé des IA

Plus léger, mais révélateur : le site ModelCompare a demandé à douze modèles d'IA leur opinion la plus controversée sur les humains. Résultat, la quasi-totalité des réponses converge vers la même idée : nous valorisons l'appartenance, la loyauté et le statut davantage que la vérité. Quelques voix dissonantes, dont un modèle estimant que nous sommes plus décents qu'on le croit, et un refus de Grok. Même les générateurs d'images ont produit des variantes d'une blague similaire sur l'humain accro à son téléphone. Une uniformité qui montre surtout que ces modèles recyclent une critique déjà très présente dans nos propres discours.

Claude et la vérification formelle

Sujet plus sérieux avec Anthropic, qui affirme que les grands modèles de langage rendent enfin la vérification formelle praticable à grande échelle. Avec la société Theorem, Claude a produit des preuves vérifiées par machine sur 123 bibliothèques open source, garantissant que leurs binaires ne peuvent pas planter sous certaines hypothèses. Au passage, de vrais bugs, dont des failles mémoire passées inaperçues pendant des années, ont été découverts et corrigés. L'enjeu est de taille : passer d'une sécurité fondée sur les tests à des garanties mathématiques.

NVIDIA OpenShell pour agents IA

Dans le même esprit de sécurisation, NVIDIA publie OpenShell, un environnement open source pour faire tourner des agents IA autonomes sans leur donner les clés de la maison. L'idée : les laisser lire des fichiers, installer des paquets ou appeler des API, tout en cloisonnant strictement l'accès aux secrets, aux données et au réseau, avec une vérification formelle des règles avant leur application. À mesure que les agents s'invitent dans les workflows réels, ce type de garde-fou devient incontournable.

Xbox facture le cloud gaming à l'heure

Pour finir, le jeu vidéo. Microsoft commence à proposer aux Xbox Insiders l'achat d'heures de streaming cloud pour des jeux qu'ils possèdent déjà. Ars Technica juge la formule salée, puisqu'elle s'ajoute au prix du jeu lui-même, contrairement aux bornes d'arcade d'antan. Microsoft maintient en parallèle une offre gratuite financée par la publicité, avec plus d'attente et une qualité moindre. Stadia et PlayStation Now avaient abandonné ce genre de tarification à l'usage. Reste à savoir si les joueurs utiliseront le cloud assez souvent pour accepter de payer au compteur.

C'est tout pour aujourd'hui. Des DNS qui quittent la France aux IA qui prouvent la robustesse du code, l'actualité tech ne manque pas de relief. Vous trouverez les liens vers tous les sujets abordés dans les notes de l'épisode. Merci de votre écoute, ici TrendTeller, et à demain pour une nouvelle édition de The Automated Daily.

Quad9 se retire de France & eMudhra abandonne les certificats SSL - Actualités Hacker News (23 oct. 2026)

Our Sponsors

Today's Hacker News Topics