HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 541/1208 Sans filtre

The firefighting system of the Van der Heyden brothers in 17th century Amsterdam

Au XVIIe siècle, l'abondance matérielle et le développement industriel ont rendu Amsterdam particulièrement susceptible aux incendies urbains. Dans les années 1660, la ville disposait d'un dispositif avancé pour l'époque composé d'engins de pompage de Hans Hautsch, de canaux et de compagnies de guildes chargées de lutter contre les flammes, mais ce système peinait à éteindre les foyers profonds des bâtiments. De grands sinistres, notamment la destruction d'une raffinerie de sucre en 1669 et de l'atelier d'impression de Joan Blaeu en 1672, entraînèrent des pertes financières catastrophiques et la ruine de certains entrepreneurs. Les frères Van der Heyden inventèrent et mirent en œuvre des améliorations techniques — tuyau d'aspiration, flexible pour atteindre l'intérieur des bâtiments et chambre d'air pour un débit continu — et introduisirent l'éclairage public, des règlements et des incitations organisationnelles pour améliorer la réponse aux incendies. Grâce à ces innovations techniques et administratives, les incendies et les pertes moyennes chutèrent fortement dans les années 1680, montrant l'efficacité d'une approche systémique appuyée par les autorités municipales.

worksinprogress.co Resume pret HTTP 200 Commentaires

FreeBSD ate my RAM

L'auteur a enquêté pourquoi l'affichage de l'utilisation de la RAM semblait incohérent après avoir migré un serveur vers FreeBSD et constaté des résultats différents entre fastfetch, btop et htop. Il explique que les systèmes modernes utilisent une mémoire virtuelle avec des pages classées en files (active, inactive, laundry, wired, free) et que le cache disque rend la notion de mémoire « libre » ambigüe car le cache est récupérable. Il montre que fastfetch, btop et htop adoptent des heuristiques différentes pour définir la mémoire utilisée, et identifie dans btop un bug dû à l'utilisation d'un entier 32 bits qui provoque un débordement et à l'emploi d'un compteur v_cache_count devenu factice. Pour corriger les affichages, il a proposé et testé des modifications consistant à tenir compte de l'ARC de ZFS et de vfs.bufspace, à utiliser des entiers 64 bits et à ajuster la manière de calculer la mémoire mise en cache; des PRs ont été créées et certaines fusionnées. Après plusieurs installations et tests, l'auteur a appris beaucoup sur les internals de FreeBSD, a apporté des correctifs à des outils de supervision et prévoit de poursuivre ses contributions.

crocidb.com Resume pret HTTP 200 Commentaires

Odin, Wikipedia and engagement farming

L'article relate la suppression sur Wikimedia d'une notice sur le langage de programmation Odin après une procédure d'Articles for Deletion motivée par l'absence de sources secondaires fiables. Il présente les réactions publiques, notamment le créateur d'Odin accusant des éditeurs de censure idéologique, l'intervention de Jimmy Wales et le soutien de Casey Muratori qui conteste l'adéquation des règles de notoriété au domaine du développement logiciel. Le texte examine en détail les critiques sur les critères de fiabilité et de vérifiabilité, en soulignant que beaucoup d'information technique se trouve sur des blogs, dépôts de code et vidéos qui ne correspondent pas toujours aux standards traditionnels. L'auteur analyse aussi les dynamiques d'engagement sur les réseaux sociaux, dénonçant l'usage de la rhétorique victimaire et estimant qu'il n'y a pas de preuve d'une conspiration éditoriale. En conclusion, l'article propose d'envisager des adaptations des lignes directrices de notoriété pour le domaine technique et d'encourager des démarches factuelles plutôt que des campagnes de discrédit en ligne.

katamari64.se Resume pret HTTP 200 Commentaires

SearXNG: A free internet metasearch engine

SearXNG est un métamoteur de recherche axé sur la protection de la vie privée des utilisateurs. La documentation d'installation et de configuration est fournie pour déployer et affiner le service. Des guides complémentaires expliquent comment utiliser et personnaliser l'outil. La communauté est accessible via le canal Matrix #searxng:matrix.org pour poser des questions et échanger. Le projet est distribué sous la licence GNU Affero General Public License (AGPL-3.0) et les instructions pour contribuer figurent dans CONTRIBUTING.

github.com Resume pret HTTP 200 Commentaires

Steam Controller Auto-Charge – pilot to magnetic charging puck using CV

