HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 449/1208 Sans filtre

Intel Starts Shipping High-NA EUV Silicon

Intel a installé le premier scanner EUV High-NA d'ASML dans son site D1X en 2024 et a annoncé le 15 juillet 2026 que des couches High-NA étaient passées en production de volume sur certains processeurs Panther Lake. Le High-NA élève la numerical aperture de 0,33 à 0,55, ce qui permet de résoudre des détails plus fins et d'imprimer en une seule exposition des motifs qui nécessiteraient auparavant deux ou trois expositions Low-NA. Cette avancée s'accompagne de défis économiques et techniques : un coût d'outil très élevé (environ 380 millions de dollars), un champ d'image réduit imposant des opérations de stitching, et des questions de débit et de dose qui influencent le coût par wafer. Malgré les réserves, ASML a reçu plusieurs commandes (Intel, SK hynix, Samsung, IBM/NY) et a amélioré les modèles de production comme l'EXE:5200B annonçant environ 175 wafers par heure, avec un objectif de production annuel croissant vers une vingtaine d'unités. Intel a dual-qualifié ces couches sur le nœud 18A pour limiter le risque, a confirmé que des notebooks destinés aux clients contiennent des couches imprimées en High-NA, et proposera High-NA en option aux clients externes sur 14A.

morethanmoore.substack.com Resume pret HTTP 200 Commentaires

Protecting our FLOSS commons from LLMs

Les membres de Codeberg e. V. ont voté et adopté deux motions affirmant que la plateforme n'utilisera pas les données des utilisateurs ou des projets pour entraîner des LLM et qu'un changement des Conditions d'utilisation visera les projets "vibe-coded". L'association estime que les LLM entraînent des coûts financiers et environnementaux importants, provoquent des tensions matérielles et des surcharges d'infrastructure causées notamment par des crawlers agressifs. Elle considère que l'utilisation généralisée des LLM fragilise la collaboration et la confiance dans l'écosystème libre en générant du code à usage unique non maintenu, en alourdissant le travail des mainteneurs et en posant des problèmes de licences. La mise en œuvre des nouvelles règles se fera au cas par cas sans suppression massive de contenus, en privilégiant les projets qui disposent d'une communauté active, d'un historique antérieur aux LLM ou qui ont accepté des contributions LLM sans dépendre massivement d'eux. En revanche, les projets créés ou maintenus principalement par des LLM, pilotés par des agents autonomes, fortement liés à l'écosystème LLM ou consommant des ressources disproportionnées pourraient être découragés ou ne plus être les bienvenus, et les détails figurent dans la modification des Conditions d'utilisation.

blog.codeberg.org Resume pret HTTP 200 Commentaires

MemoryPack: Zero encoding extreme performance binary serializer for C#

MemoryPack est un sérialiseur binaire C# hautes performances conçu pour .NET 7 et Unity, basé sur un format zero-encoding optimisé pour copier un maximum de mémoire C# et généré par Source Generator en C# 11. Dans des mesures sur .NET 7 avec Ryzen 9 5950X, MemoryPack est jusqu'à 10x plus rapide sur objets standards et 50–200x plus rapide sur tableaux de structs que System.Text.Json, protobuf-net, MessagePack et autres. Il fournit une génération de code sans réflexion, supporte IBufferWriter/ReadOnlySpan/ReadOnlySequence, la sérialisation vers/depuis Stream et Pipe, le polymorphisme (Union), la tolérance aux versions, les références circulaires, la désérialisation par écrasement et des options de compression et de pooling. L’utilisation passe par l’attribut [MemoryPackable] et les API MemoryPackSerializer.Serialize/Deserialize, avec des formatters auto-générés, et des extensions pour TypeScript, ASP.NET Core et le streaming. Limitations notables : .NET 7 recommandé pour les meilleures performances, incompatibilités entre netstandard2.1 et net7.0, contraintes et différences d’interopérabilité en Unity (IL2CPP, LayoutKind.Auto) et un problème connu avec Native AOT sur .NET 7.

github.com Resume pret HTTP 200 Commentaires

10 REM"_(C2SLFF4

L'enquête porte sur une ligne REM étrange du listing BASIC de The Wizard's Castle et montre qu'elle contient en fait des octets non-ASCII interprétables comme du code machine. Le listing effectue des POKE aux adresses 260 et 261 pour définir la cible d'USR(), qui saute à l'adresse 474 correspondant au texte REM tokenisé en RAM, appelant ainsi le code Z80 contenu dans le commentaire. La routine assembleur lit le registre R dans A, boucle si la valeur est zéro, écrit A à l'adresse vidéo 0xF7FF (coin inférieur droit) puis retourne, permettant de capturer une valeur temporelle pour initialiser le générateur pseudo-aléatoire. Comme le registre R n'offre que 7 bits utiles (127 valeurs non nulles), le nombre de graines distinctes était limité, et les glyphes étranges du listing s'expliquent par l'utilisation de tokens BASIC (valeurs ≥ 0x80) et de touches Graphic/Shift plutôt que d'ASCII standard. Les auteurs ont confirmé ces éléments en examinant des images de bande et la mémoire via des émulateurs, et concluent que l'auteur original a probablement POKEd le code ou utilisé des entrées spéciales pour publier ces octets non imprimables.

