HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6522 articles Page 201/653 Sans filtre

18 May 2026

06:07

github.com Resume pret HTTP 200 Commentaires

Mado: Fast Markdown linter written in Rust

Ce linter Markdown, implémenté en Rust, prend en charge CommonMark et GitHub Flavored Markdown. Il s'utilise en ligne de commande (par exemple mado check .) et affiche des performances annoncées d'environ 49–60× plus rapides que des outils existants comme markdownlint, selon un benchmark réalisé avec hyperfine sur un MacBook Pro M1 Max et la documentation GitLab. Des paquets et méthodes d'installation sont fournis pour macOS, Linux et Windows, notamment Homebrew, Nix, Arch Linux, Scoop, WinGet et des binaires précompilés téléchargeables depuis la page des releases. L'outil implémente la plupart des règles de markdownlint avec des statuts variables (support stable, instable ou options non prises en charge) et se configure via un fichier mado.toml local ou global selon le système d'exploitation. Mado est compatible avec GitHub Actions et propose des instructions pour le développement, les tests, le linting du code, le benchmarking, le profilage et le fuzz testing.

18 May 2026

06:06

hardware.majix.org Resume pret HTTP 200 Commentaires

The SGI Buyer's Guide (2003)

Ce guide aide les acheteurs à choisir et à vérifier une SGI d'occasion en présentant les critères et options à considérer. Pour trouver des machines abordables on recommande principalement eBay ou des revendeurs spécialisés, ces derniers étant souvent plus chers mais offrant un meilleur support. Les modèles se distinguent : Indigo pour les collectionneurs, Indigo² et O2 comme solutions polyvalentes selon configuration, Indy pour l'entrée de gamme, et Octane pour la puissance et l'extensibilité. Les processeurs MIPS offrent de bonnes performances en virgule flottante adaptées à la 3D, mais la plupart des SGI d'occasion sont anciennes et leur âge limite les attentes de performance. Vérifiez la disponibilité et la légalité des CD IRIX (la licence est liée à la machine), demandez si le vendeur peut installer IRIX et privilégiez l'achat d'un système complet plutôt que de pièces détachées.

18 May 2026

06:06

addyosmani.com Resume pret HTTP 200 Commentaires

Don’t Outsource the Learning

L'utilisation par défaut des outils d'IA pour corriger du code favorise la vitesse à court terme et empêche l'apprentissage, ce qui engendre une perte progressive de compétences. Des études (Anthropic, MIT, CHI) montrent que l'assistance de l'IA peut réduire la compréhension et la capacité de débogage lorsque les développeurs se contentent de copier le code ou laissent l'IA cadrer le problème. Certains produits proposent déjà des modes d'apprentissage socratiques, mais ils sont peu utilisés en production malgré leur utilité pour maintenir ou développer des compétences techniques. Les bonnes pratiques recommandées incluent formuler une hypothèse avant de demander de l'aide, demander des explications avant le code, critiquer les sorties comme des PRs juniors et réécrire manuellement un code produit par l'IA. Il faut mesurer deux métriques séparées — livrer des tâches et apprendre — et adopter un flux de travail qui combine les deux pour éviter d'accumuler une dette cognitive.

18 May 2026

06:06

openclaw.ai Resume pret HTTP 200 Commentaires

Where OpenClaw Security Is Heading

L'objectif est de faire d'OpenClaw un moyen de confiance pour exécuter un assistant IA puissant sur une machine réelle. Pour réduire les risques liés au système de fichiers, OpenClaw a rassemblé des primitives fs-safe pour imposer des racines de travail et prévenir les traversées de chemin et écritures hors-espace de travail. Pour contrôler la sortie réseau et limiter les risques SSRF, OpenClaw a introduit Proxyline, une couche de routage Node qui dirige le trafic vers un proxy configuré où s'appliquent les politiques d'egress et l'observabilité. La confiance des plugins passe par ClawHub, qui attache des preuves de scan, modération et provenance aux versions, peut quarantiner ou refuser des releases et vise des niveaux de confiance supérieurs pour éditeurs officiels. Des protections supplémentaires incluent des validations de commandes plus précises pour réduire la fatigue de validation et une analyse statique (OpenGrep et CodeQL) pour détecter et prévenir la réapparition de classes de bugs, tout en reconnaissant qu'aucun système n'est sans risque.

18 May 2026

06:06

cp4space.hatsya.com Resume pret HTTP 200 Commentaires

Schanuel's Conjecture and the Semantics of Triton's FPSan