Le projet est une application web open-source qui guide automatiquement une manette compatible vers sa base de charge magnétique en s'appuyant sur la vision par ordinateur et la télémetrie WebHID. Il utilise OpenCV.js pour le suivi optique et envoie des impulsions haptiques asymétriques à 70 Hz via les actionneurs linéaires résonants internes pour diriger la manette vers la base. Un mode proximité réduit la fréquence des impulsions à 50 % à moins de 150 pixels pour un accostage doux, tandis que l'application interroge des rapports HID pour afficher le pourcentage de batterie et confirmer la charge magnétique. L’installation nécessite Nix, un navigateur Chromium compatible WebHID, une webcam orientée vers le bureau et un seul script de démarrage qui récupère les dépendances et construit le module WASM. L’architecture combine Vue 3 pour l’interface et la boucle de suivi, une couche WebHID pour la manette, une détection d’objets déportée en Web Worker et un module Rust compilé en WebAssembly, et le projet est sous licence MIT.

github.com Resume pret HTTP 200 Commentaires

MSI Center – How to gain SYSTEM privileges in seconds

L'auteur a choisi d'analyser MSI Center, souvent préinstallé sur les ordinateurs MSI, et a récupéré l'installateur hors ligne pour l'extraire et l'examiner. En décompressant l'installateur (Inno Setup) et en décompilant environ 170 exécutables (C# avec ilspycmd et quelques C++ avec IDA), il a cherché des faiblesses communes comme l'utilisation de CreateNamedPipe. Il a découvert que le service "Notebook Foundation" crée sur le démarrage un pipe nommé accessible à tout utilisateur authentifié qui expose des commandes dangereuses permettant la lecture/écriture/suppression du registre, la modification WMI et l'exécution/arrêt d'exécutables en tant que LocalSystem. La protection reposait sur un protocole propriétaire chiffré en 3DES mais la mise en œuvre permet de valider des messages en testant les noms clients enregistrés, ce qui a permis de démontrer une élévation de privilèges locale et une exécution de code à distance sur le LAN via SMB si des identifiants valides sont fournis. Après un premier envoi à la boîte PSIRT apparemment pleine, le signalement a finalement été reçu, MSI a fourni un correctif en deux jours et publié une mise à jour, la demande de CVE est en cours et aucun montant de récompense n'a été reçu pour ces rapports.

mrbruh.com Resume pret HTTP 200 Commentaires

Leanstral 1.5: Proof abundance for all

La nouvelle version du modèle, distribuée sous licence Apache-2.0 avec 6 milliards de paramètres actifs, apporte une amélioration majeure des performances en vérification formelle. Elle atteint 100 % sur miniF2F, résout 587 des 672 problèmes de PutnamBench et obtient 87 % sur FATE-H ainsi que 34 % sur FATE-X. Le modèle a été entraîné en trois étapes — mid-training, fine-tuning supervisé et apprentissage par renforcement avec CISPO — et a appris via deux environnements RL pour prouver des énoncés et modifier du code en contexte. En pratique, il a prouvé la complexité temporelle d’arbres AVL lors de longues sessions de raisonnement et a identifié cinq bugs auparavant inconnus en analysant 57 dépôts. Les poids sont entièrement open source sur Hugging Face, accessibles via une API gratuite, et une utilisation via Mistral Vibe est recommandée.

mistral.ai Resume pret HTTP 200 Commentaires

Giant trees have no trouble pumping water to top branches: new research

Une étude menée par l'Université d'Exeter et l'Université de Cardiff montre que les très grands dipterocarpes tropicaux n'ont pas de difficultés à acheminer l'eau jusqu'à leurs branches les plus hautes. Les chercheurs ont mesuré des arbres de 7 à 71 mètres en Bornéo malaisien et ont constaté que des ajustements internes, comme des vaisseaux conducteurs plus larges près du sol et des feuilles plus résistantes au stress hydrique, compensent l'effet de la hauteur. Les analyses de croissance avant, pendant et après la sécheresse liée à El Niño 2023-2024 n'ont montré aucune perte de croissance liée à la hauteur par rapport aux arbres plus petits. Les résultats remettent en question l'idée largement acceptée selon laquelle la hauteur affaiblit le système hydraulique et accroît la vulnérabilité à la sécheresse, ce qui peut conduire à réviser certains modèles d'impact du changement climatique. Les auteurs demandent davantage d'études sur d'autres espèces hautes en rappelant que les plus grands arbres stockent une part disproportionnée du carbone aérien des forêts et que la recherche a été financée par le Natural Environment Research Council avec des partenaires internationaux.

news.exeter.ac.uk Resume pret HTTP 200 Commentaires