HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 528/1208 Sans filtre

Introduction to Compilers and Language Design (2021)

Un manuel en ligne gratuit, développé par le professeur Douglas Thain pour le cours CSE 40243 de l'Université de Notre Dame, est disponible en PDF et peut aussi être acheté en version papier. Le livre présente une introduction d'un semestre à la construction de compilateurs et guide le lecteur pour construire un compilateur simple traduisant un langage de type C en assembleur x86 ou ARM. Il s'adresse principalement aux étudiants de premier cycle ayant des bases en programmation C, en structures de données et en architecture des ordinateurs. Le site propose les chapitres complets, des annexes, des ressources de code sur GitHub et des exemples tests pour chaque étape du scanner, du parseur, du vérificateur de types et du générateur de code. Les PDF sont autorisés pour un usage personnel et académique tandis que l'impression ou la distribution commerciale est interdite, et les erreurs peuvent être signalées à l'auteur par courriel pour être corrigées.

Pint in England

À la sortie de la gare de Burton, la cheminée brillante d'une brasserie signale l'omniprésence de l'industrie brassicole dans la ville. Les rues et les noms témoignent d'un passé et d'un présent tournés vers la bière, entre mégabrasseries qui exportent la lager et microbrasseries artisanales locales. Sous Burton coule une veine de gypse qui enrichit l'eau locale en minéraux et a façonné, au XIXe siècle, la renommée des ales produites par des brasseurs comme Samuel Allsopp. Beaucoup d'infrastructures historiques ont disparu ou changé de fonction, comme le National Brewing Centre qui a fermé en 2022, suscitant des questions sur la visibilité de ce patrimoine brassicole. Pour comprendre cette ambivalence entre héritage et transformations contemporaines, le narrateur raconte avoir goûté la bière locale et interrogé les habitants.

Lean Software Scaling Laws

La proposition consiste à mesurer empiriquement comment la perplexité des modèles de langage pour le code évolue avec la taille du contexte et à comparer cette évolution entre différents langages de programmation. La méthodologie proposée exploite des modèles préentraînés pour évaluer la perte token par token sur corpus structurés, injecter des anomalies, tester la compilation avec contextes tronqués et ajuster des lois d'échelle par langage. L'hypothèse centrale est que des langages formels comme Lean présentent un coût initial de perte plus élevé mais une meilleure pente d'amélioration à grande échelle, ce qui pourrait rendre leurs grands projets plus prévisibles pour les modèles et justifier des investissements de portage. L'étude prévoit des contrôles pour les biais d'écosystème et de domaine, des comparaisons appariées et des analyses d'ablation, tout en notant que la maturité des corpus et des outils pourrait dominer les effets attribuables au langage. En extrapolant ces lois d'échelle, les auteurs anticipent des points de croisement où les langages fortement typés l'emporteraient en prévisibilité, avec des conséquences pour la sécurité logicielle et la priorisation de la création de corpus et de R&D.

Inventor, Mother, Creator: Grace Hopper

Grace Hopper a défini le compilateur de traitement de données et a créé FLOW-MATIC, premier langage exprimant des opérations en anglais plutôt qu'en symboles, ouvrant la voie à COBOL. En 1959, le comité à court terme s'est réuni pour concevoir un langage commun orienté métiers, établissant des objectifs comme l'utilisation d'un anglais simple, la neutralité organisationnelle et la facilité d'utilisation. COBOL s'est rapidement imposé comme l'épine dorsale des systèmes d'entreprise et gouvernementaux et est resté largement déployé pendant plus de six décennies. Plutôt que de remplacer COBOL, experts et fournisseurs recommandent de moderniser les applications critiques via API, découplage d'interfaces et outils assistés par IA, car traduire d'énormes bases de code présente des risques. En 2025 IBM a publié Enterprise COBOL for z/OS 6.5 en annonçant des améliorations de performance et des gains opérationnels significatifs, illustrant la valeur continue du langage.

The great blogging collapse: What happened to 100 successful blogs?

Une étude sur 100 blogs présentés comme des succès en 2022 montre que la médiane a perdu 85 % de son trafic organique entre avril 2022 et avril 2026 et que seulement 21 sites ont encore une croissance. Les déclins sont attribués aux mises à jour de Google (ajout de l’expérience à E‑E‑A‑T et Helpful Content) et à la généralisation des AI Overviews qui réduisent fortement les clics vers les résultats organiques. Les niches et contenus qui ont survécu partagent une caractéristique commune : la preuve d’expérience directe et irremplaçable (recettes testées, projets DIY documentés, expériences de voyage) souvent associée à une audience possédée et à un produit. Pour ceux qui lancent un blog, l’auteur recommande de se concentrer sur des contenus démonstratifs que l’IA ne peut pas résumer, de construire une audience propriétaire dès les six premiers mois et de traiter la recherche comme un canal d’acquisition, pas comme l’entreprise elle‑même. Pour les blogs en déclin, il conseille de consolider le contenu expérientiel, convertir le trafic restant en audience détenue, productiser la confiance ou vendre l’actif si ces options ne sont pas réalistes.

