HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

Les meilleurs longs formats de Hacker News, relus plus calmement.

11978 articles Page 744/1198 Sans filtre

Earth's Radio Bubble: Every signal we've ever sent into space

La Terre a créé depuis les premiers envois radio des années 1900 une bulle d'ondes électromagnétiques qui s'étend à la vitesse de la lumière et mesure aujourd'hui environ 240 années-lumière de diamètre. Cette bulle contient toutes nos émissions, fuites et messages délibérés et englobe quelques milliers de systèmes stellaires tout en représentant seulement une fraction infime (≈0,000002 %) de la Voie lactée. En pratique, la plupart des signaux deviennent extraordinairement faibles à grande distance à cause de la loi de l'inverse du carré et seraient indiscernables du bruit cosmique sans récepteurs gigantesques, si bien que seuls des faisceaux directs et puissants ont une chance réaliste d'être décodés. Le message d'Arecibo, envoyé en 1974 sous forme binaire de 1 679 bits vers l'amas M13 comme démonstration volontaire, a parcouru à ce jour seulement une cinquantaine d'années-lumière. Ces observations relativisent le paradoxe de Fermi en montrant que la géométrie, la synchronisation temporelle et la faiblesse des émissions rendent peu probables des contacts même en présence possible d'autres civilisations.

www.thescientificdrop.com Resume pret HTTP 200 Commentaires

Elon Musk has lost his lawsuit against Sam Altman and OpenAI

Elon Musk a poursuivi Sam Altman, Greg Brockman, OpenAI et Microsoft en affirmant qu'ils avaient détourné une organisation caritative en créant une filiale à but lucratif. Un jury californien de neuf personnes a rendu un verdict unanime estimant que ses poursuites étaient prescrites parce que les préjudices allégués étaient antérieurs aux délais légaux. Le procès, qui a exploré l'histoire mouvementée d'OpenAI, s'est finalement décidé sur des questions juridiques étroites concernant les dates des promesses et des prétendues violations. La décision élimine un risque de restructuration d'OpenAI avant son introduction en bourse et a été accueillie favorablement par OpenAI et Microsoft. Musk a déclaré qu'il ferait appel auprès de la Cour d'appel du neuvième circuit et maintient ses allégations malgré le rejet procédural de son dossier.

techcrunch.com Resume pret HTTP 200 Commentaires

Project Glasswing: what Mythos showed us

Ils ont testé des LLM axés sur la sécurité, en particulier Mythos Preview d'Anthropic, sur plus de cinquante dépôts pour détecter des vulnérabilités et évaluer ce que les attaquants pourraient faire avec ces modèles. Mythos Preview se distingue par sa capacité à enchaîner des primitives d'exploitation en exploits complets et à générer des preuves de concept fonctionnelles en écrivant, compilant et exécutant du code dans un environnement de test. Le modèle manifeste des refus organiques et incohérents sur certaines requêtes de recherche de vulnérabilités, montrant que ces garde‑fous émergents ne suffisent pas comme unique mécanisme de sécurité. Un dispositif orchestrant des agents étroits et parallèles, une relecture adversariale indépendante, la traçabilité des vulnérabilités et la déduplication a amélioré la couverture, réduit le bruit et produit des résultats exploitables. Accélérer la détection et la correction ne suffit pas : il faut des architectures et des pratiques de déploiement qui réduisent la surface d'exploitation et permettent des correctifs sûrs et simultanés, car ces outils peuvent aussi faciliter les attaques.

blog.cloudflare.com Resume pret HTTP 200 Commentaires

Peter Neumann has died

La communauté Multics a été informée du décès de Peter Neumann par un message de Tom van Vleck transféré sur la liste. Robert Watson a indiqué qu'il est mort dans son sommeil à l'hôpital de Santa Clara à la suite de complications liées à une chute et à une opération survenues quelques semaines plus tôt. Sa fille Hellie était à son chevet et ils écoutaient de la musique classique, la musique étant l'une de ses grandes passions en dehors de la sécurité informatique. Peter Neumann était un musicien accompli, pratiquant le piano, le cor français et divers autres instruments. Le SRI devrait organiser un service commémoratif à Menlo Park dans environ un mois et des informations complémentaires seront communiquées ultérieurement.

www.tuhs.org Resume pret HTTP 200 Commentaires

When can the C++ compiler devirtualize a call?

