HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6194 articles Page 457/620 Sans filtre

17 Mar 2026

07:08

zenclora.org Resume pret HTTP 200 Commentaires

Zenclora OS

Zenclora est une distribution Linux optimisée et légère conçue pour la tranquillité, la productivité et l’absence de logiciels superflus. Elle intègre le gestionnaire de paquets ZPM, qui permet d’installer et de gérer facilement les applications via des commandes simples. Le système propose des outils de gestion système, des utilitaires Zen Tools et des options de configuration réseau, mémoire et services. Basée sur Debian Stable et 100% open source, elle allie design soigné, facilité d’utilisation et capacités gaming avec Steam, Lutris et Wine. L’offre comprend une version Workstation d’environ 2,5 Go et un ISO x86_64 v2.2 téléchargeable, promettant une expérience rapide et stable.

17 Mar 2026

07:07

www.sciencedaily.com Resume pret HTTP 200 Commentaires

MM120, a pharmaceutical form of LSD, shown to reduce anxiety symptoms (2025)

Aux États‑Unis, environ une personne sur vingt souffre de trouble d’anxiété généralisée et les symptômes graves peuvent envahir le quotidien en limitant le travail, les relations et la sortie de chez soi, avec peu de soulagement apporté par les traitements traditionnels. À l’UCSF, la neuroscientifique Jennifer Mitchell dirige des recherches sur des traitements innovants pour l’anxiété et d’autres conditions, et elle pense qu’une approche nouvelle pourrait aider là où les thérapies habituelles échouent, avec des résultats préliminaires encourageants. Le candidat prometteur serait une forme pharmaceutique du LSD nommée MM120, conçue pour favoriser la neuroplasticité et améliorer la communication entre les régions cérébrales afin d’atténuer les schémas de pensée négatifs. Le trouble d’anxiété généralisée se caractérise par une anxiété persistante et excessive qui interfère avec le fonctionnement quotidien et peut s’accompagner de fatigue, irritabilité et dépression secondaire. Dans les essais, une dose unique de MM120 a montré une réduction des symptômes d’environ cinq à six points sur une échelle de 56 points sur douze semaines, avec des effets secondaires généralement légers à modérés et plus fréquents à la dose la plus élevée, qui n’est pas utilisée.

17 Mar 2026

07:07

16bpp.net Resume pret HTTP 200 Commentaires

Even faster asin() was staring right at me

L'article montre comment réécrire p avec la méthode d'Estrin pour réduire les dépendances et permettre une exécution plus parallèle sans changer la valeur calculée. Les benchmarks indiquent que asin_cg_estrin peut offrir des gains importants sur Intel selon le compilateur, jusqu'à environ 1,8x par rapport à std::asin et parfois mieux que asin_cg. Sur AMD Ryzen 9 et Windows, les améliorations restent modestes, autour de 1,1x à 1,4x selon la configuration. Dans le test Ray Tracer présenté, l'Estrin apporte environ 3% de gain sur Intel, mais les résultats varient selon la plateforme. L'auteur rappelle que c'est une approximation des arcsin et préfère le benchmarking et la simplicité au LUT ou au SIMD.

17 Mar 2026

07:06

theorem.dev Resume pret HTTP 200 Commentaires

Lf-lean: The frontier of verified software engineering

Lf-lean est une traduction vérifiée de l’ensemble des 1 276 déclarations de Logical Foundations de Rocq vers Lean, produite par une IA avec environ 2 jours-homme de travail humain contre environ 2,75 années-homme de vérification manuelle, soit environ 350 fois plus rapide sur l’effort. Cela est rendu possible par des générateurs de spécification au niveau des tâches, qui définissent ce qui est correct pour une classe de tâches et vérifient automatiquement toutes les instances; rocq-dove dérive une spécification et évalue les traductions et preuves générées. Sans intervention humaine, les agents IA ont généré des traductions vérifiées pour 97 % des déclarations, les six cas les plus difficiles nécessitant une solution humaine. La méthode privilégie la vérification modulaire et l’utilisation d’interfaces vérifiées pour les dépendances existantes, évitant la vérification monolithique et réduisant l’effort humain à environ 15 heures. Ces résultats suggèrent que l’ingénierie logicielle vérifiée peut devenir plus scalable que l’ingénierie non vérifiée, ouvrant la voie à une programmation assistée par IA et à une expansion rapide du domaine.

