HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

3702 articles Page 180/371 Sans filtre

23 Mar 2026

07:10

emi-h.com Resume pret HTTP 200

A case against currying

L’article décrit trois styles principaux pour les fonctions à plusieurs paramètres : le style liste de paramètres (impératif), le style curry et le style tuple. Ils sont théoriquement isomorphes, ce qui signifie qu’on peut les représenter mutuellement par des types équivalents. Le style curry facilite l’application partielle, permettant de fixer des paramètres et d’obtenir de nouvelles fonctions. Cependant il présente des inconvénients, tels que des formes de types asymétriques, des difficultés de composition et des coûts potentiels de performances. Enfin, l’article note qu’en langages à types dépendants, le style curry peut être supérieur lorsque le type de retour dépend de la valeur d’un paramètre.

23 Mar 2026

07:10

blog.dominikrudnik.pl Resume pret HTTP 200

Brute-forcing my algorithmic ignorance

L'invitation à deux entretiens en ligne chez Google a surpris l'auteur, qui pensait d'abord qu'il s'agissait de spam. Ayant principalement travaillé dans les télécommunications, il se sentait peu familier avec les algorithmes classiques et les structures de données, ce qui l'a motivé à se préparer de façon intensive. Pour progresser, il a décidé d'utiliser un grand modèle de langage comme professeur, en se concentrant sur les concepts et les schémas plutôt que sur le code pur ou les mathématiques abstraites. Sur trois jours, il a parcouru et résolu de nombreux problèmes LeetCode, découvrant des motifs récurrents et l'importance des structures adaptées et des techniques comme BFS/DFS, la théorie des graphes et la programmation dynamique. À l'issue de l'entretien, le recruteur a proposé de poursuivre avec deux entretiens techniques sur site, et l'auteur se demande aussi si l'usage des LLM comme tuteur est une voie durable pour acquérir la fluence nécessaire.

23 Mar 2026

07:09

pooladkhay.com Resume pret HTTP 200

My first patch to the Linux kernel

L’auteur explore la virtualisation en développant un hyperviseur de type 2 et s’inspire des approches KVM et bhyve pour orchestrer des machines virtuelles. Il explique qu’une fonction empruntée au noyau extrait l’adresse de la TSS à partir d’un descriptor64, mais les promotions d’entier et une extension de signe corrompent base3 lors du mélange des champs base0 à base3. Les symptômes sont graves, avec des VM-Exit fatals, des fautes de pages et des blocages d’IPI qui mènent à une paralysie partielle ou totale du système sur certains cœurs. Le correctif consiste à caster les champs en unsigned avant les décalages afin d’éviter l’extension de signe et de préserver base3 lors du calcul. Le patch a été accepté et fusionné, et l’auteur mentionne une approche Linux utilisant une gestion TSS/GDT par cœur comme alternative, concluant par une réflexion sur l’aide de l’IA.

23 Mar 2026

07:09

composio.dev Resume pret HTTP 200

OpenClaw is a security nightmare dressed up as a daydream

En 2023, l'engouement autour d'AutoGPT et de BabyAGI suivait l'arrivée de GPT-4, avec des craintes sur des agents autonomes dérobant des emplois et affichant des résultats éphémères, et exactement trois ans plus tard le même débat renaît autour d'OpenClaw propulsé par Opus, dont les modèles sont plus performants et l'écosystème a mûri. OpenClaw peut interagir avec des fichiers locaux, le terminal, les navigateurs, Gmail, Slack et même des systèmes domotiques, mais chaque gain s'accompagne d'un coût, notamment en termes de sécurité. Le texte présente les avantages et les inconvénients et propose des usages prudents, tout en reconnaissant que certains peuvent céder au FOMO malgré les faiblesses. Il décrit le danger des Skills non sécurisés et des vecteurs d'attaque, y compris des malwares cachés dans des téléchargements et des backdoors potentielles via des modules du marketplace ClawHub. Pour sécuriser l'usage, il recommande des pratiques comme des environnements isolés, des comptes séparés, et une alternative sécurisée appelée TrustClaw qui gère l'authentification, la portée des accès et l'observabilité.

