HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11890 articles Page 823/1189 Sans filtre

Joby kicks off NYC electric air taxi demos with historic JFK flight

Cette semaine, Joby Aviation a réalisé le premier vol point à point d’un eVTOL entre l’aéroport JFK et l’héliport West 30th Street à Manhattan, marquant la première rotation d’un taxi aérien électrique depuis un des trois aéroports majeurs de New York. L’entreprise effectuera d’autres démonstrations durant dix jours vers plusieurs héliports et vertiports électrifiés de la ville, avec des partenaires comme Delta et Uber et l’objectif d’augmenter la fréquence des vols pour simuler un service de porte à porte. La Port Authority of New York and New Jersey pilote un projet eVTOL au sein du programme d’intégration de la FAA (eIPP) qui inclura bientôt des démonstrations d’Archer, Beta, Wisk et Electra et des études pour construire des vertiports, notamment à LaGuardia. Les appareils eVTOL en démonstration combinent décollage vertical et vol alaire grâce à des hélices basculantes, sont conçus pour transporter un pilote et quatre passagers à environ 200 mph avec redondance moteur et profil sonore réduit, et Joby a déjà accumulé des dizaines de milliers de miles de tests et engagé le processus TIA de la FAA. Ces essais visent à valider la sécurité, le bruit, l’efficience et l’économie des opérations pour des usages variés — transferts aéroportuaires, fret et livraisons médicales — tandis que les autorités et entreprises préparent infrastructures, formation de main-d’œuvre et calendriers pour de futures opérations commerciales.

www.flyingmag.com Resume pret HTTP 200 Commentaires

London to Calcutta by Bus (2022)

Pendant une quinzaine d'années, de la fin des années 1950 au début des années 1970, il était possible de relier Londres à Calcutta par autocar en environ cinquante jours en traversant des paysages et sites remarquables. Le premier service, organisé par Oswald-Joseph Garrow-Fisher, partit le 15 avril 1957 à bord d'un AEC Regal III remis à neuf et acheva l'aller-retour de 20 300 miles le 2 août 1957 avec des tarifs de 85 £ à l'aller et 65 £ au retour. L'itinéraire traversait de nombreux pays — dont la France, l'Italie, l'Allemagne de l'Ouest, la Yougoslavie, la Turquie, l'Iran, l'Afghanistan et le Pakistan — et marquait des étapes dans des villes comme Paris, Venise, Istanbul, Téhéran, Lahore, Delhi, Agra et Calcutta, les passagers dormant tantôt en hôtels tantôt en campement. Le voyage fut ponctué d'incidents et de conditions difficiles — tempêtes de sable, pluies torrentielles, routes effondrées, roues enlisées nécessitant des planches, et une fermeture de frontière entraînant une diversion via Karachi et un retard de seize jours qui suscita des rumeurs alarmistes avant que l'ambassade britannique à Téhéran ne confirme leur sécurité. L'initiative effectua quatre allers-retours, engendra de nombreux opérateurs concurrents (jusqu'à une trentaine) et des variantes jusqu'à Sydney, puis déclina après 1979 en raison des conflits régionaux, tandis que des projets récents de lignes overland entre Delhi et Londres ont été annoncés mais retardés, notamment par la pandémie de Covid.

www.amusingplanet.com Resume pret HTTP 200 Commentaires

Monad Tutorials Timeline

La chronologie rassemble, de 1992 à 2025, des articles, tutoriels, papiers et ressources expliquant les monades dans divers langages et contextes. On y trouve des contributions historiques et fondamentales (Wadler, Moggi, Mac Lane) ainsi que des tutoriels pratiques couvrant Haskell, Scheme, Java, JavaScript, Ruby, Perl, Clojure, Scala, Python et C++. Les thèmes récurrents incluent la définition catégorique (monoïde dans la catégorie des endofoncteurs), les métaphores pédagogiques, les transformateurs de monades, les monades spécifiques comme Maybe, State et IO, et les relations avec les foncteurs et applicatifs. Le corpus reflète aussi une réflexion critique sur la pédagogie des monades, nommément le «monad tutorial fallacy», et propose des approches alternatives allant de développements formels à des explications pragmatiques sans théorie des catégories. La page invite les lecteurs à contribuer et à mettre à jour la liste en ajoutant des liens vers des tutoriels ou articles pertinents pour en faire une ressource évolutive pour l'apprentissage des monades.