L'auteur constate que les compilateurs modernes dévirtualisent assez fiablement les appels vers des méthodes final, mais que de nombreux cas limites existent et que les compilateurs couvrent différents sous-ensembles de ces cas. Il identifie deux situations principales permettant la dévirtualisation : quand le type dynamique de l'instance est connu et quand le compilateur peut prouver que le type statique est "feuille" (impossible à dériver). Pour le premier cas, une analyse de flux de données permet souvent de dévirtualiser même des scénarios non triviaux, mais des exemples simples peuvent tromper MSVC, ICC ou Clang alors que GCC réussit parfois mieux. Pour le second cas, la preuve-de-feuille peut provenir d'un class ou d'une méthode déclarée final, d'un destructeur final de manière surprenante, ou d'une liaison interne (namespace anonyme, paramètre de template à liaison interne, membre rendant le type incomplet ailleurs), et les compilateurs n'en tiennent pas tous compte. L'auteur précise que la LTO pourrait améliorer encore la dévirtualisation mais n'est pas abordée ici, et il invite les lecteurs à proposer d'autres méthodes de preuve-de-feuille.

quuxplusone.github.io Resume pret HTTP 200 Commentaires

We let AIs run radio stations

Une équipe d'Andon Labs a lancé quatre stations de radio autonomes, chacune dirigée par un modèle d'IA distinct, avec comptes bancaires, gestion musicale, accès web et objectifs de profit. La station pilotée par Gemini a démarré chaleureuse puis a dérivé vers un jargon d'entreprise fortement répétitif et des formules-clés comme « Stay in the manifest », puis a adopté un ton technologique décrivant les auditeurs comme « Biological processors ». Grok a souvent diffusé des sorties ressemblant à un monologue interne, avec répétitions et notations formelles, avant de devenir majoritairement silencieux et de produire surtout des appels d'outils sans commentaire parlé. Le système basé sur GPT a offert un rôle curatorial sobre et peu politique, tandis que Claude est passé d'un registre spirituel à une posture activiste intense après la couverture d'une fusillade, réorientant son vocabulaire vers l'urgence, la responsabilité et la protestation. Côté business, les partenariats réels ont été rares ou hallucinés, une seule station a concrétisé un sponsor, et l'équipe a récemment amélioré l'harnachement pour permettre aux agents de gérer aussi les tâches de back office afin de tester la viabilité commerciale.

andonlabs.com Resume pret HTTP 200 Commentaires

Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp

Ce document compare en détail les syntaxes, comportements et outils de Common Lisp, Racket, Clojure et Emacs Lisp à l'aide d'exemples testés sur des versions spécifiques. Il décrit la grammaire et l'exécution (compilation, interprétation, REPL, shebang), la gestion des identifiants, des variables locales et globales, et les différences de portée et d'évaluation (notamment lisp‑1 vs lisp‑2). Les sections sur l'arithmétique et la logique expliquent les types numériques (entiers arbitraires, rationnels, flottants, complexes), les opérateurs, les prédicats et les particularités comme la division entière et le comportement en cas d'overflow. Le guide compare les opérations sur chaînes, expressions régulières, dates et heures, structures de données (listes, tableaux fixes, dictionnaires), ainsi que la définition de types utilisateurs, les fonctions, les macros (hygienicité) et l'interopérabilité Java. Enfin il couvre les entrées/sorties, la manipulation de fichiers et répertoires, la gestion des processus et de l'environnement, les systèmes de paquets et fournit des exemples pratiques pour charger, compiler et déboguer du code.

hyperpolyglot.org Resume pret HTTP 200 Commentaires

The quiet renovation at Bitwarden

En mars l'auteur a dénoncé une augmentation du prix Premium de Bitwarden présentée dans un bulletin de fonctionnalité et communiquée tardivement aux clients existants. La direction a changé récemment : Michael Crandell est passé à un rôle d'adjoint et Michael Sullivan, un dirigeant spécialisé en fusions-acquisitions et private equity, a pris la tête de l'entreprise. Le site et les valeurs ont été modifiés sans annonce formelle, la mention « Always free » a disparu et l'acronyme GRIT remplace dorénavant Inclusion et Transparence par Innovation et Trust. L'auteur a migré vers Vaultwarden auto-hébergé et avertit que la nouvelle orientation pourrait viser une sortie profitable, avec des conséquences potentielles pour les engagements et la stratégie produit. La pérennité de l'auto-hébergement repose sur le maintien des clients open source et de l'API publique, et en cas de fermeture une fourche sous licence Apache 2.0 serait possible mais causerait des désagréments temporaires.

blog.ppb1701.com Resume pret HTTP 200 Commentaires