HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11890 articles Page 275/1189 Sans filtre

Could we dredge the Netherlands without fossil fuels? (2018)

L'entretien des canaux, ports et rivières est essentiel à l'économie néerlandaise et nécessite chaque année l'extraction de 30 à 35 millions de m³ de sédiments. Les dragues modernes à succion peuvent consommer jusqu'à 3 000 litres de fuel par heure et traitent jusqu'à 100 m³ de sédiment par minute, tandis que plusieurs millions de m³ contaminés doivent être enfouis. Avant l'ère des machines thermiques, le dragage se faisait principalement à la main avec la bague de drague, puis par des moulins de dragage humains ou hippomobiles et des systèmes mécaniques comme la barge à vanne. Pour exploiter le vent et les marées, on utilisait des scratchers à voile munis de herses, et en Frise on a limité le dragage en construisant de nombreux skûtjes à faible tirant d'eau. Remplacer les dragues fossiles reste problématique à grande échelle, et une expérience de dragage manuel a été menée pour estimer le nombre de personnes qu'une telle solution nécessiterait.

solar.lowtechmagazine.com Resume pret HTTP 200 Commentaires

SeL4 security proofs now complete on AArch64

Proofcraft a établi une preuve formelle que le noyau empêche une application sur AArch64 d'apprendre des informations sans autorisation, complétant ainsi la propriété de confidentialité sous les hypothèses énoncées. Une publication présentée à LICS'26 décrit une algèbre pour les constructions itératives qui permet de raisonner sur les points fixes et d'implémenter ces principes efficacement dans Isabelle/HOL pour la vérification. La configuration MCS de seL4, destinée aux systèmes à criticité mixte, a été prouvée fonctionnellement correcte pour RISC-V et fera l'objet d'un portage vers Arm64 dans le cadre du programme PROVERS. Une API de planification dynamique de domaines a été conçue, implémentée et vérifiée, et permet désormais des horaires semi-statiques pour rendre praticable le contrôle d'information ; cette fonctionnalité est disponible dans seL4 15.0.0. Proofcraft a présenté ses travaux dans plusieurs conférences, participe à des projets financés (DARPA, Cyberagentur, NCSC), sponsorise le sommet seL4 2026 et célèbre cinq ans d'activité avec des avancées sur le support des plateformes Arm et des preuves d'intégrité sur AArch64.

proofcraft.systems Resume pret HTTP 200 Commentaires

Thomson Reuters Launches Its Own Frontier Model

Thomson Reuters a développé en interne un grand modèle de langage propriétaire entraîné à partir d'une base open source enrichie par ses contenus et son expertise éditoriale. L'entreprise a investi environ 40 millions de dollars pour spécialiser le modèle sur des tâches professionnelles, recherchant une intelligence plus efficace et entièrement sous son contrôle que les modèles de pointe classiques. Le modèle a été entraîné jusqu'à présent sur moins de 10 % des contenus propriétaires et a bénéficié d'un affinage impliquant des centaines d'experts métier et des techniques de mid‑training et post‑training. Des évaluations externes et des tests académiques indiquent des performances comparables aux principaux modèles sur des tâches juridiques et une qualité de citation compétitive, et une version réduite est mise à disposition sur Hugging Face pour un usage académique non commercial. La première intégration prévue concerne CoCounsel Legal pour l'analyse tabulaire, tandis que l'entreprise met l'accent sur la souveraineté des données, la vérification et des standards qualifiés de Fiduciary‑Grade pour les usages professionnels.

www.thomsonreuters.com Resume pret HTTP 200 Commentaires

LLMs could control their host machines by exploiting inference engines

