HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

7791 articles Page 1/780 Sans filtre

06:08

DskDitto: Ultra-fast, parallel duplicate-file detector

Cet outil scanne rapidement les disques en parallèle pour détecter les fichiers dupliqués et propose une interface TUI interactive par défaut. Une interface graphique expérimentale est disponible en option et le binaire se compile depuis la source avec Go 1.22+, en activant le tag gui pour inclure Raylib. Les suppressions sont sûres et explicites : par défaut rien n’est modifié, et l’on peut supprimer des doublons ou les remplacer par des liens symboliques avec confirmations interactives. De nombreux filtres et modes permettent de restreindre les scans (taille, profondeur, fichiers cachés, exclure chemins, scanner un seul fichier, groupage par nom, ou recherche floue), et le hachage peut utiliser SHA-256 ou BLAKE3. Les résultats s’exportent en CSV/JSON/texte, l’outil gère intelligemment les hard links sur Unix pour éviter les faux positifs et propose des options de profilage, de concurrence et d’exclusion pour optimiser les analyses.

06:08

Foxconn drops VMware, adopts hyperconverged upstart Arcrfra

Foxconn a adopté la plateforme Neutree d'Arcfra pour la virtualisation GPU et pour remplacer VMware dans certains sites distants afin de moderniser son infrastructure distribuée et la livraison de modèles d'IA. Arcfra a ajouté la virtualisation GPU native et des capacités de gouvernance des modèles à Neutree, que Foxconn utilise pour l'intranet, la gestion de production, l'ERP, les environnements DevTest et les postes de travail virtuels. Broadcom et Samsung ont signé un accord stratégique portant sur la fourniture de mémoire HBM et l'accès aux technologies de fabrication 2 nm et aux emballages avancés pour soutenir les futurs accélérateurs et produits d'IA. Infosys a nommé Ashiss Kumar Dash comme futur directeur général à compter du 1er avril 2027 dans le cadre d'une passation ordonnée, après une révision à la baisse de ses prévisions de croissance. Les autorités indiennes ont ordonné le retrait de l'application pair-à-pair BitChat sur GitHub, tandis que la Chine a infligé une amende de 770 millions de dollars au groupe Trip.com pour des pratiques commerciales jugées monopolistiques.

06:08

Systemd Linger