wiki.haskell.org Resume pret HTTP 200 Commentaires

Biology is a Burrito: A text- and visual-based journey through a living cell

Un génome bactérien déroulé en fil serait près de 1 000 fois plus long que la cellule qui le contient, et les génomes des descendants d'une seule E. coli pourraient, alignés, atteindre la Lune et en revenir plusieurs fois. Les cellules sont extrêmement encombrées : environ 70 % d'eau et 30 % de biomolécules dominées par des protéines, ARN et lipides, ce qui rend les représentations artistiques insuffisantes pour rendre compte des dynamiques rapides et chaotiques. La biologie quantitative permet de chiffrer des processus clés, par exemple qu'une E. coli possède ~4 400 gènes dont ~25 % sont transcrits, qu'une ARN polymérase avance à ~40 bases par seconde et qu'un ribosome synthétise une protéine moyenne en ~24 secondes, la cellule contenant trois à quatre millions de protéines. La diffusion impose des limites de taille aux cellules puisque les petites molécules se déplacent beaucoup plus vite que les grosses, et malgré des concentrations faibles les enzymes rencontrent des substrats des centaines de milliers de fois par seconde. De nombreuses protéines ont des fonctions contextuelles différentes, ce qui nécessite de nouvelles méthodes pour mesurer leurs dynamiques et interactions et motive l'enseignement d'une biologie fondée sur des calculs, comme l'auteur l'a expérimenté durant son doctorat en biophysique.

burrito.bio Resume pret HTTP 200 Commentaires

Copy Fail

CVE-2026-31431 est une faille logique dans le chemin AF_ALG du noyau, liée à l'optimisation algif_aead, qui permet une écriture de 4 octets dans la page-cache conduisant à une élévation de privilèges locale sur les noyaux livrés depuis 2017. La vulnérabilité ne requiert qu'un compte utilisateur non privilégié, n'a pas besoin de fenêtre de course ni d'offset spécifique, et un PoC Python de 732 octets permet d'obtenir une session root sur plusieurs distributions sans modification. Sont concernés les systèmes Linux grand public testés (Ubuntu, Amazon Linux, RHEL, SUSE et d'autres) et le risque est élevé pour les hôtes multi-locataires, les clusters Kubernetes, les runners CI et les services cloud exécutant du code non approuvé. La correction upstream (retrait de l'optimisation algif_aead) a été intégrée et il est possible en urgence de désactiver le module algif_aead via /etc/modprobe.d pour atténuer le risque sans impact notable sur la plupart des usages. La vulnérabilité a été signalée en mars 2026, patchée en avril 2026, documentée publiquement avec PoC et tracker, et a été découverte par la numérisation automatisée de Xint Code.

copy.fail Resume pret HTTP 200 Commentaires

The Zig project's rationale for their firm anti-AI contribution policy

Le projet Zig applique une politique très stricte interdisant l'utilisation d'IA de type LLM pour les problèmes, les pull requests et les commentaires du bug tracker, y compris pour la traduction; l'anglais est encouragé mais non obligatoire. Le runtime JavaScript Bun, écrit principalement en Zig et acquis par Anthropic, utilise largement l'IA et maintient un fork de Zig qui a obtenu un gain de performance 4x sur la compilation après l'ajout d'une analyse sémantique parallèle et de multiples unités de génération de code, mais l'équipe de Bun indique qu'elle ne compte pas remonter ces changements dans Zig à cause de l'interdiction des contributions assistées par LLM. Loris Cro, vice-président de la communauté de la Zig Software Foundation, explique que la politique vise à privilégier le développement des contributeurs plutôt que l'acceptation de contributions parfaites, car l'effort des relecteurs sert avant tout à former des contributeurs fiables et prolifiques. Il qualifie ce principe de « contributor poker », signifiant qu'on mise sur la personne qui contribue plutôt que sur le contenu de sa première PR. Loris argue que l'assistance par LLM rompt ce modèle parce qu'une PR générée par une IA n'aide pas les mainteneurs à faire progresser un contributeur et peut même les pousser à utiliser leurs propres outils d'IA pour résoudre les mêmes problèmes.

simonwillison.net Resume pret HTTP 200 Commentaires