President pardons 9 for Clean Air violations for 'fixing their car'
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Drone Autonomy Crash Course
Ce guide offre une introduction concise aux éléments nécessaires pour rendre un quadricoptère autonome, couvrant la modélisation, l'estimation d'état, la planification de trajectoire et le contrôle. L'objectif est de servir de point de départ accessible aux débutants plutôt que d'être une source exhaustive ou strictement académique. L'auteur explique qu'il a synthétisé sa propre expérience pour présenter une vue d'ensemble plus claire que celle des articles de recherche souvent trop succincts. Le contenu est organisé en plusieurs articles avec des références pour approfondir les sujets, et certaines sections sont encore en cours de rédaction (WIP). L'auteur se présente comme Carlos, passionné par les quadricoptères, et adopte un ton décontracté pour faciliter la compréhension.
Binary Coverage the Wrong Way
Les fuzzers ont évolué du "dumb fuzzing" vers le fuzzing guidé par la couverture introduit par American Fuzzy Lop, et les outils modernes comme AFL++ utilisent soit une instrumentation LLVM soit un backend qemu_mode pour obtenir un retour de couverture des binaires. Le traçage matériel par Intel PT offre une collecte de couverture quasiment native mais n'est pas disponible sur les processeurs AMD, dont les outils de comptage sont moins documentés, plus lents et souvent imprécis, ce qui rend cette approche inutilisable pour le fuzzing précis. Pour contourner cela, l'auteur a modifié tinykvm pour créer TinyCOV: il remplace les instructions de branchement par des INT3 dans le code invité, gère l'interruption dans le noyau invité resté en ring 3 afin d'enregistrer la couverture, utilise un octet de métadonnées pour indexer des trappes JIT et recourt ponctuellement à des VMExit pour découvrir et instrumenter dynamiquement de nouveaux blocs. La méthode fonctionne et permet même d'extraire des traces complètes ou des informations complémentaires (par exemple pour construire des dictionnaires type CmpCOV), mais elle est beaucoup plus lente que QEMU (environ 700 % plus lente), bien que plus rapide que l'approche ptrace traditionnelle. Cette technique offre des possibilités intéressantes comme des hooks de couverture personnalisés et la possibilité de déhooker des branches pour revenir à une exécution native, mais reste surtout un prototype ludique avec des usages pratiques limités que l'auteur envisage d'expérimenter via LibAFL.
"Beyond the limit": Satellites and mirrors in space pose threat to the night sky
Une étude de l'ESO montre que les projets actuels d'ajouter plus de 1,7 million de satellites, y compris des satellites très brillants, auraient des conséquences dévastatrices pour l'astronomie au sol. Les simulations évaluant positions, mouvements et luminosités indiquent que de vastes constellations provoqueraient des traînées lumineuses fréquentes sur les images et pourraient causer des pertes de champ allant jusqu'à 28 % pour des instruments comme le VLT, voire rendre inutilisables certaines caméras pendant plusieurs heures. Des projets extrêmes, notamment un million de satellites envisagé par SpaceX et une constellation de 50 000 miroirs réfléchissants proposée par Reflect Orbital, augmenteraient fortement la luminosité de fond du ciel (jusqu'à 3–4 fois) et entraîneraient des centaines à des milliers d'objets visibles, certains d'une brillance comparable à Vénus ou à la pleine Lune dans un faisceau réfléchi. Hainaut conclut que pour préserver l'observation astronomique il faudrait limiter le nombre total de satellites à environ 100 000 au maximum et s'assurer qu'ils soient plus faibles que la magnitude visuelle 7, avec une préférence pour des nombres encore inférieurs. L'étude a servi de base à une réponse conjointe d'ESO, de la Royal Astronomical Society et de l'Union Astronomique Internationale aux demandes déposées auprès du régulateur américain (FCC), et souligne aussi des impacts collatéraux possibles sur la santé, les écosystèmes et la pollution atmosphérique liés aux lancements et aux retours atmosphériques.
Zig: All Package Management Functionality Moved from Compiler to Build System
La logique de gestion des paquets a été déplacée hors du binaire du compilateur vers le système de build, en séparant les processus "configurer" et "maker", ce qui réduit la taille de l'exécutable, facilite les correctifs sans reconstruire le compilateur et active des contrôles de sécurité réseau en ReleaseSafe. Plusieurs travaux ont amélioré les performances de compilation et de linkage : un nouveau linker ELF prend en charge des rebuilds incrémentaux très rapides, l'incrémentalisation a été étendue au backend LLVM, et la refonte de la résolution de types réduit l'analyse inutile. Les backends ont reçu d'importantes évolutions techniques, notamment des progrès du backend SPIR‑V (nouvel @SpirvType, modes d'exécution via calling convention, codegen multithread, liaison d'objets .spv) et des améliorations de l'backend LLVM incluant un meilleur abaissement des entiers et la nouvelle définition des sémantiques de @bitCast apportant corrections et gains de performance. Sur le plan système, std.Io propose désormais des implémentations io_uring et Grand Central Dispatch reposant sur des fibres et la bibliothèque privilégie l'appel aux API natives de Windows (ntdll) plutôt qu'aux wrappers kernel32 pour réduire allocations, échecs nondéterministes et overhead. L'expérience de gestion des dépendances a été enrichie par le répertoire local zig-pkg et l'option --fork pour surcharger des paquets en développement, tandis que le projet zig libc remplace des sources C vendorisées afin de réduire la taille, améliorer l'optimisation et simplifier l'intégration.
Potential session/cache leakage between workspace instances or consumer accounts
L'utilisateur signale une fuite apparente de session alors qu'il était authentifié sur l'espace de travail Enterprise ZDR. L'agent a soudainement demandé quel type de briques l'utilisateur voulait pour son temple Minecraft et a affirmé dans son récapitulatif qu'il construisait un temple Minecraft. Il envisage que le contenu provienne d'un collègue ou d'une fuite depuis un plan consommateur, ce qui soulève des questions sérieuses de confidentialité pour les sessions sensibles d'Enterprise ZDR. Environnement signalé : macOS (darwin) dans Apple_Terminal, version 2.1.199, Feedback ID f336f5d2-3992-4a04-9e1f-ec30f006f75e. L'utilisateur précise aussi qu'il avait un répertoire .claude et que l'agent a compacté la conversation puis a commencé à travailler dans le répertoire de lancement malgré une instruction de ne pas y toucher, ce comportement étant distinct de la fuite liée à Minecraft.
Meta's Un-Stable Signature
Résumé indisponible pour cet article.
Record-breaking solo rower Kelsey Pfendler arrives in Hawaii
Kelsey Pfendler a achevé à la rame en solitaire un trajet d'environ 2 400 milles de Monterey, Californie, à Honolulu en partant le 21 mai. Elle est arrivée à la marina Ala Wai à bord de son bateau océanique Lily et a été accueillie par des centaines de personnes au Hawaii Yacht Club peu après 21 heures. Elle a réalisé la traversée en 43 jours, battant le record féminin précédent de 86 jours, 10 heures et 5 minutes détenu par Lia Ditton, ainsi que le record masculin de 52 jours. Sa mission visait à inspirer les femmes et à recueillir des fonds et à sensibiliser le public pour la Whale Foundation, qui a reçu plus de 30 000 dollars depuis le début de son voyage. Guide de rivière expérimentée du Grand Canyon, Pfendler avait déjà traversé le Pacifique en 2024 à la barre de l'équipage Hericane Rowing, et elle a été rejointe par des membres de son équipe à son arrivée avant de se reposer et de s'exprimer devant les médias.
Moby Dick Workout
L'auteur s'interroge sur le nombre d'éléments qu'une liste de tâches devrait pouvoir gérer et estime que les applications de productivité doivent supporter le contenu généré par l'utilisateur. Il utilise "Moby Dick" comme banc d'essai parce que ce texte est plus long et plus complexe que ce qu'il écrit habituellement. Il décrit une procédure de test consistant à ouvrir le fichier, défiler jusqu'à la fin et au milieu, redimensionner la fenêtre, sélectionner tout, couper, coller, annuler, refaire et éditer sans latence ni saut de défilement. Il conseille de répéter ces opérations plusieurs fois puis de vérifier l'usage mémoire avec le Moniteur d'activité macOS pour juger des performances. Il précise que ce test est indicatif et fournit trois fichiers de test (MobyDick.bike, MobyDick.opml, MobyDick.markdown) adaptés à différents types d'applications.
The Log Is the Agent
Les auteurs proposent un runtime qui renverse l'architecture habituelle des cadres d'agents en faisant d'un journal d'événements append-only la source unique de vérité. L'état de travail est une projection déterministe de ce journal et des comportements variés — fonctions ordinaires, classes, routines assistées par LLM ou logiques attachées aux arêtes typées — réagissent aux changements du graphe pour émettre de nouveaux événements. La coordination s'effectue uniquement via le graphe partagé sans qu'un composant n'en donne l'instruction à un autre, ce qui permet notamment la relecture déterministe de toute exécution à partir du journal. Cette conception fournit trois propriétés clés absentes des systèmes mémoire par récupération et résumé : relecture déterministe, forquage peu coûteux d'une exécution à partir de n'importe quel événement sans réexécuter le préfixe partagé, et traçabilité complète depuis un objectif jusqu'à l'appel de modèle ayant produit chaque artefact. Le texte présente l'architecture, un contrat de déterminisme rendant la relecture solide, un exemple de diligence entièrement reconstruisable depuis le journal, et discute de la pertinence de ce substrat pour des agents auto-améliorants en prolongeant des travaux antérieurs sur BabyAGI et la recherche en mémoire par graphe.