HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 389/1208 Sans filtre

Show HN: Simple algorithm and color space to generate diverse skin tones

L'auteur définit un espace de couleur TUV dérivé d'une analyse en composantes principales pour faciliter la génération inclusive de tons de peau numériques. La méthode combine un étiquetage manuel de couleurs en RGB, une PCA pour transformer les données, puis un ajustement manuel de fonctions sphériques pour délimiter la région plausible. Un prototype fournit du code de génération procédurale et un sélecteur avec trois contrôles (T profond/clair, U rougi/ocre, V froid/chaud) et utilise un paramètre R² pour régler l'étendue des variations. L'article souligne des limites importantes, notamment la simplification des tons de peau, les biais subjectifs de l'étiquetage, les variations d'affichage et l'exclusion possible de conditions cutanées atypiques. Les perspectives proposées incluent l'élargissement et la diversification des jeux de données, l'automatisation par régression symbolique pour affiner les équations et la modélisation de variations et de conditions dermatologiques.

toneyalexander.github.io Resume pret HTTP 200 Commentaires

The sale of Electronic Arts has been finalized

L'éditeur américain a été vendu 55 milliards de dollars à un groupe d'investisseurs comprenant le fonds public saoudien (PIF) et Affinity Partners, entraînant sa sortie de la Bourse. L'opération, présentée comme l'un des plus importants leveraged buyouts de l'histoire, repose sur un important endettement, avec notamment 20 milliards empruntés auprès de JPMorgan. Cette prise de contrôle suscite des inquiétudes quant à une possible influence sur les contenus créatifs et la censure, en particulier pour des franchises promouvant l'inclusivité et les thèmes LGBTQI+. Les investisseurs voient aussi dans l'acquisition un actif de soft power lié au sport et à l'esport, cohérent avec d'autres achats saoudiens d'équipes et d'événements sportifs. Le contrôle du PIF par le prince Mohammed ben Salmane et les antécédents en matière de droits humains, notamment l'affaire Khashoggi, alimentent les débats sur les motivations et les risques politiques de l'opération.

www.bbc.com Resume pret HTTP 200 Commentaires

Rio-vt and librio: Rio's terminal engine, now embeddable

