HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11427 articles Page 76/1143 Sans filtre

The Lost Atomic Update on Loongson CPU

Lors de la mise en paquet de normaliz sur LoongArch, un test intégré bouclait indéfiniment parce qu'un compteur atomique n'atteignait jamais sa valeur attendue. Après des investigations humaines infructueuses, l'équipe a guidé une IA pour produire un réducteur minimal en deux jours, ce qui a permis d'isoler le problème. La cause était matérielle : sur certains cœurs Loongson LA664, les instructions atomiques (par ex. amadd, amcas) peuvent perdre des mises à jour quand des lectures vectorielles LASX (xvld) sont intercalées et que trois conditions sont réunies (threads sur cœurs physiques distincts, opérations atomiques sans barrière, lectures mémoire intercalées). Cela peut provoquer des erreurs de comptage conduisant à des use-after-free ou à la corruption du tas dans des bibliothèques comme Rust std::sync::Arc, mais l'exploitation nécessite une coopération dans le même processus et reste difficile à utiliser comme vecteur d'attaque. Loongson a fourni un correctif firmware test (mise à 1 du bit 13 de MCSR24) avec peu de perte de performances et prévoit une publication officielle, tandis que des contournements logiciels (atomiques avec barrière, LL/SC ou écriture du bit depuis le noyau) permettent d'atténuer le problème en attendant la mise à jour.

LA Metro has some of the slowest escalators

Les auteurs ont comparé les limites légales des escalators dans 139 villes de 58 pays et constaté que la spécification de la Metro de Los Angeles à 90 pieds par minute est inférieure au maximum autorisé dans toutes les villes examinées. La Metro spécifie 90 pieds par minute (environ 0,46 m/s), alors que des réseaux comme celui de Hong Kong tournent habituellement à 0,75 m/s, ce qui réduit sensiblement le temps de montée (par exemple 87 secondes à Civic Center contre 53 secondes à la vitesse de Hong Kong). En modélisant les 27 stations souterraines avec plusieurs hypothèses (tous les usagers prenant les escalators en position debout), augmenter la vitesse jusqu'à celle de Hong Kong économiserait environ 119 000 minutes chaque jour de semaine (environ 670 000 heures par an), et appliquer la limite américaine de 100 pieds par minute économiserait environ 30 000 minutes quotidiennes. On ne peut pas simplement augmenter la vitesse car les vitesses sont limitées par des normes de sécurité, par la capacité des équipements, par des effets comme une vibration accrue à 0,75 m/s, et par des coûts et contraintes techniques non chiffrés. Le texte note que les règles de conception initiales de la Metro prévoyaient une option à 120 pieds par minute, que la norme américaine a abaissé sa limite de 125 à 100 pieds par minute en 2000, et que des mesures récentes ont montré que certains escalators récents tournent autour de 98,4 pieds par minute.

Welcome to the Medical Clinic at the Interplanetary Relay Station

Le protagoniste est mordu par de minuscules insectes dans la serre hydroponique, ce qui provoque une éruption violette et le pousse à chercher des soins médicaux sur une station relais interplanétaire. La clinique est décrite comme bureaucratique et dysfonctionnelle, avec des listes d'attente longues, un sign-in détruit et des boucles narratives qui renvoient souvent aux mêmes sections. Le personnel inclut une infirmière humaine prudente et un grand Doodoo uranien qui, par morsure née de sa physiologie, ampute et cautérise les zones affectées avec sa salive acide. Le récit, interactif et satirique, propose des embranchements où le protagoniste remplit des formulaires, fouille une salle d'examen, fuit ou se fait opérer, souvent avec des issues grotesques et fatales. La fin récurrente montre que la plupart des choix mènent à la mutilation ou à la mort, mettant en avant de façon absurde l'impuissance face à la bureaucratie médicale et aux circonstances incontrôlables.

Generate fonts where every LLM token is the same width