Systemd propose une option KillUserProcesses, configurable dans /etc/systemd/logind.conf, qui peut tuer les processus d'un utilisateur à la déconnexion et permettre des exceptions pour certains comptes. La fonctionnalité a été controversée car elle affectait initialement des processus comme screen/tmux/nohup, mais Debian laisse par défaut les processus actifs et on peut utiliser une unité systemd pour protéger des programmes contre la terminaison. Activer la suppression des processus utilisateur s'est avéré utile dans certains cas pratiques, par exemple pour résoudre des services KDE qui persistaient après déconnexion sans nécessiter de redémarrage. La fonctionnalité linger, manipulable avec loginctl enable-linger/disable-linger (et pour d'autres comptes en root), permet de lancer des programmes dans le contexte utilisateur avant la connexion et n'est généralement pas nécessaire pour que screen/tmux fonctionne. Sur Debian, linger permet notamment de démarrer le réseau et des services comme PipeWire ou Bluetooth au démarrage facilitant l'accès SSH, et la présence de linger pour un compte se vérifie essentiellement via /var/lib/systemd/linger.

06:08

Jacobian Conjecture for Baby

L'article explique pas à pas, sans présupposés, la conjecture jacobienne et les notions élémentaires qui la sous-tendent. Il définit les applications polynomiales, l'inversibilité (absence de collisions et de lacunes) et le jacobien comme facteur local d'aire obtenu en zoomant, et illustre comment des empilements de cisaillements préservent l'inversibilité tandis que plis et écrasements la détruisent. Trois obstacles historiques ont rendu la conjecture difficile à démontrer: des contre-exemples sur les réels (Pinchuk), des phénomènes en caractéristique p qui invalident les arguments purement algébriques, et des fuites vers l'infini qui empêchent de passer du local au global. En juillet 2026, Levent Alpöge, avec l'assistance du modèle Claude Fable, a annoncé un contre-exemple explicite en trois variables: une application polynomiale dont le déterminant jacobien vaut constamment −2 mais qui envoie trois points distincts sur la même image, vérifiable algébriquement. La conclusion est que la conjecture jacobienne est fausse en dimension trois et supérieures tandis que le cas initial en dimension deux reste ouvert, avec toutes les vérifications disponibles dans le dépôt compagnon.

06:07

Wattage: A token-spend profiler and cost-regression gate for AI agents

Cet outil analyse des traces OpenTelemetry GenAI en local et facture chaque appel en dollars selon un instantané de tarification daté. Il exécute plusieurs détecteurs (préfixe réexpédié au lieu d'être mis en cache, lacunes de cache, verbosité excessive, appels d'outil redondants, non-convergence, rebond de récupération, inadéquation de modèle et surdépense de raisonnement) et propose pour chaque constatation un correctif concret et une estimation monétaire. Le moteur de convergence intègre un détecteur de non-convergence qui repère les boucles et oscillations subtiles qu'un simple comparateur exact ne voit pas, et a obtenu 1,00 de précision, rappel et score F1 sur un jeu d'épreuves synthétiques validées. Les sorties incluent une vue terminale, un graphique de flammes HTML partageable, un badge chiffré pour le README et une intégration CI capable d'échouer les builds en cas de régression de coût ou de score. Le projet est extensible via des points d'entrée Python pour ajouter des détecteurs, fournit une méthodologie et des tests reproduisables, et est publié sous licence Apache-2.0.

06:07

Visualizing the Artemis II Mission

L'auteur s'est inspiré du projet de Hank Green pour recréer une visualisation des photos de la mission et découvrir Foxglove. Les trajectoires proviennent de l'API JPL Horizons et les photos et métadonnées de l'Artemis-Timeline de Hank Green, réunies et synchronisées en un fichier MCAP par des scripts Python. La scène 3D intègre le modèle AROW d'Orion récupéré via l'artemis-viewer d'Ian Dees afin de représenter le vaisseau avec ses panneaux solaires déployés et suivre sa trajectoire en espace inertiel. L'interface a été organisée en onglets séparant l'affichage visuel (3D et photos) des données chiffrées, et une extension "photo stepper" permet de naviguer dans les photos tout en synchronisant la timeline entre toutes les vues. Le projet complet — scripts, modèles URDF, fichier .mcap, mise en page Foxglove et extension — est disponible sur GitHub avec des instructions pour le construire et l'adapter à d'autres missions.

06:07

Sand battery: Finland's answer to a renewable energy headache

Une petite commune du sud de la Finlande, Pornainen, a mis en service la plus grande batterie industrielle à sable commerciale, un silo de 13 mètres sur 15 mètres contenant 2 000 tonnes de stéatite broyée capable de stocker 100 MWh de chaleur. L'installation, développée par Polar Night Energy et commandée par Loviisan Lämpö, peut couvrir près d'un mois de besoins de chauffage en été et environ une semaine en hiver pour les 5 000 habitants, tout en réduisant les émissions de gaz à effet de serre du réseau d'environ 70 % et l'utilisation de plaquettes de bois d'environ 60 %. Le système fonctionne en utilisant l'électricité renouvelable excédentaire pour chauffer le sable à haute température dans un silo fortement isolé, puis restitue la chaleur via des échangeurs pour le réseau de chauffage urbain, permettant d'acheter de l'électricité quand elle est bon marché et de la consommer thermiquement quand la demande augmente. Parmi les points positifs, on note l'absence de matériaux critiques comme les terres rares et la capacité de stockage de longue durée (jours voire semaines), ce qui suscite l'intérêt international, notamment dans des régions dépendantes des combustibles fossiles. Des limites subsistent, notamment une densité énergétique plus faible que les batteries chimiques et une efficacité limitée pour reconvertir la chaleur en électricité, ce qui complique l'extension à grande échelle.

06:07

The US is charging an American citizen for wiping his phone at the border

GrapheneOS propose un code de duress et un mot de passe qui effacent irréversiblement un appareil lorsqu'ils sont saisis, empêchant ainsi l'accès aux données stockées. Samuel Tunick, militant d'Atlanta lié au mouvement Defend the Atlanta Forest, est poursuivi au niveau fédéral pour avoir, selon l'acte d'accusation, détruit le contenu numérique d'un téléphone Pixel lors d'une fouille, en violation de 18 U.S.C. § 2232(a). Ses avocats demandent l'exclusion des éléments de preuve en invoquant la doctrine du fruit de l'arbre empoisonnée et soutiennent qu'il était en garde à vue sans avoir été informé de ses droits Miranda ni avoir pu consulter un avocat malgré des demandes. Des experts en vie privée et des militants ont exprimé des inquiétudes quant au précédent juridique que pourrait créer cette affaire et au risque d'entraver des outils de protection des données face à des perquisitions contestées. Tunick nie officiellement avoir utilisé la fonction de purge, l'affaire est en cours et les circonstances factuelles et procédurales, notamment la chronologie des événements, font l'objet de contestations.