Avec Rio 0.5, le moteur de terminal a été séparé en couches réutilisables : rio-vt, un crate Rust sûr contenant la machine d'état VT, le parseur ANSI, la grille, le scrollback, la sélection, la recherche et les protocoles d'images sans rendu, et librio, une ABI C embarquant le même cœur. rio-vt fonctionne en mode sans rendu — on lui fournit des octets et il expose l'état de la grille, la sélection et la recherche pour que n'importe quel frontend ou aucun frontend gère l'affichage. librio fournit une petite API C multiplateforme et des artefacts précompilés pour macOS (RioKit.xcframework) et s'assemble via cargo sur Linux et Windows, en exposant un état de rendu par lignes "dirty" et des cellules exploitables par un rendu natif. Les benchmarks publics indiquent que rio-vt est souvent plus rapide que vt100 et alacritty pour de nombreux cas (parsing, sérialisation d'écran et redimensionnement), tout en ayant des compromis sur des scénarios spécifiques comme sgr_churn ou les caractères larges. Le projet est déjà utilisé en production, rio-vt est disponible sur crates.io en version 0.5, le support WebAssembly est prévu et l'auteur invite les développeurs à intégrer le moteur et à faire des retours.

rioterm.com Resume pret HTTP 200 Commentaires

Zigbee vs. Matter over Thread:Understanding IoT Protocol Performance in Practice

La popularisation de l'Internet des objets a fait des maisons intelligentes un exemple typique de systèmes d'automatisation distribués où le protocole de communication est critique pour la fiabilité, l'efficacité et l'interopérabilité. L'étude compare expérimentalement Zigbee, solution maillée non-IP mature, et Matter sur Thread, architecture IP visant l'unification d'interopérabilité entre écosystèmes, en utilisant un banc d'essai avec matériel commercial. La méthodologie évalue plusieurs dimensions de performance clés, notamment la scalabilité, la réactivité et la tolérance aux pannes, dans des conditions réseau réalistes. Les résultats montrent que Zigbee présente une moindre surcharge de base et une récupération de routage plus rapide, ce qui le rend plus réactif dans des déploiements statiques et de petite taille. En revanche, Matter sur Thread démontre une meilleure scalabilité et robustesse, maintenant un débit stable et une latence prévisible sur des scénarios multi-sauts, illustrant des compromis distincts entre agilité, efficacité et évolutivité.

arxiv.org Resume pret HTTP 200 Commentaires

IP and DNS Leaks in WebKit Affecting Proxy Browsers and iCloud Private Relay

Des navigateurs basés sur WebKit sur iOS et macOS peuvent normalement rediriger tout le trafic web via des proxies configurés au niveau de l'application. Trois fonctionnalités de WebKit — la prélecture DNS, les requêtes Related Origin de WebAuthn et WebTransport — contournent ces proxies et exposent l'adresse IP réelle ou les serveurs DNS de l'appareil. Ces fuites affectent également iCloud Private Relay, tandis que les VPN ne sont pas concernés car ils tunnelisent le trafic au niveau système. Les fuites proviennent de mécanismes hors du flux de chargement de page standard (résolution DNS avant, service d'identifiants système pour WebAuthn, connexion QUIC directe pour WebTransport) et touchent tous les navigateurs iOS utilisant WebKit. Psylo 1.3.1 corrige ces problèmes en bloquant les hints dns-prefetch et en désactivant par défaut WebTransport et WebAuthn, avec des options par silo pour réactiver ces fonctionnalités si nécessaire.

mysk.blog Resume pret HTTP 200 Commentaires

Why is it all in the kernel?

L'article rapporte qu'une prétendue réfutation de la conjecture de Collatz par Ramana Kumar, vérifiée dans Lean et contrôlée par le vérificateur Nanoda, s'est révélée incorrecte en raison d'un bug du noyau de Lean. L'auteur note que Nanoda n'a pas non plus détecté l'erreur et rappelle que des bugs de soundness ont été découverts dans d'autres assistants formels, notamment Isabelle. Il critique le stockage systématique des objets de preuve comme un surpoids mémoire inutile et observe qu'aucun cas n'est connu où un vérificateur indépendant a corrigé une erreur laissée par le noyau. Il défend l'approche de l'"honest toil", expliquant que types inductifs, structures récursives et fonctions peuvent être construites à partir d'axiomes primitifs hors du noyau, comme en théorie des ensembles ou en simple théorie des types. L'article conclut en recommandant de privilégier des noyaux petits et vérifiés pour garantir la soundness, citant HOL Light et HOL4 comme exemples, et en soulignant que Isabelle/HOL implémente des définitions récursives de façon sûre hors du noyau.

lawrencecpaulson.github.io Resume pret HTTP 200 Commentaires

Mistral's Shieldstral: 3B open-weights model for multimodal moderation

Shieldstral est un classificateur multimodal de sécurité open-weights à 3 milliards de paramètres qui encadre la modération de contenu comme une tâche de question‑réponse adaptative à la politique. Il accepte des politiques en langage naturel à l'inférence, évalue texte et images sans nécessiter de réentraînement, et renvoie un score de sécurité calibré à partir d'une probabilité oui/non. Selon l'équipe, ce modèle de 3B égalise ou dépasse des modèles ouverts jusqu'à sept fois plus grands sur des benchmarks de sécurité textuelle, de détection de refus et multimodaux, tout en tournant sur un GPU NVIDIA 16 Go. La construction du modèle a impliqué l'unification et la reformatation d'ensembles de données hétérogènes, la génération de paires contrastives pour enseigner la discrimination de politiques, l'enrichissement de données visuelles et la fusion de checkpoints via SLERP. Les poids sont publiés sous licence Apache 2.0, et l'équipe annonce poursuivre des travaux sur le multilinguisme, la robustesse aux documents longs et l'élargissement de la sécurité multimodale tout en invitant la communauté à expérimenter.