FPSan est un outil développé pour faciliter la vérification de l'équivalence algébrique de programmes Triton qui utilisent l'arithmétique en virgule flottante. Il remplace chaque opération flottante par des opérations entières via une injection bijective φ entre les flottants IEEE‑754 et l'anneau des entiers modulo 2^32, de sorte que des programmes algébriquement équivalents produisent des résultats identiques après transformation. La fonction φ mélange les bits de l'encodage IEEE‑754 en préservant φ(−x)=−φ(x), φ(0)=0 et φ(1)=1, et FPSan traduit fadd, fsub et fmul en opérations additives et multiplicatives dans Z/2^32Z tandis que exp(x) devient φ^-1(C^φ(x)) pour un C ≡ 5 (mod 8). Sous l'hypothèse de la conjecture de Schanuel, l'article reprend un résultat de Macintyre pour montrer que tout circuit arithmétique construit avec {−,+,×,exp} (et étendu à sin et cos en supposant la version complexe) conserve ses identités algébriques après application de FPSan via un homomorphisme vers l'anneau modulo 2^32. FPSan gère aussi le mélange de précisions en définissant des embeddings pour autres formats flottants et en convertissant des primitives comme la multiplication matricielle en opérations entières scalaires, tout en notant que la transformation n'est pas conçue pour préserver les performances.

18 May 2026

06:06

www.williamangel.net Resume pret HTTP 200 Commentaires

Apple Silicon costs more than OpenRouter

L'auteur calcule que la consommation électrique d'un MacBook Pro M5 (environ 50–100 W) représente seulement quelques cents par heure à environ 0,18–0,20 $/kWh. Le coût matériel (exemple d'un MBP 14" M5 Max affiché à 4 299 $) amorti sur 3, 5 ou 10 ans domine le coût par million de tokens, bien au-delà de la dépense électrique. Avec des vitesses d'inférence mesurées entre 10 et 40 tokens/s, l'amortissement conduit à un coût estimé d'environ 0,40 $ à 4,79 $ par million de tokens selon les hypothèses de durée et de consommation. Par comparaison, OpenRouter propose la Gemma4 31b autour de 0,38–0,50 $ par million de tokens et affiche des débits généralement plus élevés, rendant le cloud souvent moins cher et plus rapide. La conclusion est que la vitesse d'inférence est le facteur déterminant du coût effectif, et malgré les performances remarquables possibles sur appareil grand public, l'inférence locale reste souvent plus lente et potentiellement plus coûteuse que le cloud.

18 May 2026

06:05

diamond.jaydip.me Resume pret HTTP 200 Commentaires

How diamonds are made

Les diamants se forment profondément sous la croûte terrestre lorsque des réactions chimiques à très haute pression et température font remonter des roches appelées kimberlites sous forme de cheminées volcaniques, dont seulement environ une sur 200 contient des diamants gemmes âgés d'environ 1 à 3,5 milliards d'années. Pour les localiser, on utilise des relevés magnétiques, la cartographie LiDAR et le forage pour analyser les carottes et estimer les carats par tonne, puis les sites économiquement viables sont exploités par déblaiement, excavation et tirs contrôlés qui fragmentent la kimberlite tout en laissant les diamants intacts. Les blocs extraits sont lavés à l'acide sulfurique pour dissoudre les impuretés, puis triés en diamants gemmes et industriels, la majorité d'entre eux n'étant pas destinés à la joaillerie. La plupart des diamants bruts sont envoyés à Surat en Inde, où des milliers d'ateliers scannent chaque pierre, établissent des plans de taille assistés par ordinateur et laissent des artisans polir et tailler les facettes à la main avec une extrême précision. Des laboratoires impartiaux attribuent un certificat fondé sur les «4C», inscrivent un numéro laser unique, puis les pierres circulent via des places commerciales comme Anvers, Mumbai et Dubaï, sont cotées selon le Rapaport et vendues aux bijoutiers qui remettent au client le certificat d'authenticité.

18 May 2026

06:05

www.theverge.com Resume pret HTTP 200 Commentaires

Most Americans don't trust AI – or the people in charge of it (2025)

Un rapport du Pew Research Center montre un important fossé entre les experts en IA, majoritairement optimistes, et le grand public, plutôt anxieux et méfiant. Environ trois quarts des experts estiment que l'IA leur sera bénéfique personnellement, contre seulement un quart des adultes américains, et les avis divergent sur l'impact sur l'emploi. Plus de la moitié des deux groupes désirent davantage de contrôle sur l'utilisation de l'IA et une majorité se méfie de la capacité du gouvernement et des entreprises à la réguler de manière responsable. La génération Z utilise massivement des outils d'IA mais se dit plus anxieuse qu'enthousiaste, craint un affaiblissement de la pensée critique et signale souvent l'absence de règles claires dans les écoles et les lieux de travail. Le rapport souligne également des problèmes de représentation et d'inégalités de genre parmi les concepteurs et les utilisateurs d'IA, qui reflètent principalement des perspectives masculines et blanches.