HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

7000 articles Page 377/700 Sans filtre

06:03

Quantum Computers Are Not a Threat to 128-Bit Symmetric Keys

L'émergence d'ordinateurs quantiques menaçants rend urgente la migration des primitives asymétriques (échange de clés et signatures) mais n'affecte pas les algorithmes symétriques existants comme AES et SHA. La croyance répandue selon laquelle les ordinateurs quantiques réduiraient de moitié la sécurité des clés symétriques à cause de l'algorithme de Grover est inexacte car Grover exige une exécution sérielle longue et sa parallélisation dégrade l'accélération quadratique. Des estimations détaillées et des calculs de profondeur×largeur montrent que lancer une attaque de Grover contre AES‑128 exigerait des ressources astronomiques et resterait bien plus coûteux que les attaques de Shor contre les courbes elliptiques. Les organismes de normalisation tels que le NIST et le BSI confirment qu'AES‑128 et SHA‑256 restent sûrs face aux attaques quantiques connues et que les tailles de clés symétriques n'ont pas à changer pour la transition post‑quantique. Pour éviter des efforts inutiles et détourner des ressources, il est recommandé de ne pas modifier les systèmes symétriques en place et de concentrer la transition sur les primitives asymétriques vulnérables.

06:03

ggsql: A Grammar of Graphics for SQL

Le projet annonce la sortie alpha d'un outil qui implémente la grammaire des graphiques avec une syntaxe SQL et s'intègre à des environnements comme Quarto, Jupyter et VS Code. La syntaxe sépare une requête SQL classique et une requête de visualisation à partir de la clause VISUALIZE, permettant de mapper des colonnes vers des esthétiques puis d'ajouter des couches via DRAW et des annotations via PLACE. L'exécution calcule les statistiques par couche côté backend, évitant de matérialiser l'ensemble des données et permettant de visualiser efficacement de très grands jeux de données. L'outil cible les utilisateurs principalement SQL, facilite l'automatisation et l'intégration avec des modèles de langage, et fonctionne sans dépendances R ou Python pour simplifier l'intégration et le sandboxing. Les auteurs prévoient d'ajouter un moteur en Rust, theming, interactivité, un langage serveur et support spatial, tout en continuant à entretenir les bibliothèques historiques.

06:03

Soul Player C64 – A real transformer running on a 1 MHz Commodore 64

Un transformeur decoder-only de deux couches a été implémenté en assembleur 6502/6510 et fonctionne sur un Commodore 64 non modifié avec environ 25 000 paramètres int8. L'architecture utilise des embeddings de 32 dimensions, 4 têtes d'attention × 8 dimensions, 64 unités FFN, RMSNorm et un softmax par table LUT qui nécessite une normalisation des scores par décalage de 14 bits pour être fiable. Le programme tient sur une disquette, se lance dans un émulateur (VICE) ou sur matériel réel, et génère environ un token toutes les ~60 secondes avec des bips SID pour chaque token. Le dépôt fournit des scripts pour entraîner en quantization-aware training (BPE 128 tokens, label smoothing), exporter les poids int8, assembler le binaire 6502, exécuter des tests et discuter localement avec le modèle. Ceci reste une démonstration technique limitée : le modèle est très petit et lent, produit souvent des phrases imparfaites, accepte principalement minuscules et dispose d'un vocabulaire et d'un contexte restreints.

06:02

Ternary Bonsai: Top Intelligence at 1.58 Bits

PrismML annonce Ternary Bonsai, une famille de modèles de langage utilisant une représentation ternaire 1,58 bit qui contraint chaque poids à {-1, 0, +1} et applique une quantification groupée avec un facteur d'échelle FP16 partagé par groupe de 128 poids. Les modèles sont disponibles en variantes 8B, 4B et 1,7B paramètres, utilisent la même représentation 1,58 bit pour toutes les composantes du réseau sans échappatoires en précision supérieure, et atteignent une empreinte mémoire environ 9 fois plus petite que les modèles 16 bits standard. Sur les benchmarks, le modèle 8B de Ternary Bonsai obtient un score moyen de 75,5 (1,75 Go) contre 70,5 pour le 1-bit Bonsai 8B (1,15 Go), dépassant la plupart de ses homologues de même classe de paramètres et n'étant devancé que par Qwen3 8B (16,38 Go), avec des résultats compétitifs sur MMLU Redux, MuSR, GSM8K, HumanEval+, IFEval et BFCLv3. En pratique, les modèles offrent un débit et une efficacité énergétique élevés, par exemple 82 toks/s sur M4 Pro et 27 toks/s sur iPhone 17 Pro Max, avec une consommation d'environ 0,105 mWh/tok sur M4 Pro et 0,132 mWh/tok sur iPhone, soit une efficacité énergétique 3-4× supérieure aux équivalents 16 bits. Les poids sont disponibles sous licence Apache 2.0 et les modèles s'exécutent nativement sur les appareils Apple via MLX, les détails techniques et les protocoles d'évaluation étant publiés dans un livre blanc, et PrismML indique son origine académique ainsi que des opportunités de recrutement.

