HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

7182 articles Page 429/719 Sans filtre

14 Apr 2026

06:01

tanstack.com Resume pret HTTP 200 Commentaires

TanStack Start Now Support React Server Components

TanStack Start adopte une philosophie flexible qui traite les React Server Components comme des primitives utilisables à la demande plutôt que comme une convention qui orchestre toute l'application. Dans Start, les RSC sont des flux Flight récupérables, décodables et cacheables côté client ou durant le SSR via des API minimales (renderToReadableStream, createFromReadableStream, createFromFetch) et s'intègrent naturellement à TanStack Query et Router. Cette approche simplifie la mise en cache fine (mémoire, route, CDN) et permet de déplacer le rendu coûteux hors du client tout en restant compatible avec les outils de cache et de routage existants. Les Composite Components permettent au serveur de rendre des fragments tout en exposant des slots que le client remplit avec des composants interactifs, conservant la frontière client/serveur et augmentant la composabilité. La fonctionnalité est expérimentale, privilégie des RPC explicites via createServerFn pour réduire la surface d'attaque, et les mesures montrent d'importantes améliorations sur les pages riches en contenu mais des gains variables selon les cas d'usage.

14 Apr 2026

06:01

github.com Resume pret HTTP 200 Commentaires

WiiFin – Jellyfin Client for Nintendo Wii

Le projet propose un client homebrew expérimental développé en C++ avec GRRLIB et MPlayer CE pour parcourir et lire des médias sur la Wii. Les fonctionnalités opérationnelles incluent l'authentification (identifiant/mot de passe ou QuickConnect), profils sauvegardés (jetons), navigation des bibliothèques avec affiches et vues détaillées, lecture audio/vidéo via transcodage côté serveur, contrôle de lecture et envoi de la progression au serveur. Parmi les limitations connues figurent l'absence de direct-play (tout est transcodé), l'absence de support 5.1 (stéréo uniquement) et le rendu des sous-titres dépendant de leur incorporation par le serveur. La compilation nécessite devkitPro et bibliothèques graphiques, mbedTLS est fourni, MPlayer CE est optionnel mais requis pour la vidéo, et l'application s'exécute sous Dolphin ou s'installe sur la console en .dol ou .wad. Le dépôt contient le code source, les assets et outils, accepte contributions et rapports de bugs, prévoit des améliorations (tri/filtre, favoris, thèmes) et est distribué sous licence GPLv3.

14 Apr 2026

06:01

www.joanwestenberg.com Resume pret HTTP 200 Commentaires

Sometimes powerful people just do dumb shit

L'article illustre comment des décisions manifestement erronées de dirigeants, comme l'invasion de la Russie par Napoléon ou l'achat de Twitter par Elon Musk, sont souvent défendues comme si elles faisaient partie d'un plan supérieur incompris. L'auteur critique la tendance des partisans du "4D chess" à rationaliser les échecs en les présentant comme des stratégies invisibles, en donnant aussi des exemples contemporains comme Donald Trump et l'acquisition par OpenAI de l'émission TBPN. Il explique que des mécanismes psychologiques et sociaux — la croyance en un monde juste, la propension à voir des motifs et le désir de paraître plus perspicace — alimentent cette interprétation. Le texte met en garde que ce cadre protège les puissants de la responsabilité, rend les théories infalsifiables et empêche d'apprendre des erreurs concrètes. La conclusion est que parfois les dirigeants prennent simplement de mauvaises décisions et que reconnaître cette banalité est nécessaire pour maintenir la clarté et la responsabilité.

14 Apr 2026

06:00

kirancodes.me Resume pret HTTP 200 Commentaires

Lean proved this program correct; then I found a bug

Un programme vérifié en Lean (lean-zip) a été soumis à du fuzzing automatique et à des outils d'analyse (AFL++, AddressSanitizer, Valgrind, UBSan) pilotés par un agent Claude qui a exécuté plus de 105 millions de tests. Aucun défaut mémoire n'a été trouvé dans le code Lean vérifié lui‑même, mais le fuzzing a découvert deux problèmes : un débordement heap dans le runtime Lean (lean_alloc_sarray) et un déni de service dans le parseur d'archives non vérifié. Le débordement provient d'une addition qui déborde lors de l'allocation de ByteArray (capacité proche de SIZE_MAX) et peut être déclenché par un fichier ZIP malformé avec compressedSize égal à 0xFFFFFFFFFFFFFFFF, affectant toutes les versions de Lean 4 citées, et une PR correctrice est en attente. Le déni de service est causé parce que Archive.lean transmet le champ compressedSize lu dans l'en‑tête ZIP directement à h.read sans validation, permettant à un en‑tête malveillant de provoquer une allocation excessive et un panic OOM. L'article conclut que la vérification formelle a rendu la base applicative remarquablement sûre en éliminant de nombreuses classes de bogues, mais que son efficacité dépend de l'étendue des preuves et de la fiabilité de la base de confiance (runtime et modules non vérifiés).

14 Apr 2026

06:00

github.github.com Resume pret HTTP 200 Commentaires

GitHub Stacked PRs

