HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

5965 articles Page 487/597 Sans filtre

07:04

AI and the Ship of Theseus

L’article examine comment la baisse des coûts de création de code permet des réimplementations par IA et entraîne des choix de conception différents même lorsque les fonctionnalités restent similaires. Il mentionne le cas de chardet, réimplémenté par le nouveau mainteneur en se basant sur l’API et sur la suite de tests, avec pour motivation le passage de LGPL à MIT. Le texte met en lumière le débat sur la question de savoir si une IA qui réécrit du code constitue une œuvre dérivée ou une œuvre nouvelle. Il décrit les arguments et les tensions entre copyleft et licences permissives, ainsi que les implications potentielles pour l’émergence de logiciels sous des licences plus ouvertes ou en open source. L’auteur adopte une position favorable à l’ouverture et prévoit d’éventuels combats autour des licences et des enjeux liés à l’IA, tout en reconnaissant les dimensions sociales et juridiques.

07:04

Structured AI (YC F25) Is Hiring

Ce poste associe le jugement d’ingénierie professionnel à une IA de pointe axée produit. En collaboration avec le CTO et le CPO, il s’agit de traduire les systèmes HVAC, les codes du bâtiment et la coordination MEP en agents IA autonomes. La mission vise à assurer une précision de niveau professionnel tout en atténuant les risques pour les grands cabinets d’ingénierie. Les responsabilités couvrent l’encodage de l’expertise, la co-conception produit, la livraison stratégique et l’élargissement des systèmes pour des vérifications automatisées. Le profil recherché est un veteran de l’industrie avec au moins 2 ans d’expérience en construction ou MEP et une expérience QA/QC, doté d’une pensée systémique et d’un esprit hacker, avec des atouts en coordination pluridisciplinaire ou IA/ML; le poste offre un visa CPT éligible et une rémunération de 80 000 à 85 000 dollars, avec une option de consulting.

07:04

Show HN: Jido 2.0, Elixir Agent Framework

Après dix-huit mois de développement, Jido 2.0 a été expédié et est désormais disponible sur Hex. Jido est né comme BotHive en 2024 et le BEAM est présenté comme le runtime idéal pour les systèmes d’agents. La version 2.0 propose des API plus simples et une architecture d’agents purement fonctionnelle où l’agent est une donnée et où les effets secondaires sont décrits comme des directives. L’exécution se fait via Jido.AgentServer, qui enveloppe chaque agent dans un GenServer supervisé avec routing des signaux, exécution des directives et hiérarchies parent–enfant. L’écosystème s’étoffe autour de Jido avec le support Ash, l’intégration ReqLLM et divers outils, et il est possible d’en savoir plus sur jido.run/ecosystem.

07:03

Data Does Not Speak to You

L'essai soutient que l'enquête empirique est inévitablement conditionnée par la formation intellectuelle du chercheur, et que les données ne parlent pas sans l'interprétation préexistante qu'impose cette formation. À partir de l'étude de la fécondité, il montre que les cadres économiques et sociologiques, fondés sur l'optimisation et l'autonomie individuelle, éclairent les faits de manière contradictoire selon la formation qui les anime. L'auteur décrit le cercle herméneutique selon lequel toute lecture des données est guidée par une précompréhension qui détermine ce qui compte comme explication. Il avance que le cadre d'optimisation ne révèle pas seulement des choix économiques mais conditionne aussi ce qui peut être connu, rendant invisibles les questions posées par des formations rivales. En fin de compte, il affirme que les prédictions et les jugements éthiques dépendent de la formation du lecteur, invitant à reconnaître la dimension constitutive des cadres plutôt que d'aspirer à une objectivité déliée de tout contexte.

07:03

Remotely unlocking an encrypted hard disk

Le texte explore une approche consistant à intervenir dès le démarrage du système en injectant des services réseau et d’accès à distance dans l’initramfs. Le plan prévoit que tailscale et un serveur SSH fonctionnent dans l’initramfs pour permettre une prise en main précoce du système. Des contraintes de sécurité sont abordées, notamment la gestion des clés, leur expiration et la nécessité de limiter les accès SSH à l’étape de déverrouillage. Les étapes techniques décrites incluent l’installation des paquets nécessaires, la modification des hooks mkinitcpio, la configuration réseau et la génération de clés, puis la reconstruction de l’initramfs. La conclusion rappelle qu’il faut évaluer les risques et évoque une morale controversée sur l’utilisation de la violence, en insistant sur les aspects éthiques et sécuritaires.

07:03

Hardware hotplug events on Linux, the gory details

Cet essai explique comment détecter l’insertion et le retrait d’un périphérique USB sous Linux, soit via libusb, soit via udev. Il présente deux backends hotplug de libusb, linux_netink.c et linux_udev.c, et recommande l’utilisation d’udev par défaut avec --with-udev=yes. Le mécanisme est que le noyau envoie des événements via netlink à udev, qui les traite puis les republie, et que l’on peut écouter ces événements rebroadcastés en s’abonnant au groupe MONITOR_GROUP_KERNEL ou MONITOR_GROUP_UDEV selon le mode. Le format des paquets udev est versionné autour de 0xfeedcafe et comporte un en-tête, des propriétés, des hashes et une Bloom filter, avec des messages kernel affichés comme des paires clé=valeur. Enfin, des considérations de sécurité précisent que les messages netlink portent les credentials et que les messages kernel ont des identifiants nuls; libudev peut utiliser ces informations pour des filtres et des vérifications.

07:03

A ternary plot of citrus geneology

Presque tous les agrumes sont des hybrides issus de trois espèces originelles, et leur généalogie se prête mieux à un réseau complexe qu’à un arbre. Le diagramme ternaire assigne un coin à chaque espèce originelle et montre qu’un fruit plus proche d’un coin a une proportion plus élevée de cette espèce. Les espèces originelles se seraient différenciées il y a plus de cinq millions d’années lors d’un événement climatique, donnant naissance à ces espèces centrales et à d’autres comme les kumquats et kaffir limes. L’expansion humaine et la domestication ont intensément amalgamé ces lignées, expliquant pourquoi certains groupes se chevauchent plutôt que de constituer des branches isolées. Le diagramme n’est pas une chronologie; il révèle des motifs gustatifs et historiques qui guident les variétés visibles sur le marché et montre une direction cachée dans des données autrement sans orientation.