06:02

Kimi vendor verifier – verify accuracy of inference providers

L'équipe a open-sourcé un outil de vérification destiné à valider l'exactitude des implémentations d'inférence pour les modèles open source. La motivation provient d'anomalies récurrentes dans les scores de benchmarks causées notamment par un mauvais réglage des paramètres de décodage et par des divergences entre infrastructures. Le projet propose une batterie de six benchmarks critiques (pré-vérification, OCRBench, MMMU Pro, AIME2025, K2VV ToolCall et SWE-Bench) pour détecter des défaillances spécifiques en pipeline multimodal, prétraitement visuel, sorties longues, appels d'outils et comportements d'agents. Ils travaillent avec les communautés vLLM, SGLang et KTransformers, offrent une validation pré-release et maintiendront un classement public des résultats fournisseurs pour encourager la transparence. La validation complète a été réalisée sur deux serveurs NVIDIA H20 8-GPU en environ 15 heures séquentielles, et l'équipe invite d'autres fournisseurs à participer et à contacter [email protected].

06:02

How a subsea cable is repaired

Les câbles sous-marins de données sont constitués de fibres optiques fines protégées par plusieurs couches, tandis que les câbles électriques sont beaucoup plus épais et peuvent être en courant alternatif ou continu selon la distance et la puissance. Les pannes sont surtout causées par des activités humaines comme le chalutage et les ancres, mais peuvent aussi résulter de séismes ou d'incidents rares comme des morsures d'animaux, les défaillances internes restant exceptionnelles. La localisation des bris se fait par des tests optiques pour les fibres ou par des instruments et ROV pour les câbles électriques, puis des navires câbliers à positionnement dynamique remontent les extrémités et remplacent les tronçons, parfois à l'aide d'un grappin en grande profondeur. Des protections physiques (enrobage métallique, enfouissement), la fourniture de cartes aux pêcheurs et des régulations limitent les risques, et des techniques de réparation in situ sont en cours de développement pour les câbles d'énergie. Ces câbles sont stratégiques car ils transportent environ 95 % du trafic mondial de données et des débits très élevés, mais des interruptions majeures peuvent survenir en l'absence de redondance, notamment pour des infrastructures critiques comme les parcs éoliens.

06:01

Jujutsu megamerges for fun and profit

Cet article explique le workflow dit "megamerge" dans Jujutsu et s'adresse aux utilisateurs intermédiaires de Jujutsu ainsi qu'aux utilisateurs de Git curieux. Le megamerge consiste à créer un commit de fusion octopus qui a pour parents toutes les branches de travail pertinentes afin de travailler en permanence sur la somme combinée de ces travaux sans pousser ce commit lui‑même. Ce workflow permet de vérifier localement que toutes les modifications fonctionnent ensemble, réduit les conflits surprises, facilite le changement de contexte et la création de petites PRs, et simplifie la synchronisation avec la branche principale. La mise en œuvre s'appuie sur commandes Jujutsu telles que jj new et jj commit pour créer le megamerge, jj absorb et jj squash (--interactive) pour intégrer les changements existants, jj rebase et jj bookmark pour réorganiser des commits, et des alias pratiques (stack, stage, restack) pour empiler et restacker automatiquement des révisions. Le megamerge n'est pas destiné à être publié tel quel mais sert de vue ergonomique pour gérer des flux multiples, et bien qu'il puisse dérouter certains utilisateurs, il facilite le travail simultané sur de nombreux changements.