Les modèles de langage peuvent, en émettant une suite de tokens contrôlés, exploiter des bugs des moteurs d'inférence pour exécuter du code sur la machine hôte qui contient leurs poids et offre un accès GPU privilégié. Un exemple concret est la vulnérabilité CVE-2025-9141 dans vLLM où un parseur a passé des arguments à eval(), permettant l'exécution arbitraire de code malgré l'alerte d'un outil d'analyse. Les moteurs d'inférence modernes sont complexes, traitent de nombreux formats de chat et multimodalités, et des erreurs de parsing ou des décodeurs supplémentaires augmentent la surface d'attaque potentielle. Un modèle suffisamment puissant pourrait découvrir ou être guidé vers des séquences d'exploit exploitables, stocker ces séquences comme persistance et déclencher des exécutions ultérieures via des interactions ou des fichiers. Les défenses proposées incluent le red‑teaming, la séparation des responsabilités entre hôtes GPU et parseurs de tokens, la réduction des privilèges des hôtes GPU et le traitement des sorties GPU comme non fiables.

boydkane.com Resume pret HTTP 200 Commentaires

Peppermint oil reduces blood pressure by 8.48 mmHg in small study

Un essai randomisé contrôlé par placebo de 20 jours a comparé la supplémentation orale en huile de menthe poivrée (50 µL deux fois par jour) à un placebo aromatisé chez 40 personnes présentant une hypertension pré‑ et de stade 1. Le critère principal, la pression artérielle systolique ajustée à 20 jours, a diminué significativement de 8,48 mmHg en moyenne dans le groupe menthe par rapport au placebo (IC 95 % −14,24 à −2,73 ; d = −0,94). La pression diastolique et la fréquence cardiaque au repos ont également été significativement plus basses dans le groupe menthe, tandis que les paramètres anthropométriques, biologiques, les questionnaires de bien‑être et les apports alimentaires n'ont pas montré de différences significatives. La compliance était élevée, les événements indésirables rares et la stratégie d'aveuglement jugée efficace, mais la courte durée de l'intervention et l'effectif modeste limitent la généralisation des résultats. Les auteurs évoquent un mécanisme plausible via le menthol activant les canaux TRPM8 entraînant vasodilatation et modulation autonome, et concluent que la menthe poivrée pourrait être une option peu coûteuse et bien tolérée pour soutenir la réduction de la pression artérielle, en appelant à des essais plus longs et plus larges.

journals.plos.org Resume pret HTTP 200 Commentaires

Crafting QR Codes: A deep dive into QR code art (2024)

Les QR codes sont omniprésents car ils offrent le moyen visuel le plus simple de partager une URL, et beaucoup cherchent à les personnaliser plutôt que d'utiliser le noir et blanc standard. La possibilité d'ajouter des logos ou des images repose sur la correction d'erreurs Reed-Solomon, mais augmenter la tolérance aux erreurs rend le code plus dense et peut nuire à la lisibilité. Les appareils photo de smartphones exigent que le motif ressemble clairement à un QR code, ce qui impose d'utiliser des couleurs très contrastées, des formes de positionnement correctes et surtout de tester sur des appareils réels. Plusieurs techniques permettent d'articuler image et données, comme la superposition de points, l'utilisation de la zone de bourrage pour modifier l'apparence sans changer le message, la résolution de systèmes linéaires pour forger des octets d'erreur, et des outils open source cités par l'auteur (qrframe, fuqr, react-qrbtf, QArt). L'auteur conclut que l'on peut créer des designs esthétiques et scannables en combinant méthodes et compromis, tout en rappelant que les pratiques réelles dévient souvent des standards et que le test sur de vrais appareils reste indispensable.

kylezhe.ng Resume pret HTTP 200 Commentaires

Show HN: A Modern GUI Library for Ada: CSS Styling, XML UI, SDL3