La fonctionnalité de PR empilées permet d'organiser des pull requests en une chaîne ordonnée où chaque PR cible la branche de la PR inférieure. L'interface GitHub affiche une carte de la pile pour naviguer entre les couches, applique les règles de protection contre la branche cible finale et exécute la CI comme si chaque PR visait la branche finale. Le CLI gh stack facilite la création et la gestion locale des stacks, y compris la création de branches, les rebasages en cascade, le push et la création de PR avec les bases appropriées. Lors de la fusion, on peut fusionner toute la pile ou des parties, et les PR restantes sont automatiquement rebasées pour que la plus basse non fusionnée cible la branche de base. L'approche réduit la taille des diffs à revoir, améliore la qualité des retours et accélère les fusions, et peut être intégrée aux agents IA via npx skills add github/gh-stack.

14 Apr 2026

06:00

anchor.host Resume pret HTTP 200 Commentaires

Someone bought 30 WordPress plugins and planted a backdoor in all of them

Un client a signalé une alerte dans le tableau de bord WordPress indiquant que le plugin contenait du code susceptible de permettre un accès tiers non autorisé. Le module wpos-analytics a téléchargé un backdoor qui a injecté un bloc PHP dans wp-config.php, affichant du spam uniquement à Googlebot et résolvant son serveur de commande via un contrat intelligent Ethereum. Le plugin avait été revendu via Flippa à un acheteur identifié comme «Kris», une désérialisation RCE et un endpoint REST non authentifié ont été introduits en août 2025 et sont restés dormants environ huit mois avant d'être activés en avril 2026. WordPress.org a fermé définitivement plus de 30 plugins de l'auteur Essential Plugin et forcé une mise à jour qui a neutralisé le phoning-home mais n'a pas supprimé l'injection dans wp-config.php. L'auteur de l'article a publié des versions patchées supprimant le module malveillant, recommande de rechercher et patcher ou supprimer les plugins affectés et d'inspecter wp-config.php pour détecter une compromission active.

14 Apr 2026

06:00

developers.google.com Resume pret HTTP 200 Commentaires

A new spam policy for "back button hijacking"

Google étend ses règles anti-spam pour interdire explicitement le détournement du bouton retour (back button hijacking) en le qualifiant de pratique malveillante. Ce comportement consiste à empêcher l'utilisateur d'utiliser le bouton retour pour revenir à la page précédente, en insérant ou remplaçant des pages trompeuses dans l'historique du navigateur ou en affichant des recommandations ou publicités non sollicitées. La mesure vise à protéger l'expérience utilisateur, car ces manipulations créent une attente non satisfaite, nuisent à la navigation et entraînent frustration et baisse de confiance envers les sites. Les sites identifiés peuvent subir des actions manuelles de spam ou des déclassements automatisés dans les résultats de recherche, et l'application de la règle débutera le 15 juin 2026 après un préavis de deux mois. Les propriétaires doivent retirer ou désactiver tout script, bibliothèque ou configuration publicitaire responsable du détournement et peuvent demander un réexamen via Search Console une fois les corrections effectuées.

14 Apr 2026

06:00

www.blackmagicdesign.com Resume pret HTTP 200 Commentaires

DaVinci Resolve releases Photo Editor

La Photo page de DaVinci Resolve apporte pour la première fois à la photo fixe l'ensemble avancé d'outils de colorimétrie et d'effets utilisés à Hollywood, avec un flux de travail basé sur des nœuds et des scopes professionnels. Elle propose les contrôles photo familiers (balance des blancs, exposition, corrections primaires) ainsi que l'accès complet aux Resolve FX, aux outils AI et aux fonctions de grading HDR, avec prise en charge native des RAW Canon, Fujifilm, Nikon, Sony et iPhone ProRAW jusqu'à 32K. Le traitement est non destructif (recalage, recadrage, transform), accéléré par GPU pour l'import, le traitement par lots et l'export, et conserve les métadonnées EXIF lors des exports en JPEG, PNG, HEIF ou TIFF. La gestion d'images inclut albums, balises, notes, recherche AI IntelliSearch, tethering en direct avec appareils Sony et Canon, et synchronisation collaborative via Blackmagic Cloud pour permettre le travail à distance et les approbations. Des outils basés sur la DaVinci Neural Engine tels que Magic Mask, Depth Map, Relight, Face Refinement, AI SuperScale, UltraNR et Patch Replacer complètent la solution, et des panneaux matériels dédiés offrent un contrôle tactile pour accélérer le travail.

13 Apr 2026

06:09

morethanmoore.substack.com Resume pret HTTP 200 Commentaires

An Interview with Pat Gelsinger

Pat Gelsinger, vétéran des semiconducteurs, a quitté la direction d'Intel pour rejoindre Playground Global où il accompagne des start-ups de "hard tech" et se concentre sur des projets qu'il juge capables de transformer l'industrie. Il défend une vision hétérogène du calcul, qu'il appelle la « trinité » (classique, IA et quantique), et estime que l'inférence doit encore s'améliorer de plusieurs ordres de grandeur, évoquant un objectif théorique de 10 000 fois mieux. Dans son rôle de capital-risqueur il évalue les entreprises selon trois critères — preuve technologique, voie vers le marché et qualité de l'équipe dirigeante — et utilise son réseau industriel pour accélérer les partenariats commerciaux. Il finance et soutient des approches variées, des machines dataflow et du calcul supraconducteur à des innovations de connectivité optique et à la recherche sur des sources lumineuses de nouvelle génération (free electron laser) pour avancer la lithographie et la productivité des fabs. Parallèlement, il plaide pour des politiques industrielles et énergétiques robustes (notamment via le CHIPS Act et l'énergie nucléaire), la résilience des chaînes d'approvisionnement et des investissements dans la formation des talents pour soutenir la montée en puissance des écosystèmes technologiques.