HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

3081 articles Page 29/309 Sans filtre

06:09

A security scanner as fast as a linter – written in Rust

Le projet propose un scanner de sécurité local extrêmement rapide capable d'analyser un dépôt en quelques centièmes de seconde pour fournir un retour immédiat aux développeurs. Il intègre plus de cent règles prédéfinies couvrant dix langages (JavaScript/TypeScript, Python, Go, Ruby, Java, PHP, Rust, C#, Swift) et des contrôles spécifiques à des frameworks comme Express, Django, Rails, Spring ou Laravel. L'outil est fourni en un seul binaire Rust utilisant tree-sitter pour l'analyse AST et rayon pour le parallélisme, sans besoin de JVM, d'interpréteur Python, d'accès réseau ni d'étape de téléchargement de règles. Il peut charger un sous-ensemble compatible de règles Semgrep/OpenGrep, détecte aussi des secrets et clés privées, et produit des sorties terminal, JSON ou SARIF pour une intégration en CI, en extension VS Code ou en hooks pre-commit. La philosophie n'est pas de remplacer complètement Semgrep mais d'offrir un feedback local très rapide avec une passerelle d'adoption, des analyses sur fichiers modifiés et des baselines de dépôt pour faciliter l'intégration en équipe.

06:09

The best seat in town

JCDecaux, inventeur du mobilier urbain moderne, a remplacé à Paris 417 toilettes par 435 cabines auto-nettoyantes en 18 mois dans la perspective des Jeux, chaque cabine étant utilisée en moyenne 200 fois par jour. Les toilettes se nettoient automatiquement après chaque usage grâce à des jets et capteurs qui désinfectent cuvette et sol, et elles améliorent l'accès à la ville pour personnes âgées, personnes handicapées, parents et usagers nocturnes. L'entreprise gère aussi plus de 4 000 éléments de mobilier urbain — abribus, colonnes Morris et kiosques — et pilote des expérimentations végétalisées ainsi que des règles publicitaires visant à mieux intégrer ces objets au paysage. Le modèle économique repose sur la vente d'espaces publicitaires qui finance l'entretien et la cohérence du système, un principe appliqué ailleurs comme à San Francisco où des cabines similaires ont été installées sans coût pour la ville. En revanche, Los Angeles a connu des retards et des installations limitées de toilettes et d'abribus avant 2028, ce qui souligne un déficit d'investissement dans ces infrastructures urbaines et prive la ville des bénéfices pratiques et humains observés à Paris.

06:09

Simulating a 2D Quadcopter from Scratch

Cet article construit un modèle élémentaire d’un quadricoptère plan en dérivant les équations du mouvement dans un repère y (horizontal), z (vertical) et un angle de rotation φ. Les équations de Newton-Euler donnent m ÿ = -(F1+F2) sinφ, m z̈ = (F1+F2) cosφ - mg et I φ̈ = (F1-F2) ℓ, qui sont reformulées en variables d’état. L’entrée est choisie comme u = [u1, u2] = [F1+F2, F1-F2] et l’état x = [y, z, φ, ẏ, ż, φ̇] permet d’écrire le système premier ordre ẋ = f(x,u). Le code Python définit les paramètres physiques, implémente la dynamique, intègre par la méthode d’Euler et trace/visualise les trajectoires en testant des cas à couple nul puis non nul. Dans le cas sans couple l’horizontal et l’angle restent constants tandis que z croît quadratiquement, et avec un couple non nul la rotation réduit la composante verticale de poussée jusqu’à ce que l’engin retombe ou bascule.

06:08

We've raised $17M to build what comes after Git

GitButler a levé 17 millions de dollars en Série A menée par a16z, avec le soutien continu des investisseurs seed Fly Ventures et A Capital. Scott Chacon, cofondateur de GitHub, annonce l'arrivée de Peter Levine d'a16z au conseil et s'appuie sur quinze ans d'expérience pour expliquer la vision du projet. Les fondateurs estiment que Git, conçu pour des flux de travail plus anciens, ne répond plus aux pratiques modernes et crée des frictions dans la collaboration, la revue et l'intégration des changements. La préversion technique du CLI GitButler vise les workflows trunk-based et les branches empilées, prend en charge humains, agents et scripts, et s'intègre à n'importe quel projet Git pour faciliter l'organisation, le multitâche et les annulations. L'objectif déclaré est de construire une nouvelle infrastructure pour le développement logiciel qui conserve le contexte des interactions, coordonne agents et équipes et rend le travail d'équipe plus social, plutôt que de proposer simplement un "meilleur git".

06:08

FBI used iPhone notification data to retrieve deleted Signal messages

Le FBI a pu récupérer des messages Signal supprimés d’un iPhone en extrayant des données stockées dans la base de données des notifications de l’appareil. Selon les éléments du procès, seuls les messages entrants ont été retrouvés, ce qui semble lié au fait que la prévisualisation du contenu des notifications n’était pas désactivée sur l’appareil. La méthode exacte reste incertaine en l’absence de détails sur l’état du téléphone, mais l’extraction pourrait provenir d’une sauvegarde ou de l’utilisation d’outils commerciaux exploitant des vulnérabilités iOS. Le rapport souligne aussi que le jeton utilisé pour les notifications push n’est pas immédiatement invalidé lors de la suppression d’une application, ce qui peut permettre au serveur de continuer à pousser des notifications que l’iPhone stocke. Ni Signal ni Apple n’ont commenté la gestion ou le stockage des notifications, et Apple a récemment modifié la validation des jetons de notification push dans iOS 26.4, un élément temporellement notable mentionné par le média.

06:08

Penguin 'Toxicologists' Find PFAS Chemicals in Remote Patagonia

Des chercheurs ont équipé 54 manchots de Magellan en Patagonie de capteurs passifs en silicone autour des pattes pendant les saisons de reproduction 2022-2024 pour collecter des polluants. Les échantillons, envoyés à l'University at Buffalo (SUNY) pour analyse, ont révélé la présence de substances per- et polyfluoroalkylées (PFAS) dans plus de 90 % des bandeaux. L'analyse a mis en évidence un mélange de polluants historiques et de remplaçants récents, notamment GenX, indiquant que ces composés atteignent des écosystèmes éloignés. La méthode, peu invasive, permet de transformer les manchots en sentinelles environnementales et pourrait être étendue à d'autres espèces pour surveiller la contamination marine. L'étude, réalisée par des équipes de UC Davis, University at Buffalo et CONICET et financée par le Houston Zoo, souligne des enjeux pour la santé de la faune et la conservation marine.

06:08

The difficulty of making sure your website is broken

Let’s Encrypt a développé un programme en Go pour héberger, pour chaque racine, trois sites de test fournissant un certificat valide, un certificat expiré et un certificat révoqué mais non expiré. Le programme utilise la bibliothèque Lego pour obtenir et révoquer des certificats via ACME et accomplit les défis TLS-ALPN-01 depuis le serveur Go intégré. Pour garantir l'état attendu des certificats, il stocke un certificat « next » et n'active un certificat expiré ou révoqué qu'après des délais d'attente et la vérification de la présence du numéro de série dans la CRL. Le serveur TLS Go choisit le certificat en mémoire selon le SNI et refuse de servir un certificat expiré sauf lorsqu'un certificat expiré est explicitement prévu pour le site de test. Le projet est open source, propose une version texte pour les clients en ligne de commande et est destiné à aider les développeurs et autres autorités de certification à tester la gestion de certificats révoqués et expirés.