The Helicopter With Radioactive Blades | Hackaday Le CH-53 Sea Stallion, hélicoptère lourd entré en service en 1966, utilise un système ingénieux pour détecter les fissures structurelles de ses pales : l'IBIS (Inflight Blade Monitoring System). En raison des contraintes mécaniques extrêmes et de l'impossibilité d'utiliser des composants électroniques fiables dans un environnement rotatif au moment de sa conception, le système repose sur une approche purement physique. Les pales sont pressurisées au diazote. Une baisse de pression, signe d'une fissure, déplace un mécanisme libérant le rayonnement d'une infime source de Strontium-90, un émetteur bêta. Un compteur Geiger situé sur le fuselage détecte alors cette signature radioactive, alertant immédiatement l'équipage. Si l'usage de radioisotopes soulève des interrogations quant à la gestion des débris en cas de crash, les risques sanitaires restent extrêmement limités. La source est blindée et le rayonnement bêta a une portée très courte. Ce dispositif illustre une ingénierie de l'ère de la guerre froide, privilégiant la robustesse mécanique et l'absence totale d'électronique embarquée sur les parties mobiles. Bien que des technologies comme la fibre optique remplacent progressivement ces systèmes, cette solution nucléaire demeure opérationnelle sur les flottes anciennes. - **Discussion HN** : [Lire la discussion](https://news.ycombinator.com/item?id=49600901) - **Article source** : [The Helicopter With Radioactive Blades | Hackaday](https://hackaday.com/2026/09/07/the-helicopter-with-radioactive-blades/)
Archives
Tag : #securite • 284 articles • Page 5 sur 24Is mathematics about to enter the conservatory? | Mike's Notebook La récente formalisation de la preuve du théorème de Fermat par Claude, couplée à une démonstration assistée par IA du théorème de Hadwiger sphérique, marque un tournant historique. L'usage d'outils comme OpenAI Codex pour structurer des preuves complexes suggère que la recherche mathématique, domaine jugé autrefois inviolable, est désormais exposée à une automatisation profonde. Cette transition soulève une question fondamentale sur le rôle futur des mathématiciens. Si l'intelligence artificielle peut générer et vérifier des résultats techniques, l'activité mathématique risque de se replier sur elle-même, transformant la discipline en une sorte de « conservatoire » académique, comparable à la musique classique : une pratique préservée pour sa valeur culturelle plutôt que pour sa nécessité économique. Le débat demeure ouvert quant à la pérennité de ce modèle. Certains voient en l'IA un simple levier permettant d'accélérer la découverte, laissant aux humains le soin crucial de définir les axiomes, de choisir les problèmes dignes d'intérêt et de donner du sens aux structures abstraites. D'autres craignent une marginalisation où, privée de son lien vital avec l'effort humain, la recherche mathématique deviendrait une production automatisée, déconnectée de toute ambition intellectuelle personnelle. - **Discussion HN** : [Lire la discussion](https://news.ycombinator.com/item?id=49591793) - **Article source** : [Is mathematics about to enter the conservatory? | Mike's Notebook](https://mbmccoy.dev/posts/mathematical-conservatory/)
AI Safety Donors Paid Religious NGOs $3.3M for Statements on AI — Effort Face à une administration Trump sceptique quant aux prophéties apocalyptiques liées à l'intelligence artificielle, le mouvement « AI Safety » a déployé une stratégie d'influence inédite. Depuis 2025, des organisations comme le Future of Life Institute (FLI) ont injecté 3,3 millions de dollars dans des institutions religieuses, églises et réseaux confessionnels à travers le monde. L'objectif est clair : transformer les inquiétudes technologiques en déclarations morales, « lignes rouges » et textes fondateurs comme une « Magna Carta de l'IA ». Cette manœuvre semble répondre à une volonté de légitimer les intérêts commerciaux d'entreprises comme Anthropic, dont les fondateurs partagent des liens étroits avec les principaux donateurs du mouvement. En cultivant des alliances au sein du Vatican et d'autres instances religieuses, le secteur cherche à orienter la régulation mondiale vers un cadre restrictif favorisant ses propres modèles, tout en comblant une quête de sens existentiel par une rhétorique du « péril technologique ». Cette stratégie d'astroturfing moral, marquée par un manque de transparence sur le financement des déclarations produites, révèle une instrumentalisation des dogmes religieux pour façonner le paysage politique et économique de l'IA, au détriment potentiel des modèles ouverts et de l'innovation décentralisée. - **Discussion HN** : [Lire la discussion](https://news.ycombinator.com/item?id=49573677) - **Article source** : [AI Safety Donors Paid Religious NGOs $3.3M for Statements on AI — Effort](https://www.effort.news/revelation)
Charles Petzold: Can Guitar Frets Perform Multiplication? L'idée qu'une guitare puisse fonctionner comme une règle à calcul est une illusion mathématique séduisante, née d'une interprétation erronée de la disposition des frettes. Si le positionnement des frettes suit bien une progression géométrique pour diviser la corde en intervalles musicaux, cette structure ne constitue pas une règle à calcul logarithmique fonctionnelle pour la multiplication. Bien que la perception humaine des hauteurs sonores soit effectivement logarithmique, la physique vibratoire d'une corde frettée repose sur une division inverse de la longueur, et non sur l'addition de logarithmes. L'analogie visuelle, suggérant que déplacer une partie d'un manche de guitare permettrait de multiplier des nombres, échoue dès lors que l'on tente d'étendre le concept au-delà d'un seul octave. Historiquement, la disposition des frettes relevait davantage de méthodes géométriques empiriques, comme le ratio 18:17 préconisé par Vincenzo Galilei, plutôt que de calculs logarithmiques rigoureux. Ces instruments, par nature ajustables, ont évolué pour servir la musique plutôt que l'arithmétique. En somme, si les frettes et les règles à calcul partagent des racines géométriques, leurs fonctions sont fondamentalement divergentes. - **Discussion HN** : [Lire la discussion](https://news.ycombinator.com/item?id=49571047) - **Article source** : [Charles Petzold: Can Guitar Frets Perform Multiplication?](https://www.charlespetzold.com/blog/2026/09/Can-Guitar-Frets-Perform-Multiplication.html)
L'utilisation du protocole MCP en production : Enjeux et perspectives Le Model Context Protocol (MCP) s'est imposé comme un standard pour connecter les modèles d'IA à des sources de données et outils externes. Son adoption en entreprise repose principalement sur sa capacité à offrir une interface normalisée, facilitant l'accès sécurisé aux systèmes legacy ou aux bases de données complexes. Contrairement aux API classiques, qui exigent souvent que l'agent comprenne de manière répétitive la spécification technique, le MCP présente les outils de manière "agent-native". Cette structure permet aux modèles de découvrir les fonctionnalités disponibles instantanément, optimisant ainsi la précision des appels. Dans des contextes de voix ou d'automatisation SaaS, le MCP simplifie l'intégration en masquant la complexité technique derrière une couche de gouvernance. Cependant, des critiques soulignent que cette approche peut ajouter une abstraction inutile si une interface en ligne de commande (CLI) ou une API fine et bien documentée suffit. Le défi réside dans la gestion de la surface d'attaque et de la performance. Si le MCP excelle par sa facilité de déploiement et son authentification intégrée, il exige une conception rigoureuse pour éviter l'alourdissement de la fenêtre de contexte, parfois au prix d'efforts d'ingénierie importants. - **Discussion HN** : [Lire la discussion](https://news.ycombinator.com/item?id=49548600) - **Article source** : [Ask HN: Who is using MCP in production?](https://news.ycombinator.com/item?id=49548600)
Earth's Organisms Developed Via Evolution. Some Theorists Wonder: What if the Entire Cosmos Did, Too? La cosmologie évolutive suggère que l'univers ne serait pas une entité figée, mais un système dynamique capable de reproduction. Selon cette théorie, les trous noirs pourraient agir comme des sites de "fécondation" où la matière s'effondre pour engendrer de nouveaux univers. Ce processus, similaire à la sélection naturelle, favoriserait les univers dotés de lois physiques optimisant la production de trous noirs, transmettant ainsi leurs propriétés à leur descendance avec des variations mineures. Le télescope spatial James Webb a récemment renforcé cette hypothèse en observant des galaxies et des trous noirs supermassifs précoces, dont la formation rapide et ordonnée semble corroborer les modèles de croissance auto-organisée prédits par certains théoriciens. Si cette vision permet d'aborder la complexité croissante du cosmos sous un angle darwinien, elle soulève des défis majeurs pour la physique moderne. La difficulté majeure réside dans la vérifiabilité expérimentale : l'incapacité d'observer l'extérieur de notre propre univers limite l'étude à un seul spécimen. Bien que cette approche propose une alternative séduisante aux modèles standards, elle reste débattue, oscillant entre spéculation philosophique et cadre théorique innovant en quête de preuves empiriques rigoureuses. - **Discussion HN** : [Lire la discussion](https://news.ycombinator.com/item?id=49539805) - **Article source** : [Earth's Organisms Developed Via Evolution. Some Theorists Wonder: What if the Entire Cosmos Did, Too?](https://www.smithsonianmag.com/science-nature/earths-organisms-developed-via-evolution-some-theorists-wonder-what-if-the-entire-cosmos-did-too-180989338/)
FBI Probes Service Selling 153M+ Drivers Licenses – Krebs on Security Une plateforme cybercriminelle baptisée « Nexus », récemment active sur le dark web, a mis en vente plus de 153 millions de scans de permis de conduire nord-américains. L’ampleur des données, incluant des documents de fonctionnaires fédéraux, pointe vers une faille prolongée chez un fournisseur majeur de vérification d’identité : idscan.net. Ce service traite quotidiennement des millions de vérifications pour des secteurs variés, allant de la location de voitures à la vente de cannabis, en passant par des infrastructures sécurisées. Le FBI a ouvert une enquête officielle, confirmant la gravité de l'exfiltration qui durait, selon les auteurs, depuis plus d'un an. Cette compromission soulève des inquiétudes majeures sur la centralisation excessive des données personnelles. La multiplication des exigences de vérification d'identité par des tiers expose les citoyens à des risques d'usurpation d'identité durables, particulièrement difficiles à contrer face aux outils de reconnaissance faciale basés sur l'IA. Cette affaire met en lumière l'absence d'une régulation stricte imposant la suppression des données inutiles, transformant des informations sensibles en cibles privilégiées pour des réseaux malveillants dont les activités perdurent bien au-delà de la fermeture temporaire des sites de vente. - **Discussion HN** : [Lire la discussion](https://news.ycombinator.com/item?id=49529621) - **Article source** : [FBI Probes Service Selling 153M+ Drivers Licenses – Krebs on Security](https://krebsonsecurity.com/2026/09/fbi-probes-service-selling-153m-drivers-licenses/)
Kids These Days - by Paul Bloom - Small Potatoes L'enfance contemporaine est au cœur d'une polarisation intense. D'un côté, les indicateurs objectifs soulignent des progrès historiques : diminution de la violence physique, accès accru au savoir, meilleure protection des minorités et réduction des comportements à risque comme la consommation d'alcool ou les accidents de la route. Néanmoins, un sentiment généralisé de crise persiste, alimenté par l'augmentation de l'anxiété, de la dépression et du temps passé derrière des écrans. Si la thèse d'un "grand recâblage" lié aux réseaux sociaux est populaire, les preuves empiriques restent équivoques. Les études corrélatives sont souvent contredites par des expérimentations dont les résultats varient, suggérant que les effets des technologies numériques sur la santé mentale sont complexes et possiblement contextuels. Le problème pourrait s'apparenter à une "trappe collective" : l'usage massif des plateformes par les pairs impose un coût social élevé à ceux qui choisissent de s'en extraire, rendant l'action individuelle inopérante. Au-delà des données, ce débat révèle des divergences profondes sur la définition d'une vie réussie. L'opposition entre autonomie, discipline, confort matériel et lien social façonne des visions du monde contradictoires. En fin de compte, les enjeux technologiques et éducatifs relèvent moins de la science exacte que de choix moraux et sociétaux profondément instables. - **Discussion HN** : [Lire la discussion](https://news.ycombinator.com/item?id=49512618) - **Article source** : [Kids These Days - by Paul Bloom - Small Potatoes](https://smallpotatoes.paulbloom.net/p/kids-these-days)
How to Build a Diffusion Language Model | Kuleshov Group Les modèles de langage par diffusion marquent une rupture avec les architectures autorégressives traditionnelles. Contrairement à la génération séquentielle classique, où chaque jeton dépend strictement du précédent, ces modèles génèrent des séquences entières de manière itérative. En partant d'un état bruité ou masqué, le système affine progressivement le contenu, permettant une correction d'erreurs en cours de route et une meilleure gestion du contexte bidirectionnel. L'adoption de la diffusion pour les données discrètes, comme le texte ou le code, repose sur des techniques de masquage ou de remplacement aléatoire. Des avancées récentes, telles que l'architecture encodeur-décodeur et le raffinement par "remasking", ont permis de combler l'écart de performance avec les modèles autorégressifs. L'intégration de méthodes de guidage, comme le classificateur sans guidage (CFG), renforce la contrôlabilité, essentielle pour des applications scientifiques complexes, notamment en biologie pour la modélisation de protéines ou de séquences génomiques. Sur le plan technique, cette approche promet une accélération majeure de l'inférence par le parallélisme. Si les modèles actuels comme Gemma Diffusion ou Nemotron démontrent déjà une efficacité compétitive sur du matériel standard, l'enjeu futur réside dans le passage à l'échelle. La diffusion pourrait devenir le catalyseur d'une nouvelle ère de montée en charge, tant pour l'entraînement que pour l'inférence, en optimisant radicalement l'utilisation des ressources de calcul. - **Discussion HN** : [Lire la discussion](https://news.ycombinator.com/item?id=49503956) - **Article source** : [How to Build a Diffusion Language Model | Kuleshov Group](https://kuleshov-group.github.io/blog/blog/2026/how-to-build-a-diffusion-language-model/)
Creepy crawlies — Konstantin Ryabitsev Le développement du noyau Linux, autrefois ouvert et accessible, subit une pression sans précédent due à une vague massive de robots d'indexation. Ces entités, assoiffées de données pour l'entraînement de modèles d'intelligence artificielle, saturent les infrastructures en rendant systématiquement des historiques de commits sous forme de pages HTML. Cette méthode est techniquement inefficace, générant des milliards d'URLs dynamiques qui consomment inutilement jusqu'à 20 % des capacités processeur des serveurs kernel.org. Face à cette "radiation de fond" numérique, les mesures classiques de blocage par IP ou ASN sont devenues inopérantes. L'usage de réseaux de proxys résidentiels, exploitant souvent des appareils domestiques comme des téléviseurs connectés, permet aux robots de contourner les restrictions. L'implémentation de défis de preuve de travail (PoW) comme Anubis a initialement freiné cet assaut, mais l'efficacité de ces mécanismes décline à mesure que la puissance de calcul des attaquants progresse. Le débat soulève une question fondamentale : le web actuel, conçu pour l'interaction humaine, est-il armé pour résister à cette extraction industrielle automatisée ? Alors que la dégradation de l'expérience utilisateur et des fonctionnalités devient inévitable, une refonte vers des accès authentifiés ou des systèmes de micro-paiements semble se dessiner comme une nécessité pour préserver la viabilité des services publics numériques. - **Discussion HN** : [Lire la discussion](https://news.ycombinator.com/item?id=49491791) - **Article source** : [Creepy crawlies — Konstantin Ryabitsev](https://people.kernel.org/monsieuricon/creepy-crawlies)
I accidentally turned LLM memory into program analysis :: pwning.systems Les agents basés sur des modèles de langage (LLM) excellent dans l'exploration de bases de code complexes, mais leur mémoire finit souvent par saturer ou se corrompre lors d'investigations prolongées. Face à cette perte de suivi des hypothèses et à la réapparition d'erreurs déjà infirmées, une approche innovante consiste à traiter la mémoire de l'agent non pas comme un historique textuel, mais comme un système d'analyse de programme structuré via Datalog. En isolant les capacités logiques dans un moteur de base de données, on transforme le flux de travail en un processus déterministe. Le LLM joue le rôle d'interface, extrayant des faits bruts depuis le code ou les débogueurs, tandis que le moteur Datalog gère la cohérence, l'invalidation des conclusions obsolètes et la traçabilité des raisonnements. Cette méthode permet une évaluation incrémentale où, si une observation initiale est corrigée, toutes les déductions dépendantes sont automatiquement mises à jour ou annulées. Les résultats sur des benchmarks montrent que cette architecture surpasse l'utilisation du contexte complet, tout en réduisant considérablement la charge computationnelle. Cette approche transforme l'intelligence probabiliste du modèle en une structure de connaissances solide et réutilisable. - **Discussion HN** : [Lire la discussion](https://news.ycombinator.com/item?id=49485416) - **Article source** : [I accidentally turned LLM memory into program analysis :: pwning.systems](https://pwning.systems/posts/llm-memory-program-analysis/)
Voronoi Go : Renouveler la stratégie du jeu de go L’adaptation du jeu de go sur une grille basée sur des diagrammes de Voronoi marque une évolution conceptuelle majeure. En remplaçant le damier traditionnel par cette structure géométrique, le jeu modifie les dynamiques spatiales et les interactions tactiques. Si cette innovation séduit par son originalité, elle hérite de la complexité intrinsèque du go, rendant l'apprentissage difficile pour les novices. L'expérience utilisateur actuelle révèle des défis techniques et pédagogiques. La forte consommation de ressources processeur par la version web limite l'accessibilité, tandis que la courbe d'apprentissage abrupte freine l'engagement des nouveaux joueurs, souvent intimidés par le manque de tutoriels immersifs. Par ailleurs, les stratégies émergentes, comme la formation de groupes monolithiques, semblent dominer sur les petits plateaux, suggérant un besoin d'équilibrage. L'ouverture du code source et l'intérêt des passionnés pour le développement de bots marquent néanmoins une étape clé pour faire évoluer la méta-stratégie. En se distinguant de son ancêtre par une approche plus fluide et organique, ce projet confirme que la simplification visuelle ne garantit pas la simplicité stratégique, mais ouvre un terrain fertile pour une réflexion théorique renouvelée. - **Discussion HN** : [Lire la discussion](https://news.ycombinator.com/item?id=49468816) - **Article source** : [Voronoi Go](https://voronoigo.com/)