17 Mar 2026

07:06

karpathy.ai Resume pret HTTP 200 Commentaires

US Job Market Visualizer

Cet outil de recherche visualise 342 professions issues du Bureau of Labor Statistics Occupational Outlook Handbook et couvre 143 millions d’emplois dans l’économie américaine. Chaque rectangle de la treemap a une aire proportionnelle à l’emploi total et la couleur reflète le critère sélectionné parmi la croissance projetée, le salaire médian, les exigences éducatives et l’exposition à l’IA. En cliquant sur une case, on peut consulter la page BLS complète associée. Cet outil n’est pas un rapport ou une publication économique formelle; c’est un outil de développement destiné à explorer les données BLS de manière visuelle. Le système repose sur une coloration pilotée par des invites LLM, incluant des scrapers et des parsers, permettant d’évaluer et de colorier les occupations selon divers critères, dont l’exposition à l’IA.

17 Mar 2026

07:06

pyrefly.org Resume pret HTTP 200 Commentaires

Comparing Python Type Checkers: Typing Spec Conformance

Les vérificateurs de types pour Python cherchent à suivre les règles de la spécification de typage et une suite de tests de conformité évalue cette adhérence. Dans ces tests, des annotations marquent où une erreur est attendue et des écarts apparaissent sous forme de faux positifs ou de faux négatifs. Le tableau public de conformité, mis à jour début mars 2026, indique que Pyright passe 136 sur 139 tests, Zuban 134 sur 139, Pyrefly 122 sur 139, Mypy 81 sur 139 et ty 74 sur 139. La conformité offre une mesure utile de la couverture des règles, mais elle ne saisit pas tout et ne remplace pas l’expérience développeur. Pour choisir un vérificateur, il faut aussi considérer l’inférence, les performances, l’intégration IDE et le support des paquets tiers, et des analyses futures exploreront ces dimensions.

17 Mar 2026

07:06

www.thenerve.news Resume pret HTTP 200 Commentaires

MoD sources warn Palantir role at heart of government is threat to UK security

Deux responsables anonymes du ministère de la Défense affirment que Palantir constitue une menace pour la sécurité nationale, après l’enquête du Nerve de janvier qui révélait que Palantir avait au moins 670 millions de livres de contrats avec le gouvernement britannique, dont 15 millions avec l’agence nucléaire. Selon eux, même si les données restent sous contrôle du MoD, les insights générés ne le seraient pas et Palantir peut agréger des données de multiples sources pour construire une image riche du pays. L’un des informateurs affirme que Palantir pourrait disposer d’un profil complet de la population britannique et que ses données croisent des informations de plusieurs départements, ce qui constituerait un risque sécuritaire majeur. Le MoD a rappelé que toutes les données utilisées dans les logiciels de Palantir resteraient la propriété du MoD et que des contrôles contractuels existent, mais les sources jugent ces assurances insuffisantes. Des voix comme Duncan McCann et Jim Killock appellent à l’action et rappellent que des exemples internationaux, comme le refus de l’armée suisse et des litiges autour des données avec le NYPD, illustrent les inquiétudes relatives à l’influence potentielle d’un acteur privé sur la sécurité nationale.

17 Mar 2026

07:06

www.grepular.com Resume pret HTTP 200 Commentaires

Cert Authorities Check for DNSSEC from Today

Depuis aujourd'hui, toutes les autorités de certification doivent valider DNSSEC lorsque un domaine l'a activé, et elles doivent vérifier la validité de la réponse qu'elles reçoivent. L'article raconte comment Mike Cardwell a déployé DNSSEC sur ses domaines depuis environ quatorze ans, en utilisant d'abord BIND puis PowerDNS. Il précise que lors de la vérification des certificats, les CA doivent confirmer l'intégrité des enregistrements DNS, y compris le CAA, et que les réponses doivent être valides. Le texte indique que les CA avaient probablement mis en place cette exigence pour tester avant l'échéance, mais que c'est désormais obligatoire et les manquements seront sanctionnés. Il invite les lecteurs à se renseigner sur DNSSEC, même s'ils ne gèrent pas leur propre zone DNS, et à vérifier si leur registrar prend en charge DNSSEC, car cela peut être une opération en un clic pour l'activer.