Airplane Boneyards List and Map

Après la Seconde Guerre mondiale, les États-Unis ont fabriqué environ 294 000 avions et ont déclaré près de 117 210 appareils excédentaires, dont environ 34 000 furent transférés en dépôts de stockage et de vente. Les avions invendus étaient souvent dépouillés de toute information classifiée, découpés et fondus tandis qu'aujourd'hui les forces armées conservent des appareils obsolètes dans le désert de l'Arizona pour stockage ou remise en service éventuelle. Le plus grand site actuel est l'AMARG de Davis‑Monthan à Tucson, mais plusieurs grands parcs commerciaux existent en Arizona, en Californie et au Nouveau‑Mexique, notamment Victorville, Mojave, Roswell, Kingman et Pinal. Les aires de stockage commerciales servent à la conservation, à la maintenance, au recyclage et à la récupération de pièces, et pendant la crise de la COVID‑19 en 2020 des centaines d'avions civils ont été immobilisés en stockage temporaire. Des installations similaires existent dans le monde, comme Teruel en Espagne, Alice Springs en Australie et Twente aux Pays‑Bas, et la plupart des sites limitent l'accès au public tout en proposant parfois des visites organisées.

CoCom regulations and GPS receivers for balloons and cubesats

Les récepteurs GPS grand public intègrent depuis longtemps des limitations dites COCOM qui désactivent l'accès aux mesures et aux résultats de navigation lorsque la vitesse dépasse 1000 nœuds ou l'altitude dépasse 18 000 mètres. Les manuels types suggèrent que ces conditions sont évaluées en OR, c'est‑à‑dire qu'atteindre l'une ou l'autre limite suffit à provoquer la coupure et la réinitialisation continue. Les contrôles internationaux ont été mis à jour sous l'égide du MTCR et définissent désormais, pour certains équipements, une restriction sur les récepteurs capables de fournir des informations de navigation à des vitesses supérieures à 600 m/s, ce qui entraîne des obligations de licence. La modification du firmware pour supprimer ces limites ou l'achat de modules sans limites est techniquement possible mais tombe souvent sous des régimes d'exportation (EAR/ITAR) et peut nécessiter une autorisation du Département du Commerce ou du Département d'État. La fabrication ou l'utilisation interne d'un récepteur apte au vol en LEO sans l'exporter est généralement autorisée, mais il est recommandé de consulter un avocat avant toute modification ou exportation en raison des critères de disponibilité étrangère et des risques juridiques.

Prism: An Impure Functional Language With Typed Effects

Prism est un compilateur fonctionnel expérimental qui modélise les effets par des handlers algébriques et des rangées d'effets polymorphes. Il illustre par des exemples concrets comment réaliser générateurs, choix non déterministe, exceptions extensibles, lenses et variables locales transactionnelles en tant qu'opérations d'effet dont les handlers contrôlent et reprennent les continuations. Le système de types combine inférence bidirectionnelle avec polymorphisme de rang élevé, classes de types nommées, dérivation automatique et row-polymorphisme, ce qui rend les fonctions polymorphes aux effets sans empiler de monades. La compilation vise des abstractions sans coût par passage d'évidence plutôt que par free-monads, s'appuie sur le comptage de références Perceus avec réutilisation in-place, cible LLVM/MLIR et inclut un modèle Lean prouvé pour garantir la déterminisme et envisager la rejouabilité des exécutions. L'auteur décrit Prism comme un prototype et une déclaration d'amour à la programmation fonctionnelle, conçu surtout pour expérimenter et démontrer des idées de langage plutôt que pour un usage industriel immédiat.

Installing A/UX 1.1 like it's the 90s

L'auteur a réussi à faire démarrer et tourner A/UX 1.x sur son émulateur Macintosh Snow après avoir reçu un jeu de médias d'installation archivé par Dominic Sharp. A/UX nécessite un MMU et un FPU, ce qui le confine aux Mac haut de gamme, et l'ensemble de 34 images de disquettes 800K GCR a d'abord été converti à partir de flux bruts avec Applesauce. Pour assurer la compatibilité, l'auteur a ajouté l'émulation de la carte vidéo Macintosh II "Toby" à Snow et a suivi la procédure d'installation qui exige d'installer System 6 afin de lancer SASH, l'environnement pré-boot d'A/UX. Pendant l'installation, il a corrigé plusieurs bugs de Snow, notamment un comportement actif-bas des bits clavier ADB provoquant des touches modificateurs bloquées et une mauvaise détection du bit "DMA end" du contrôleur NCR 5390, puis a poursuivi l'installation longue via 26 disquettes (ou depuis une bande si disponible). Après ces étapes et correctifs, l'installation s'est terminée et A/UX 1.x fonctionne désormais de manière stable sur Snow, bien que son interface graphique soit limitée à quelques applications Toolbox en mode multi-utilisateur.