mistral.ai Resume pret HTTP 200 Commentaires

The Golden Age of British Ice Cream

L'essai décrit la période 1976–1991 comme l'époque clé de l'innovation de la crème glacée au Royaume-Uni, qui a vu naître la plupart des formats encore trouvés aujourd'hui. L'arrivée du Cornetto en 1976, après des ajustements techniques menés par Walls et Unilever, a déclenché une vague de nouveaux produits tels que Mini Milks, Twister, Viennetta, Calippo et Feast. Des innovations industrielles et de procédés, portées par des développeurs comme Kevin Hillman, ont permis des textures et formes inédites grâce à l'extrusion d'entailles d'ice cream et à des pulvérisations de chocolat ultra-fines. À la fin des années 1980, le marché s'est recentré vers une clientèle adulte et des ingrédients de meilleure qualité, culminant avec le lancement et le succès mondial du Magnum en 1990. Depuis les années 1990, l'innovation formelle a ralenti et le secteur contemporain propose surtout des déclinaisons, copies et tentatives artisanales qui revisitent sans transformer durablement les formats issus de cet âge d'or.

www.vittlesmagazine.com Resume pret HTTP 200 Commentaires

Pi's Minimalism Is Its Advantage

Pi adopte une approche minimaliste avec seulement quatre outils intégrés et une configuration de prompt système réduite à moins de 1 000 tokens pour permettre des extensions si nécessaire. Des retours d'usage indiquent que cette simplicité réduit les coûts d'exécution et améliore les performances en envoyant moins de contexte par tour et en nécessitant moins d'itérations pour finir les tâches. L'étude de Databricks a montré que le choix du harness influence fortement le coût par tâche, et que des harnesss simples comme Pi peuvent obtenir de meilleurs taux de réussite à moindre coût. Shopify a démontré l'extensibilité de Pi en créant pi-autoresearch comme extension, ce qui a permis d'automatiser des optimisations et d'améliorer des mesures de performance internes. La discipline de gestion du contexte et l'absence de surcharge de prompt rendent Pi particulièrement adapté aux modèles locaux et aux environnements où la fenêtre de contexte et le préremplissage sont limités.

earendil.com Resume pret HTTP 200 Commentaires

Stateless MCP has recaptured my interest

L'article présente le déploiement de MCP 2.0, la spécification sans état du Model Context Protocol datée 2026-07-28, qui représente la plus importante évolution du protocole depuis son lancement. La version sans état remplace le flux en deux requêtes avec identifiants de session par une seule requête HTTP contenant des en-têtes MCP, ce qui simplifie grandement l'implémentation côté client et serveur et facilite la montée en charge. L'auteur a implémenté trois outils pour expérimenter la nouvelle spécification : mcp-explorer, une CLI Python pour lister, inspecter et appeler des outils MCP ; datasette-mcp, un plugin exposant des endpoints MCP pour exécuter des requêtes SQL en lecture seule ; et llm-mcp-client, un plugin alpha pour intégrer MCP à l'outil llm. Les démonstrations comprennent l'appel d'un outil render_svg sur un serveur de démonstration et l'utilisation de Datasette avec des agents comme ChatGPT et Claude pour exécuter des requêtes SQL, montrant des intégrations pratiques et des cas d'usage. L'auteur estime que MCP est un moyen plus sûr et plus auditable pour construire des agents que l'accès arbitraire au shell et au réseau, et prévoit de l'utiliser davantage pour des applications sensibles.

simonwillison.net Resume pret HTTP 200 Commentaires