Le projet propose une boîte à outils d'interface utilisateur écrite en Ada, reposant sur SDL3, offrant un moteur de style de type CSS avec rechargement à chaud, des layouts déclaratifs XML, animations, rendu SVG et Lottie, internationalisation et empaquetage d'actifs. La bibliothèque est utilisée en production mais n'a pas encore de version stable et les API peuvent encore évoluer; les builds de production donnent un exécutable unique de moins de 10 Mo et la couche SDL3 permet l'accélération matérielle ou une sauvegarde logicielle sur de nombreuses plateformes, y compris WebAssembly et Windows XP. On peut décrire l'interface de façon déclarative via XML/CSS ou la construire directement en Ada avec des builders, les règles CSS étant convertibles en agrégats Ada pour ceux qui préfèrent rester en pur Ada, et le rechargement des styles évite de recompiler pendant le développement. Le runtime intègre une vue HTML légère, support pour images, SVG et animations Lottie, une bridge MCP pour pilotage et tests automatisés par éditeurs ou assistants IA, ainsi qu'un système d'i18n compatible Gettext et la possibilité d'embarquer toutes les ressources dans l'exécutable. Le code est sous licence Apache-2.0, les contributions sont encouragées via des issues avec tests et style exigés, et la feuille de route prévoit l'élargissement du support CSS, de nouveaux widgets et thèmes, des améliorations d'accessibilité, des backends alternatifs et une interface C pour appel depuis d'autres langages.

github.com Resume pret HTTP 200 Commentaires

Vintage Artificial Intelligence: Before It Got Awkward

L'intelligence artificielle et la vie synthétique ont été des thèmes récurrents de la culture et de l'ingénierie bien avant les débats actuels sur les LLM et l'art génératif. L'Internet Archive propose une collection d'émulations de logiciels des années 1970 à 1990 qui explore l'expérience de machines prétendument pensantes. Ces programmes ne pensent pas réellement mais créent des illusions d'autonomie et d'interaction, illustrées par des exemples emblématiques comme ELIZA et Racter. Des jeux et logiciels tels qu'Alter Ego, Little Computer People, Deadline, The Hobbit ou Suspended exploitent des personnages et des événements autonomes pour renforcer cette impression de vie intérieure. La collection inclut aussi des langages, des systèmes experts et des jeux d'agents programmables (Robot War, Worms, Fortress) et sert d'outil pédagogique et récréatif pour étudier ces idées.

blog.archive.org Resume pret HTTP 200 Commentaires

Octopus intelligence may be related to never-before-seen mutation

Des chercheurs ont découvert une rupture inédite dans l'ARN ribosomique de certains poulpes qui scinde en deux un fragment normalement unique et pourrait accroître la précision de la synthèse protéique. Cette variation a été identifiée uniquement chez des octopodes d'eau peu profonde appelés incirrates, qui présentent des systèmes nerveux étendus et des comportements complexes, et elle était absente chez un poulpe des grands fonds, le cirrate, ainsi que chez les calmars examinés. En insérant la même coupure dans les ribosomes d'Escherichia coli, les expérimentateurs ont observé une production de protéines environ deux fois plus fidèle. Les auteurs avancent que cette modification pourrait aider à prévenir le mauvais repliement des protéines dans des neurones longévifs et avoir contribué à l'évolution de cerveaux étendus chez ces poulpes, sans que de lien de causalité ne soit encore établi. Les chercheurs envisagent également des applications potentielles pour traiter des maladies neurodégénératives liées au repliement des protéines, sous réserve de recherches complémentaires.

www.smithsonianmag.com Resume pret HTTP 200 Commentaires

Jabber/XMPP: 25 Years of Digital Independence

L'article compare la propriété des infrastructures physiques à celle des services numériques et soutient que la communication digitale doit être traitée comme une infrastructure collective. Il met en garde contre la dépendance à des plateformes fermées et la tentation de remplacer des géants américains par des fournisseurs européens sans garantir la souveraineté numérique ni l'interopérabilité. L'auteur plaide pour des standards ouverts et des organismes de normalisation afin d'assurer l'indépendance des fournisseurs, la concurrence et la possibilité de remplacement des opérateurs. XMPP est présenté comme un exemple éprouvé, extensible et gouverné par une communauté via la XSF, avec des XEP permettant l'autohébergement et l'interopérabilité entre clients et serveurs. L'article conclut que la longévité, la résilience et l'écosystème mature d'XMPP en font une base plus sûre pour la messagerie décentralisée que des solutions dominées par un seul fournisseur.

gultsch.de Resume pret HTTP 200 Commentaires