beej.us Resume pret HTTP 200 Commentaires

Introduction to Formal Verification with Lean Part 1

La vérification formelle consiste à écrire des preuves mathématiques en code pour qu'un assistant comme Lean les vérifie automatiquement, et ce tutoriel vise à initier des ingénieurs en cryptographie à cet usage en se concentrant sur Lean. Le tutoriel présente les bases de Lean 4, définit les bitstrings comme Vector (ZMod 2) L et l'opération xor par Vector.zipWith utilisant l'addition modulo 2. Il guide ensuite la formalisation et la démonstration des propriétés de xor — commutativité, associativité, élément neutre et auto‑inverse — en montrant des preuves tactiques avec des outils comme Vector.ext et simp. Ensuite est définie la structure ShannonCipher (enc, dec, correctness) et l'on montre que l'One‑Time Pad, avec enc et dec par xor, satisfait la propriété de correction grâce aux lemmes précédents. Le texte renvoie à des ressources pédagogiques (notamment Boneh et Shoup et plusieurs guides Lean), évoque des applications récentes en blockchain et rappelle les limites pratiques de la vérification formelle liées à la modélisation et à la chaîne de compilation.

hashcloak.com Resume pret HTTP 200 Commentaires

I Inspected My Take-Home Interview Project. It Was a Whole Operation

Un recruteur a contacté l'auteur sur LinkedIn pour un poste Python très bien payé et a envoyé un dossier d'évaluation sous forme d'archive Google Drive. Le dépôt fourni contenait des hooks Git cachés, dont un script pre-commit qui téléchargeait et exécutait silencieusement un payload distant en fonction d'un identifiant. Le second stade installait des dépendances Node et exécutait un parser.js fortement obfusqué, tandis que package.json révélait des modules suspects comme clipboardy et hardhat. Des variantes de la campagne utilisaient aussi des configurations .vscode malveillantes et les attaquants avaient simplement cloné un projet FastAPI public en usurpant des informations d'entreprise. Une analyse du serveur d'attaque a montré quelques ports ouverts et une OPSEC raisonnable, et le compte du recruteur a été supprimé après la confrontation.

citizendot.github.io Resume pret HTTP 200 Commentaires

French President Macron backs effort to ban kids under 15 from social media

Les parlementaires français ont trouvé un compromis lundi afin d'amender un projet de loi visant à interdire l'accès aux réseaux sociaux aux moins de 15 ans, qui pourrait entrer en vigueur à la rentrée scolaire si le texte est adopté. La Commission européenne avait jugé la précédente version incompatible avec le droit de l'UE, ce qui a conduit l'Assemblée nationale et le Sénat à renégocier le texte pour qu'il respecte le règlement européen, avec un vote final mardi. Le Parlement a opté pour une interdiction générale des services de réseau social conformément à la version initiale de l'Assemblée en laissant aux autorités européennes la mission de vérifier le respect de la limitation d'âge, tout en excluant les encyclopédies en ligne, les répertoires éducatifs et les plateformes open source. Le président Emmanuel Macron soutient fortement le projet, qui prévoit également l'interdiction des téléphones portables dans les lycées, mais le texte ne pourra être promulgué avant le 10 août en raison d'une période de notification imposée par le droit européen. La mesure s'inscrit dans un contexte de préoccupations croissantes sur l'usage des écrans par les jeunes — la moitié des adolescents passe entre deux et cinq heures par jour sur smartphone et des études soulignent des effets négatifs tels qu'une baisse de l'estime de soi et une exposition accrue à des contenus à risque — et rejoint une dynamique internationale appelant à fixer un âge minimal pour l'accès aux réseaux sociaux.

fortune.com Resume pret HTTP 200 Commentaires

Taking OCaml and Eio for a Spin

Après un intérêt pour Haskell, l'auteur a choisi d'apprendre OCaml en raison d'un regain d'intérêt pour le langage (multicœur, effets) et d'une curiosité pour Eio, un cadre de concurrence censé être déterministe pour faciliter les tests. Pour l'apprentissage il a consulté Real World OCaml mais s'est perdu sur les GADTs et les modules, a regretté le faible nombre d'exercices et recommande de commencer par le cours CS3110 avant de passer à RWO. L'expérience d'écriture est plaisante grâce au mélange fonctionnel/impératif et aux arguments nommés, tandis que la syntaxe paraît verbeuse et le compilateur pénalise l'itération en abandonnant l'analyse du reste du fichier sur erreur. Eio exploite les effets et des abstractions comme fibres, switches, flows, streams et promises, et l'auteur a développé un petit RPC tamponné et un client sûr pour la concurrence qui échange des requêtes et résout des promesses, avec des démonstrations fonctionnelles. En conclusion, OCaml est agréable et performant mais souffre d'une petite communauté et d'un manque de ressources, Eio rappelle Go malgré des pièges liés aux flux fermés, et l'auteur prévoit de travailler prochainement sur une implémentation de Raft.

mattjhall.co.uk Resume pret HTTP 200 Commentaires