HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

5872 articles Page 52/588 Sans filtre

06:09

External Clock Generation on RTX 50 Series

L'article retrace l'évolution de l'overclocking, expliquant que les contrôles logiciels et la modification de vBIOS ont été progressivement limités, réduisant les possibilités d'ajustement des fréquences mémoire et d'interconnexion sur les GPU modernes. Les auteurs ont testé l'utilisation d'un générateur d'horloge externe (Elmor ECB) pour contourner les limites imposées par NVIDIA et tenter d'augmenter simultanément la fréquence de la VRAM et du crossbar (xBAR) sur des RTX 5090. Ils ont rencontré des difficultés d'intégrité de signal et d'interaction avec le PLL interne, qui attend une entrée sinusoïdale d'environ 1,15 Vpp, et ont obtenu une solution pragmatique en réglant l'ECB à 1800 mV avec une résistance série de 20 ohm et une force d'entraînement minimale, produisant environ 1,2 Vpp en circuit. Les essais ont permis d'atteindre des gains substantiels, avec l'équivalent d'un +5467 sur le réglage mémoire et un xBAR proche de 2920 MHz, entraînant des augmentations de score notables (par exemple +1500 points sur Port Royal dans des conditions optimisées). Le mod est encore expérimental et fragile, présente des risques de dommages matériels, nécessite des soudures fines, un routage de câbles court et soigné, un écran HDMI acceptant des signaux hors plage et peut se comporter différemment selon la carte mère.

06:09

Under Notre Dame, a 'dig of the century' unearths 1,700 years of history

Une fouille archéologique dans le parvis de Notre-Dame met au jour jusqu'à quatre mètres de couches historiques couvrant deux millénaires. Les équipes ont retrouvé des quartiers romains denses, des fosses à grains mérovingiennes et carolingiennes ainsi que des celliers médiévaux. Parmi les objets exhumés figurent une pièce du IVe siècle à l'effigie de Constantin et des tessons médiévaux ornés d'inscriptions rouges encore indéchiffrées. Les vestiges sont transférés au centre d'archéologie de la ville pour conservation et datation, la fouille étant nécessaire avant les travaux d'aménagement du parvis. La municipalité prévoit un square ombragé avec 160 arbres et un système de refroidissement d'ici 2028, tandis que les archéologues espèrent creuser plus profond pour atteindre des traces gauloises.

06:09

Semantic reification: how to generate UB-free code with arbitrary control flow?

Ce générateur aléatoire de programmes, fondé sur la réification sémantique, produit des fonctions et programmes C garantis sans comportements indéfinis. Il a permis de découvrir et signaler 59 bogues dans GCC et LLVM, ce qui le rend adapté au test des compilateurs C et de machines virtuelles. Le support actuel couvre i32, tableaux i32 et structs i32, et l'outil est en cours d'extension vers d'autres types primitifs et agrégats, ainsi qu'en expérimentation pour générer du bytecode Java et eBPF. Les expérimentations ont déjà révélé un bogue JIT dans OpenJ9 et deux bogues dans le runtime eBPF de Linux, et une réimplémentation basée sur Symlang (un SymIR complet) ajoute des fonctionnalités comme pointeurs, vecteurs et intrinsics. Un ensemble de scripts et binaires permet de générer fonctions feuilles et programmes complets, d'exécuter des campagnes de fuzzing contre GCC/Clang et JVM, et le projet est distribué sous licence MIT avec instructions de démarrage rapide et citation académique.

06:08

3D-printed book turns its own G-code into raised lettering

Un livre entièrement imprimé en 3D par Studio Darius Ou et Benson Chong est fabriqué en une seule séquence d'impression qui produit simultanément pages, reliure et marques en relief. La technique XY-for-Z permet d'imprimer l'objet dans un état déjà relié en déplaçant la tête d'impression verticalement et horizontalement plutôt que couche par couche du bas vers le haut. Des marques en relief sur les pages reproduisent partiellement du G-code, de sorte que l'ouvrage contient des fragments des instructions utilisées pour le fabriquer, ce qui représente environ 2,5 % du code total dans la première version. Le travail s'inscrit dans l'histoire des projets de réplication comme RepRap et propose le concept de « r-book », un livre réplicable qui peut voyager comme fichier numérique puis se matérialiser ailleurs. En exposant l'écart entre instructions et construction, le livre met en évidence les limites matérielles de la résolution d'impression et interroge comment le contenu et la forme d'un objet peuvent être transmis et reconstruits.

06:08

Sum-product, unit distances, and number fields

