HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 381/1208 Sans filtre

“Gravity is worth asking about”

John Gruber observe que les publicités apparaissent de plus en plus sur les produits et services Apple, comme l'App Store, Apple News et potentiellement Apple Maps. Il compare ces publicités à des autocollants et rappelle une anecdote où Steve Jobs répondait en plaisantant qu'Apple préfère ses propres autocollants plutôt que des labels comme "Intel Inside". Gruber applique la règle zero-one-infinity aux publicités et explique que permettre une seule annonce mène rapidement à en accepter plusieurs puis à une prolifération incontrôlée. L'article illustre ce glissement par des exemples d'interfaces où un choix unique a fini par devenir de multiples options, augmentant la complexité et la charge mentale des utilisateurs. L'auteur soutient qu'il est crucial d'engager et d'habiliter des personnes capables d'imposer des limites arbitraires et de dire non pour éviter que des décisions isolées n'entraînent une complexification continue.

unsung.aresluna.org Resume pret HTTP 200 Commentaires

Painting with Gaussians

Le projet consistait à créer un outil interactif de peinture numérique qui place des traits guidés par les contours et la structure de l'image plutôt que par une grille fixe. Les coups de pinceau sont modélisés par des splats gaussiens dont la covariance encode orientation et étirement, la compositing alpha gère l'opacité, et la structure tensorielle (avec l'extension couleur de Di Zenzo) fournit angle et cohérence. La densité et la taille des coups sont pilotées par une carte d'énergie de détails issue d'une décomposition 2D Haar normalisée localement, permettant de distinguer texture, contours faibles et zones lisses pour répartir les traits. Pour éliminer les artefacts de grille, les positions sont tirées d'un hash d'avalanche produisant un bruit blanc sans périodicité, la variation organique est apportée par un champ de flux Perlin, et les niveaux de détail sont construits par empilement de couches de splats de plus en plus fins avec chaînes segmentées le long des tangentes d'arête. La génération a été déplacée sur GPU pour l'interactivité et la performance, et l'auteur conclut que la combinaison d'arêtes, ondelettes, bruit et composition produit des rendus proches de la peinture; le projet est publié en open source.

yogthos.net Resume pret HTTP 200 Commentaires

What happens if you put work into the second dimension?

L'équipe a développé un prototype de toile 2D permettant de placer des terminaux réels, des applications et des navigateurs côte à côte, puis a transformé ce prototype en un produit gratuit pour macOS. L'auteur décrit comment l'arrivée des agents a multiplié le travail parallèle et les changements de contexte, rendant le travail plus fatigant malgré moins d'efforts manuels. Après des expérimentations en 3D (notamment dans Minecraft et Three.js) jugées déroutantes, ils ont adopté une version 2D en Flutter qui a rapidement conquis l'équipe. La plateforme propose une toile infinie collaborative où chaque tuile est l'objet réel en fonctionnement, favorisant le regroupement par contexte et l'usage de la mémoire spatiale plutôt que des onglets. L'architecture est « local d'abord » avec partage opt-in, hachage d'actifs et un léger serveur de diffusion, et l'équipe travaille sur des extensions WASM, des versions mobile et web et des capacités 3D.

norbertkozsir.com Resume pret HTTP 200 Commentaires

Why Erdős Problems Are Falling to AI

Des modèles d'IA ont produit des avancées mathématiques importantes, notamment un contre‑exemple à la conjecture des distances unitaires annoncé par OpenAI et plusieurs solutions à des problèmes posés par Paul Erdős. Le mathématicien Thomas Bloom a constitué et animé la base erdosproblems.com, qui a centralisé des centaines de problèmes, clarifié leurs énoncés et favorisé une communauté de collaboration ouverte réunissant amateurs et chercheurs. Des hobbyistes et étudiants ont exploité des modèles publics comme GPT‑5.2 et des outils de vérification automatisée en développant des méthodes de "prompting", d'itération croisée et de formalisation pour produire et affiner des démonstrations. Parallèlement, des laboratoires comme Google DeepMind et OpenAI ont déployé agents et modèles internes pour évaluer systématiquement des conjectures, obtenant de nombreux résultats formalisés à un coût mesurable par problème. La communauté mathématique est partagée entre l'enthousiasme pour le gain de productivité et l'inquiétude face à la vérification, à la qualité des preuves automatiques et à l'impact sur les carrières et les priorités de recherche.

www.quantamagazine.org Resume pret HTTP 200 Commentaires

LLMs won't break symmetric crypto

Anthropic a annoncé que son LLM Claude Mythos a trouvé des attaques cryptanalytiques, notamment une récupération de clé sur HAWK qui réduit la sécurité estimée de HAWK‑512 de 128 bits à au plus 108 bits (et, de manière spéculative, jusqu'à 81 bits) et une amélioration d'une attaque sur AES‑128 limitée à 7 tours sans menace pour l'AES complet. Les auteurs précisent que ces résultats n'entraînent pas de compromis pratiques généralisés des schémas symétriques établis, même s'ils sont importants pour l'évaluation de certains candidats post‑quantum. Anthropic propose de développer davantage la recherche en cryptographie assistée par LLM et de formaliser les techniques d'attaque en cryptanalyse, proposition que l'auteur approuve en réclamant un formalisme unifié pour la cryptanalyse symétrique. Les LLM se révèlent utiles pour détecter des erreurs dans des estimations de complexité et des preuves de sécurité, comme l'illustre l'expérience de l'auteur sur des papiers EUROCRYPT 2026, et Anthropic a aussi aidé à créer CryptanalysisBench, un benchmark sur AES, ChaCha et candidats NIST. L'auteur estime que les LLM ne vont pas casser AES, ChaCha, SHA‑3 ou BLAKE3 parce que ces primitives sont délibérément dépourvues de structure mathématique exploitable, reposent principalement sur des techniques différentielles empiriques déjà largement étudiées et ont subi une longue et robuste mise à l'épreuve.

www.bfswa.blog Resume pret HTTP 200 Commentaires

When online commenters detect my art as AI

L'auteur a rassemblé une série de captures d'écran anonymisées montrant des dizaines de commentaires en ligne sur plusieurs plateformes accusant ou doutant que ses œuvres soient générées par l'IA. Malgré le fait qu'il crée chaque pièce à la main et publie des timelapses, ces commentaires persistent et deviennent de plus en plus virulents. La compilation de ces réactions a servi de source d'inspiration et de frustration pour son épisode hebdomadaire de bande dessinée numéro 64. Il souligne que ce phénomène est problématique pour des artistes comme lui en 2026, considérés comme des sources privilégiées pour l'entraînement des modèles d'images. Il espère que cette collection transmettra le ressenti et la gravité du problème lié à l'utilisation sans consentement de plus de vingt ans de son travail en ligne.

www.davidrevoy.com Resume pret HTTP 200 Commentaires

Aristotle quotes on virtue, knowledge, and happiness

Le texte présente Aristote comme un philosophe grec majeur dont les idées en éthique, logique, politique et sciences naturelles ont durablement marqué la pensée. Il rappelle qu'il fut élève de Platon, précepteur d'Alexandre et fondateur du Lycée, où il aborda des sujets allant de la biologie à la métaphysique. L'article compile vingt-cinq citations attribuées à Aristote, principalement tirées de l'Éthique à Nicomaque, de la Métaphysique, de la Politique et de la Rhétorique, accompagnées de brefs commentaires. Les citations mettent l'accent sur des thèmes récurrents tels que la formation des habitudes, la vertu, le bonheur, l'amitié, l'éducation et la primauté de la raison. L'ensemble vise à montrer comment la pensée aristotélicienne offre des repères pratiques pour la vie morale et l'action intellectuelle plutôt que des analyses savantes détaillées.

www.campion.edu.au Resume pret HTTP 200 Commentaires

Building an Advanced Agentic Harness

L'article décrit comment transformer un appel LLM isolé en un système fiable capable de planifier, exécuter, récupérer et prouver ses résultats en composant des primitives simples. Les primitives incluent un fournisseur LLM interchangeable avec un MockProvider pour tester, ainsi que des outils typés validés par Pydantic afin d'attraper les erreurs d'arguments avant exécution. Le plan est représenté comme un graphe acyclique dirigé dont l'exécuteur lance en parallèle les nœuds prêts tout en limitant la concurrence et en validant la structure du plan. La mémoire est hiérarchisée (mémoire de travail, épisodique et sémantique) assemblée sous un budget strict, et les sorties passent par une hiérarchie de vérification déterministe puis par un juge LLM si nécessaire. Le système ajoute une gestion multi-dimensionnelle des budgets, un traceur événementiel pour l'observabilité, des rôles séparés (Planner, Worker, Critic) et des politiques de reprise d'erreur, tout en notant des limites et le besoin d'un futur banc d'essai d'évaluation.

data4sci.com Resume pret HTTP 200 Commentaires