HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11615 articles Page 177/1162 Sans filtre

Function Arguments Are Not Function Colors

L'auteur propose de définir une "color" comme une forme de dépendance au changement où modifier une fonction impose des changements à toutes ses appelantes dans la pile d'appels. Contrairement à une modification normale qui ne se propage qu'à l'appelant et peut être encapsulée, une modification colorée saute les appels intermédiaires et contraint toutes les fonctions au-dessus à s'adapter. L'exemple de Go montre que l'ajout d'un paramètre context.Context peut sembler être une color, mais en pratique des mécanismes comme context.Background() brisent très rapidement la propagation et empêchent que ce soit systématiquement une color. L'async n'est pas intrinsèquement une color : selon le langage et son support de l'async/I/O, le phénomène forme plutôt un spectre où certaines formes peuvent être colorées et d'autres non. Haskell illustre les couleurs partielles avec STM, qui force le lifting des fonctions intermédiaires dans le monade approprié (et repose sur IO), tandis que des monades comme State ne sont pas des colors car elles peuvent être contournées et encapsulées.

jerf.org Resume pret HTTP 200 Commentaires

Paramount Caught Using 'Astroturf' Group to Drum Up Fake Support for Merger

L'article décrit des comportements de la direction de Paramount lors de sa tentative de fusion avec Warner Brothers qui suscitent des inquiétudes pour les travailleurs, les créateurs, les consommateurs et les marchés. La société a accusé ses détracteurs d'antisémitisme, menacé de quitter la Californie si l'État appliquait les lois antitrust et conduit des campagnes de relations publiques en collaboration avec des alliés politiques. Paramount aurait utilisé une association à but non lucratif nommée Neighbors for Strong Communities pour envoyer des SMS aux Californiens les invitant à demander au procureur général Rob Bonta d'abandonner sa plainte antitrust. Des groupes de défense des consommateurs affirment que cette organisation a été créée récemment, ne divulgue ni fondateurs ni financeurs et utilise une boîte postale, des caractéristiques typiques d'une opération d'astroturfing. L'article rappelle que de grandes fusions médiatiques ont fréquemment entraîné des suppressions d'emplois, une hausse des prix et une baisse de qualité, et qu'il n'existe pas de garantie contre le transfert ou l'externalisation de productions.

www.techdirt.com Resume pret HTTP 200 Commentaires

Antiquated HTML Snippets and Artefacts

Le web évolue constamment à cause des changements d'appareils, de navigateurs, de systèmes d'exploitation et d'intérêts commerciaux, ce qui a entraîné l'apparition de nombreuses balises et fragments HTML spécifiques à des environnements. L'article examine des snippets non standard ou désormais obsolètes apparus pour gérer la concurrence entre navigateurs, les plugins et les intégrations tierces, citant des exemples comme X-UA-Compatible, les commentaires conditionnels d'IE, les meta pour Baidu ou Skype et les WebBot de FrontPage. Beaucoup de ces éléments remplissaient des fonctions pratiques — labellisation PICS, transitions de page, modes plein écran, icônes et configurations pour applications web — mais ont été remplacés ou rendus inutiles par des standards et APIs modernes. D'autres balises visaient à contourner des comportements indésirables (Image Toolbar d'IE, transcoding de Baidu, frame busting, crawl AJAX) ou ont fini par faciliter le spam et des vulnérabilités (comme les pingbacks). La liste n'est pas exhaustive, mais illustre comment l'histoire du web a laissé des fragments de markup dispersés dans le code des sites et signale l'existence de nombreux autres extraits obscurs hérités des pratiques passées.

vale.rocks Resume pret HTTP 200 Commentaires

C*: Unifying Programming and Verification in C (2025)