Le site permet de compiler une police TTF qui intègre un tokenizer pour afficher chaque jeton à largeur égale sans script externe. Il propose des presets pour plusieurs tokenizers (DeepSeek, OpenAI, Kimi, Qwen, GLM, Llama 3, Trinity, Laguna) et accepte des uploads sous conditions de compatibilité. Des instructions détaillées couvrent l'installation et l'utilisation sur Discord via Vesktop et sur Slack via un userscript, avec des recommandations pour cibler des identifiants spécifiques. Des audits et tests documentent des limites et divergences, notamment la gestion des espaces de contrôle, des caractères invisibles, des limites de backend ctok et des différences de normalisation Unicode et de façonnage navigateur. Le rendu tokenisé reste soumis à des contraintes pratiques (shaping runs, fallback de glyphes, scripts complexes) et ne garantit pas un comptage exact des tokens pour la facturation d'API.

Real-time feedback: My closing move in every interview

L'auteur observe que beaucoup de questions d'entretien sont unidirectionnelles et peu utiles. Il termine souvent l'entretien en annonçant qu'il va donner un retour, ce qui transforme l'échange en bidirectionnel et permet au candidat de se recentrer. Le feedback est direct, précis sur les capacités, couvre points positifs et axes d'amélioration, et invite les autres interviewers à contribuer. La majorité des candidats accueille favorablement ce feedback, certains profitent pour corriger des malentendus, d'autres confirment involontairement les préoccupations, et les réponses négatives sont rares et souvent liées à des remarques sur la personnalité plutôt que sur les compétences. L'auteur conclut que ce retour immédiat, axé sur les capacités, améliore la qualité des décisions d'embauche, montre de la transparence et mérite d'être essayé au-delà des postes techniques.

Modern Object Pascal Introduction for Programmers

Le document présente le Pascal objet moderne et vise à être concis et pratique pour des développeurs, en couvrant caractéristiques modernes comme classes, unités, génériques et interfaces. Il explique les bases du langage et des compilateurs (Free Pascal, Delphi, modes ObjFPC/Delphi) avec des exemples ("Hello world"), la syntaxe des fonctions, tests conditionnels, boucles, opérateurs et entrées/sorties. Il détaille le système d’unités (interface/implementation), l’initialisation/finalisation, les règles de dépendances entre unités et la qualification d’identifiants pour gérer les conflits. Le texte aborde la programmation orientée objet : définition de classes, héritage, méthodes virtuelles/override, constructeurs et destructeurs (Destroy), propriétés, et la gestion de la mémoire (Free, FreeAndNil, ownership, notifications, TPersistent.Assign). Sont aussi traités les exceptions (raise, try..except..finally), la bibliothèque runtime (streams, conteneurs génériques), les fonctionnalités avancées (enregistrements, variants, fonctions anonymes, surcharge d’opérateurs, préprocesseur) et les interfaces (CORBA vs COM et impact du comptage de références).

Turning GLM-5.3-Flash into a Jev-like decision model

Les auteurs présentent une méthode permettant à un LLM standard de rendre des décisions typées en un seul passage en numérotant les options, en préremplissant le champ de réponse et en lisant les probabilités des jetons d'index. Ils implémentent cette technique avec GLM-5.3-Flash sur Privatemode et exploitent vLLM pour restreindre la sortie (allowed_token_ids) et obtenir logprob_token_ids afin de renormaliser les probabilités par option. Sur un benchmark de 29 jeux de données publics, GLM-5.3-Flash obtient une précision comparable à TypeSafe Jev sur la plupart des tâches textuelles, tandis que Laya, plus petite, performe nettement moins bien. Les coûts et la latence diffèrent selon le service et la localisation : Jev est moins cher par million de décisions (≈€16 contre ≈€62) et la latence varie géographiquement, alors que GLM-5.3-Flash supporte en plus des décisions multimodales sur images. Le code et les jeux de données de référence sont publiés, et la solution peut être déployée sur Privatemode pour un traitement confidentiel, avec des compromis entre précision, coût, nombre d'options et temps de réponse.