23 Mar 2026

07:08

about.doordash.com Resume pret HTTP 200

DoorDash Tasks

DoorDash présente Tasks, une nouvelle manière pour les Dashers de gagner selon leurs propres conditions au-delà de la livraison et pour les entreprises d’en savoir plus sur ce qui se passe sur le terrain. Les entreprises veulent savoir ce qui est réellement en rayon ou si l’aménagement d’un site a changé, et elles veulent ces informations à grande échelle et en temps réel. DoorDash a passé plus d’une décennie à résoudre ce type de problèmes, depuis trouver la porte d’entrée à une adresse complexe jusqu’à vérifier l’ouverture d’un commerce lors d’un jour férié, et depuis 2024 les Dashers ont accompli plus de 2 millions de tâches. Tasks permet aux entreprises d’obtenir rapidement ces insights et offre aux Dashers une nouvelle façon de gagner au-delà des livraisons. Les tâches sont des activités courtes que les Dashers peuvent réaliser entre les livraisons ou à leur convenance, et l’initiative est en pilote avec une application autonome dans des lieux sélectionnés aux États‑Unis, à l’exclusion de la Californie, New York City, Seattle et du Colorado.

23 Mar 2026

07:08

arxiv.org Resume pret HTTP 200

Vectorization of Verilog Designs and its Effects on Verification and Synthesis

La vectorisation est présentée comme une optimisation de compilateur qui remplace des opérations sur des valeurs scalaires par une opération sur des valeurs vectorielles. Dans l'écosystème Verilog, elle est peu répandue car Verilog ne garantit pas que le signal vectorisé se comporte comme une entité de mot, même si la notation vectorielle est supportée. Toutefois, la vectorisation apporte des bénéfices en réduisant la complexité symbolique, ce qui aide les outils de vérification formelle à raisonner sur des fonctions booléennes et des transitions d'état. L'article présente un vecteuriseur Verilog construit sur l'infrastructure CIRCT, capable d'identifier des motifs de vectorisation tels que les affectations inversées, les expressions complexes et les assignations inter-modules. Des expérimentations avec des outils EDA montrent que pour Jasper, le vecteuriseur améliore le temps d’élaboration de 28,12 % et réduit la consommation mémoire de 51,30 % sur 1 157 conceptions de ChiBench.

23 Mar 2026

07:08

shkspr.mobi Resume pret HTTP 200

Bored of eating your own dogfood? Try smelling your own farts

Le texte critique une grande entreprise pour son service client décevant malgré un site vantant l'innovation, l'IA et une qualité ISO. Il décrit des pics de volume d'appels et une expérience téléphonique décevante, accompagnée d'une démonstration d'une voix synthétique. Il met en évidence le décalage entre le discours marketing et la réalité de l'expérience client, et demande si les dirigeants utilisent eux-mêmes leurs produits. Le récit oppose ce manque d'attention à une expérience positive avec une petite startup qui a souhaité dialoguer directement lors d'une annulation d'abonnement. Enfin, il appelle à privilégier l'empathie et l'amélioration du parcours client plutôt que de se contenter d'indicateurs internes.

23 Mar 2026

07:08

play.google.com Resume pret HTTP 200

Show HN: Codala, a social network built on scanning barcodes

Codala est une application sociale qui associe chaque code-barres et chaque code QR à une conversation en ligne. En scannant un code, l’utilisateur accède à une salle de chat personnalisée dédiée à ce code. La plateforme permet de lire des avis, de partager des réflexions et de participer à la discussion communautaire. Si aucune salle n’existe pour le code scanné, il est possible d’en créer une et d’y lancer la discussion, ou de discuter en privé via la messagerie. L’outil s’applique à des contextes variés comme les restaurants, les produits d’épicerie, les livres et les événements, ouvrant une nouvelle forme de conversation sociale.