Les auteurs expliquent que la vérification formelle des logiciels systèmes est cruciale mais que les programmeurs ordinaires participent rarement à ces processus en raison d'un fossé entre programmation et pratiques de vérification. Ils présentent C*, une conception de langage intégrant des preuves dans le code C, qui étend C par des capacités de vérification reposant sur un moteur d'exécution symbolique et un noyau de preuve de style LCF. C* permet la vérification en temps réel en autorisant l'insertion de blocs de preuve aux côtés du code d'implémentation et la mise à jour interactive de l'état de preuve courant. Le langage offre un support expressif et extensible pour construire des bibliothèques réutilisables de définitions logiques, de théorèmes et d'automatisation programmable des preuves. Un prototype a été évalué sur un ensemble de petits programmes C et sur la fonction attach de l'allocateur buddy de pKVM, montrant que C* couvre un large sous-ensemble d'idéomes C et gère des raisonnements complexes en conditions réelles.

arxiv.org Resume pret HTTP 200 Commentaires

Connecting the machines

Herdr compte plus de 700 000 téléchargements, près de 1 000 plugins et une communauté active qui l'utilise pour gérer des agents et des machines locales. La version 0.9 change l'architecture en rendant l'interface TUI côté client tandis que chaque serveur conserve ses sessions et fournit ses vues de terminal. Il est désormais possible d'ajouter des machines distantes via SSH (par exemple herdr machine add workbox) pour afficher workspaces, onglets et agents dans le même TUI sans ouvrir plusieurs clients. L'interface unifiée ne couvre pas encore l'outil CLI, qui ne gère pas les agents répartis sur plusieurs serveurs et limite la collaboration inter-machines pour l'instant. L'équipe prévoit un service Herdr Cloud pour simplifier les connexions, chiffrer le trafic, faciliter la gestion des machines et permettre à terme des fonctions comme le déplacement de sessions d'agent, et elle sollicite des retours des utilisateurs.

herdr.dev Resume pret HTTP 200 Commentaires

Harvard study predicts most suicide attempts a week in advance

Le suicide est la deuxième cause de décès chez les Américains âgés de 10 à 34 ans, cause plus de morts chaque année que guerre et violences combinées, et environ 50 % des personnes décédées avaient vu un clinicien dans le mois précédent. Matthew K. Nock interprète ces chiffres comme la preuve d'une lacune des soins cliniques programmés et plaide pour des mesures en temps réel pour capter la nature fugace des pensées suicidaires. Dans une étude pluriannuelle portant sur plus de 600 adultes et adolescents à haut risque, son équipe a prédit 75 % des tentatives de suicide et 87 % des événements liés au suicide dans la semaine précédant leur survenue. Les participants recrutés après des soins psychiatriques urgents ont répondu via une application jusqu'à six fois par jour puis une fois par jour à 20 items (trois sur la pensée suicidaire et 17 sur les états affectifs), générant plus de 77 000 sondages, des métadonnées d'engagement et un système d'alerte en temps réel pour l'intervention. L'étude montre que l'agitation prédit davantage le risque que la dépression (augmentation de 11 % du risque de tentative par point d'agitation) et préconise l'intégration de capteurs portables et d'interventions « juste-à-temps » tout en soulignant la nécessité de préserver la confidentialité.

current.fas.harvard.edu Resume pret HTTP 200 Commentaires

AlphaGenome Atlas predictive map of every DNA letter change in the human genome

Une nouvelle plateforme met à disposition des prédictions pour les effets de 9 milliards de variantes nucléotidiques simples dans le génome humain, couvrant chaque changement possible d'une seule lettre. Elle combine un modèle d'intelligence artificielle prédisant les effets moléculaires et un modèle d'impact protéique pour fournir un score unique (AVI) permettant de classer rapidement les variants selon leur impact potentiel. Le portail fournit également des attributions de fonctionnalités détaillant les processus moléculaires affectés (accessibilité chromatinienne, épissage, conservation, etc.), un compendium de motifs d'ADN récurrents et des prédictions pré-calculées accessibles via site web, API et intégrations logicielles. Des équipes académiques ont déjà utilisé ces ressources pour prioriser et valider expérimentalement des variants causaux dans des maladies rares et pour détecter davantage d'associations non codantes avec des traits complexes dans de larges cohortes. La base de données, d'environ 1 pétaoctet, est disponible gratuitement pour un usage académique et vise à accélérer la découverte biologique tout en restant évolutive à mesure que les modèles s'améliorent.

deepmind.google Resume pret HTTP 200 Commentaires