L'auteur présente sa lecture personnelle des récents contre-exemples aux conjectures de la distance unité et somme-produit sur les réels et propose d'en esquisser les constructions et l'intuition sous-jacente. La stratégie clé consiste à obtenir d'abord un gain constant via des constructions élémentaires (progressions arithmético-géométriques et unités d'anneaux d'entiers) puis à amplifier ce gain en prenant des corps de nombres de degré d→∞ pour fabriquer des ensembles arbitrairement grands. Un rappel d'arithmétique algébrique explique que l'anneau des entiers O_K et le groupe des unités s'implantent comme réseaux dans R^d (via l'application de Minkowski et la logarithme) et que leurs covolumes sont contrôlés par le discriminant et le régulateur. En combinant des boules additives B^+(X) et multiplicatives B^×(Y) dans des corps totalement réels et en utilisant des unités satisfaisant uū=1 dans des extensions K(i), on construit respectivement des contre-exemples pour la conjecture somme-produit et pour la question des distances unitaires, à condition d'exhiber des tours de corps de nombres au discriminant contrôlé (résultats obtenus via Golod-Shafarevich/Martinet). L'article souligne que ces contre-exemples résident dans des corps de nombres de degré croissant plutôt que dans Z, que l'existence des tours nécessaires repose sur des résultats classiques de théorie des nombres, et commente le rôle de l'IA et des démarches humaines dans la découverte de ces idées.

06:08

Ian's Secure Shoelace Knot

Il s'agit d'un nœud de lacet symétrique et sécurisé conçu pour ne pas se défaire de lui-même. On commence par un nœud de départ gauche-sur-droite, on forme deux boucles, on croise et on enroule une boucle autour de l'autre avant de faire passer les deux extrémités par le trou central et de serrer. Le nœud fini présente un serrage net avec une double enveloppe centrale symétrique, contrairement à la simple enveloppe des nœuds plus simples. Des essais montrent qu'il nécessite environ deux fois plus de tension pour se défaire que des nœuds de lacet courants, ce qui le rend utile pour les lacets ronds et glissants et pour les activités très actives. Si le nœud sort de travers ou asymétrique, cela provient souvent d'un nœud de départ inversé ou d'un mauvais réarrangement des lacets, et des pages techniques et de retour d'expérience sont proposées pour plus de détails.

06:08

Meta's ships facial recognition on smart glasses

L'application Stella de Meta contient, dans la version Android 273.0.0.21, une pile complète pour la reconnaissance faciale sur l'appareil comprenant détection, alignement, empreinte biométrique et indexation. Trois modèles ExecuTorch sont embarqués (SCRFD pour la détection, KPSAligner pour l'alignement et SFace pour générer un embedding de 2048 valeurs) pour environ 100 Mo de poids total. Le système utilise un index vectoriel sqlite-vec de dimension 2048 avec similarité cosinus et une base person/face, et les visages non reconnus sont enregistrés dans NameTagsPending sous la forme d'un fichier .jpg et d'un .emb float32. L'auteur a pu exécuter le pipeline de bout en bout sur une image de test, générer la notification Android via le canal nametags_recognition et vérifier que la notification mène à un deep link dont l'écran cible manque dans ce build. L'ensemble est fonctionnel et cohérent mais l'auteur n'a pas observé d'alimentation côté serveur ni d'interface visible pour des comptes non enrôlés, de sorte que l'activation en production dépend de décisions de Meta.

06:07

Meta Silently Added Face-Recognition for Its Smart Glasses to Phones

Un code intégré discrètement dans l'application compagnon Meta AI, téléchargée plus de 50 millions de fois, contient un système interne appelé NameTag destiné à la reconnaissance faciale pour les lunettes connectées. Les mises à jour déployées cette année ont ajouté trois modèles (détection, recadrage, encodage) qui transforment les visages capturés en empreintes biométriques stockées sur le téléphone et pouvant être mises à jour depuis les serveurs de Meta. Bien que la fonction ne soit pas encore activée pour les utilisateurs, des chercheurs indépendants ont reproduit la chaîne de traitement et montré que l'application pouvait reconnaître des visages après l'ajout d'une empreinte dans la galerie. Le projet relance une technologie que Meta avait annoncée comme supprimée en 2021 après des litiges et des amendes, et suscite l'opposition d'organisations de défense de la vie privée qui mettent en garde contre les usages abusifs. Meta affirme n'avoir pris aucune décision finale et ne pas construire de base centrale, mais les détails sur qui serait identifiable, comment les profils seraient créés et si le recours serait réellement volontaire restent flous.