HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11567 articles Page 154/1157 Sans filtre

Performance of WebAssembly Runtimes in 2026

L'auteur a mesuré les performances de libsodium compilé en WebAssembly sur plusieurs runtimes datés de juin 2024, 2025 et 2026 pour évaluer l'évolution réelle des performances. Les résultats montrent que wasmer est le meilleur performeur en 2026 mais WAVM, WAMR et Wasmtime sont proches, WAVM produisant l'optimiseur le plus efficace pour du WebAssembly portable. L'introduction des instructions wide_arithmetic dans WebAssembly apporte des gains significatifs pour le code cryptographique lorsque le runtime les supporte, par exemple Wasmtime passant de 2,41× à 1,46× et Wasmer de 2,08× à 1,33× par rapport au natif. Les évolutions varient selon les projets : Wasmtime a progressé régulièrement, Node s'améliore lentement, Bun a fait un saut important en 2026, Wazero reste stable et WAMR est déjà rapide en mode AOT. Conclusion pratique : le choix du runtime et le support des fonctionnalités WASM (notamment wide_arithmetic) influent fortement sur les performances, donc il faut benchmarker son propre workload.

How Trail of Bits helps verify the integrity of Signal chats

Les chats Signal demandent la clé publique associée au numéro du contact auprès du serveur, et un serveur compromis pourrait fournir une fausse clé permettant à un attaquant d'intercepter les messages. Automatic Key Verification est un mécanisme de « key transparency » qui crée une vue globale cohérente des clés publiques via une carte mondiale et des arbres de Merkle, et le client avertit l'utilisateur si la vérification échoue ou si des clés inattendues sont présentes. Trail of Bits exploite l'un des trois auditeurs indépendants qui vérifient et signent périodiquement les têtes d'arbre de Merkle depuis une implémentation écrite de zéro dont le code est open source et dont la clé publique est publiée. Le client exige des signatures récentes (moins de sept jours) de chacun des trois auditeurs — Signal, Cloudflare et Trail of Bits — ce qui limite à une semaine la durée pendant laquelle un serveur malveillant peut maintenir une vue scindée avant que des avertissements n'apparaissent. La fonctionnalité peut être activée dans Signal (Paramètres > Confidentialité > Avancé) et, en cas d'échec de la vérification automatique, les utilisateurs doivent revenir à la comparaison manuelle des numéros de sécurité ; Trail of Bits indique fournir ce service gratuitement pour le bénéfice des utilisateurs et de la communauté.

Colliding the Sum Checksum (2019)

L'article présente un outil permettant de contrôler la valeur du checksum produit par la commande sum (utilitaire BSD/GNU), qui n'est pas sécurisé cryptographiquement. La sortie de sum consiste en un entier sur 16 bits et un compteur de blocs de 1024 octets, ce qui la rend vulnérable aux collisions par force brute. L'algorithme de sum additionne chaque octet dans un accumulateur 16 bits en appliquant une rotation droite entre chaque addition, opérations qui sont réversibles. L'auteur décrit une approche pratique consistant à insérer des octets modifiables dans un fichier et à utiliser les opérations inverses pour calculer en arrière et atteindre une valeur de checksum désirée. Le outil implémente une attaque meet-in-the-middle qui étend alternativement préfixes et suffixes en cherchant des correspondances dans l'espace de 2^16, avec des options pour restreindre l'alphabet utilisé et des considérations sur le nombre de blocs.

Eating Fruit Skins

L'auteur rapporte avoir appris cet été qu'on peut manger une pomme entière, y compris le trognon. Il explique qu'avant, il ne mangeait que la chair et jetait ce qu'il jugeait dur et inéritable. Après quelques essais hésitants, il a finalement mangé aussi la tige et constaté qu'elle était comestible. Il ajoute que dans sa communauté on considère les queues de fraise comme médicinales et qu'il a appris que la peau du kiwi est aussi comestible. L'article fournit des dates de publication et invite les lecteurs à contacter l'auteur par courriel pour commentaires ou questions.

A Mathematical Framework for Transformer Circuits (2021)

Les auteurs étudient l'interprétabilité mécaniste en tentant de rétroingénierie les transformeurs, en commençant par des modèles simplifiés à attention seule pour identifier des motifs algorithmiques simples susceptibles d'être pertinents pour des modèles plus grands. Ils proposent plusieurs outils conceptuels, notamment de voir le flux résiduel comme un canal de communication permettant des poids virtuels, d'exprimer les têtes d'attention comme opérations indépendantes et additives, et de factoriser chaque tête en circuits QK (requête-clé) et OV (valeur-sortie) via l'astuce d'expansion des chemins. Dans les modèles sans couche la matrice W_UW_E encode essentiellement des statistiques de bigrammes, et dans les modèles à une couche les termes développés décrivent un mélange de bigrammes et de "skip-trigrammes" (A…BC) trouvables directement dans les matrices OV et QK, expliquant de nombreux comportements de copie et un apprentissage basique en contexte. L'ajout d'une seconde couche permet la composition des têtes (composition en Q, K ou V) et donne naissance à des "induction heads" — typiquement via la composition en K — qui repèrent des occurrences antérieures d'un jeton et copient le jeton suivant, produisant un algorithme d'apprentissage en contexte bien plus puissant que la simple copie. Les auteurs montrent qu'on peut détecter et résumer beaucoup de ces mécanismes directement dans les poids, mais précisent que ces résultats restent préliminaires, limités aux petits modèles attention-seuls et qu'il faut encore étendre ces méthodes aux modèles profonds et aux couches MLP pour une compréhension complète.

I fixed a tractor using John Deere's self-repair service. Farmers aren't sold

Je me suis rendu au siège de John Deere à Santa Clara pour tester Operations Center Pro Service et j'ai rétabli en quelques minutes un capteur d'eau dans le carburant grâce aux instructions affichées. John Deere présente Pro Service, lancé en 2025, comme une solution payante (à partir de 195 $ par machine par an ou des forfaits annuels pour exploitations et ateliers) permettant de connecter, diagnostiquer et obtenir pièces et manuels adaptés au numéro de série. L'entreprise a fait l'objet de pressions judiciaires et réglementaires, incluant un accord de 99 millions de dollars et un règlement avec la Federal Trade Commission visant à améliorer la réparabilité, sans reconnaître de faute. De nombreux agriculteurs restent méfiants, utilisent parfois des versions piratées du logiciel et critiquent les limites de Pro Service, comme les délais pour diffuser des correctifs via les plans d'amélioration produits (PIP) et l'absence d'accès au niveau technique le plus poussé. Les défenseurs du droit à la réparation poursuivent leurs revendications en soulignant que l'accès aux réparations pour le matériel agricole est un enjeu plus large de société, et l'article a été mis à jour pour préciser l'état des accords judiciaires.