HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6194 articles Page 453/620 Sans filtre

07:05

Java 26 is here

Java 26 regroupe dix JEP couvrant l’exécution, les APIs et des previews, afin de poser les bases de futures avancées liées à Valhalla. Dans HotSpot, JEP 516 propose un cache d’objets en amont compatible avec tout GC et JEP 522 vise à augmenter le débit en réduisant la synchronisation des threads de GC. Les Core Libs introduisent JEP 517 pour HTTP/3 et les previews 524, 525, 526, 529 et 530 apportent respectivement PEM, Structured Concurrency, Lazy Constants, Vector API et les types primitifs dans patterns, instanceof et switch. JEP 500 installe des avertissements et des restrictions sur la mutation des champs finals et JEP 504 prévoit la suppression de l’Applet API. Le document met en avant les considérations de migration et souligne que Java 26 vise la stabilité tout en préparant les évolutions futures.

07:05

Font Smuggler – Copy hidden brand fonts into Google Docs

Google Workspace permet à certaines marques qui paient suffisamment d'intégrer des polices d'entreprise personnalisées dans leurs documents et présentations. En principe, ces polices restent verrouillées pour les marques bénéficiaires, mais il existe une faille : le copier-coller. Le texte présente une sélection de polices de marque qui peuvent être copiées dans le presse-papiers pour être collées dans Docs ou Slides. Pour procéder, il faut trouver une police, la copier et ensuite ouvrir un document Google Docs ou Slides et coller. Le mécanisme ne fonctionne pas sur les applications mobiles de Google.

07:04

Torturing Rustc by Emulating HKTs

Le texte analyse l’absence de higher-kinded types (HKTs) dans Rust et explique ce que sont les constructeurs de types et les types eux-mêmes, en utilisant Vec comme exemple pour illustrer les limites des génériques. Il décrit une tentative d’imiter les HKTs via un trait Wrap et des wrappers, mais montre que cela conduit à des constructions récursives complexes et à des dérives de types qui compliquent les égalités partielles. L’auteur examine les notions d’induction et de co-induction dans le raisonnement sur les traites et les résolveurs de traits, avec des exemples où les preuves pourraient former des arbres infinis et où les cycles posent problème. Le billet inclut une digression sur Lean 4 et l’isomorphisme Curry-Howard, utilisant des démonstrations en Lean pour comparer preuves et programmes et pour illustrer des difficultés similaires rencontrées en Rust. En conclusion, le texte exprime des réserves sur Rust tout en reconnaissant l’intérêt pédagogique de l’exploration et appelle à des ressources plus claires sur les systèmes de types avancés.

07:04

'The Secret Agent': Exploring a Vibrant, yet Violent Brazil (2025)

Le film est un thriller politique visuellement subversif situé en 1977 pendant la dictature militaire brésilienne, tourné au Brésil avec des couleurs vives pour contraster avec le sujet sombre. Il suit Marcelo, ancien professeur et expert en technologie, en fuite à Recife durant la semaine de carnaval, alors qu’il tente de rejoindre son fils et d’affronter son passé secret tout en étant persécuté en tant que dissident. La photographie est confiée à Evgenia Alexandrova avec l’Alexa 35 et des objectifs anamorphiques Panavision vintage, travaillant presque seul comme opératrice et explorant un champ de vision proche de 360 degrés. Pour la colorimétrie, elle a ajusté les tons rouges du matériel de référence afin d’obtenir plus de contraste et a travaillé les halos et les halations sans filtrer sur le plateau, préférant la texture en post-production. Des scènes marquantes comme l’ouverture dans une station-service, la séquence dans une salle de cinéma et la célébration du carnaval montrent une lumière et un montage travaillés avec des équipements (12K Dino Lights, SkyPanels, enseignes publicitaires) afin de capter l’atmosphère brésilienne des années 70 et l’émotion du personnage.

07:04

OpenSUSE Kalpa

Kalpa est un bureau Linux atomique et transactionnel qui propose l’environnement de bureau Plasma du projet KDE. Le bureau est dérivé de Tumbleweed et le système de base est dérivé de MicroOS, et Kalpa est membre du projet openSUSE. L’installation se fait en téléchargeant le média d’installation ISO, et une page de documentation est disponible. Les canaux de contribution et de communication incluent Kalpa Matrix Chat, Mastodon, les forums openSUSE et OpenBuildService, ainsi que les rapports de bugs et les demandes de fonctionnalités. Des remerciements spéciaux sont adressés à Aeon, Codeberg, Zola et Juice pour leur contribution et leur soutien.

07:04

Arno's Engram Keyboard Layouts

Engram est une famille de dispositions de clavier créée par Arno Klein, optimisées pour une saisie tactile confortable et efficace dans plusieurs langues. Le projet s’appuie sur des fréquences d’N-grammes dépendantes de la langue et sur des préférences de frappe indépendantes de la langue, et utilise une optimisation multi-objectifs guidée par des données de frappe collectées auprès des utilisateurs. Les lettres y sont disposées pour réduire les mouvements latéraux des doigts, les signes de ponctuation les plus fréquents sont centralisés et les chiffres sont associés à des symboles. Des dispositions Engram existent pour l’anglais et l’espagnol, l’anglais étant présenté comme un clavier ergonomique orthonormal et décalé. L’article souligne l’importance de l’open source, les motivations des créateurs et les remerciements adressés aux contributeurs et partenaires.

07:04

Show HN: I built an interactive 3D three-body problem simulator in the browser

Le texte présente une simulation en trois dimensions des dynamiques gravitationnelles chaotiques. Elle permet de manipuler l’orbite avec la souris et de zoomer en utilisant la molette. Plusieurs paramètres configurables sont proposés, dont la vitesse, la constante gravitationnelle et la douceur numérique. Les valeurs indiquées incluent une vitesse de 1×, une gravitation G égale à 1, une douceur de 1e-6 et un pas de temps dt égal à 0,002. Le texte mentionne un champ pour l’intégrateur, suggérant que différents schémas numériques peuvent être choisis.

07:03

Kagi Small Web

Kagi Small Web vise à humaniser le web en mettant en lumière les personnes derrière les publications. Ce coin du web, moins connu, est appelé le « small web ». L’objectif est d’amplifier les voix de vrais humains et d’indiquer leurs sources, ou de vérifier si votre blog figure sur la liste. Vous verrez ces pages dans les recherches Kagi lorsque vous cherchez quelque chose de pertinent et vous pourrez lire les publications des sept derniers jours. Le projet est open-source et vous êtes invité à rencontrer les voisins du web.