HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6331 articles Page 168/634 Sans filtre

21 May 2026

06:04

www.tbray.org Resume pret HTTP 200 Commentaires

Declining America

L'auteur a reçu une invitation d'une organisation respectée à un rassemblement de cadres au format unconference principalement axé sur l'intelligence artificielle. Il décline l'invitation parce que l'événement a lieu aux États-Unis et, par principe, il se sent mal à l'idée de visiter un pays dont le dirigeant a menacé à plusieurs reprises la souveraineté canadienne et montré du mépris pour la nation. Il évoque aussi un risque pratique lié aux contrôles frontaliers américains, notamment la possible exigence de divulguer ses publications sur les réseaux sociaux, ce qui pourrait avoir des conséquences graves pour sa situation familiale. Il affirme qu'il considère toujours l'organisation comme amie, qu'il a des opinions fortes sur les sujets à discuter et qu'il regrette sincèrement de devoir décliner. Le texte précise enfin que les opinions sont personnelles, qu'une divulgation de ses intérêts professionnels figure sur sa page d'auteur et qu'il est présent sur Mastodon.

21 May 2026

06:04

reubenbrooks.dev Resume pret HTTP 200 Commentaires

Formal Verification Gates for AI Coding Loops

Les failles d'accès multi-locataire restent courantes malgré le consensus sur la règle de ne pas lire les données d'un autre locataire. Les « portes comportementales » comme les prompts et les checklists échouent parce qu'elles reposent sur la mémoire du modèle et des réviseurs et ne garantissent pas l'application systématique de l'invariant. Les portes structurelles — compilateurs, vérificateurs de types et tests automatisés — fournissent des refus concrets qui créent une backpressure déterministe et déplacent la responsabilité de l'invariant hors de l'espace d'instruction du modèle. La méthode Shen-Backpressure écrit des spécifications en Shen que shengen abaisse en types-guard dans le langage cible, obligeant la construction d'une chaîne de preuves (witnesses) pour l'accès et faisant échouer la compilation en cas de contournement. L'auteur note les coûts et limites (spécification erronée, dérive, possibilités d'échappatoire selon le langage) et argue que ces portes structurelles fournissent des signaux vérifiables plus utiles qu'une simple augmentation de la capacité des modèles pour garantir les invariants en production.

21 May 2026

06:04

www.waterdictionary.net Resume pret HTTP 200 Commentaires

Recreate famous water profiles using supermarket bottled water

Le site propose des recettes simples pour recréer des profils d'eau célèbres à partir d'eaux embouteillées vendues en supermarché. Le procédé est présenté en trois étapes : choisir un profil, acheter les bouteilles indiquées, puis les mélanger selon un ratio fourni. Les profils disponibles couvrent le café, le thé, la boulangerie, la brasserie, l'aquarium et l'horticulture. Les instructions précisent généralement seulement deux bouteilles à acheter et ne demandent pas de connaissances en chimie. Les données sont sous licence CC BY 4.0 et certains liens sont affiliés, ce qui peut générer une commission sans coût supplémentaire pour l'acheteur.

21 May 2026

06:04

vmax.ai Resume pret HTTP 200 Commentaires

PopuLoRA: Co-Evolving LLM Populations for Reasoning Self- Play

Les auteurs présentent un cadre de self-play asymétrique fondé sur des populations pour l'entraînement postérieur de grands modèles de langue avec des récompenses vérifiables. Des populations co-évolutives d'enseignants et d'étudiants sont implémentées comme adaptateurs LoRA sur un modèle de base figé, où les enseignants génèrent des tâches vérifiables et les étudiants tentent de les résoudre sous l'évaluation d'un vérificateur Python. La fonction de récompense des enseignants favorise les tâches valides que le student apparié échoue partiellement à résoudre, empêchant l'effondrement du curriculum observé en self-play mono-agent et poussant la difficulté et la diversité des tâches. Des opérateurs d'évolution agissant directement sur les tenseurs LoRA (mutations et croisements) remplacent périodiquement les membres faibles pour préserver la capacité et la diversité, et les appariements sont priorisés par un système TrueSkill pour concentrer l'entraînement sur des confrontations équilibrées. Après entraînement, l'ensemble de la population surpasse un baseline mono-agent apparié en coût de calcul sur plusieurs benchmarks de code et présente des gains suggestifs sur des tâches mathématiques, ce qui indique un curriculum plus difficile et plus diversifié.

21 May 2026

06:04

tante.cc Resume pret HTTP 200 Commentaires

Google Declaring War on the Web

Le texte aborde la notion de reconstruction sociale comme un fait fondamental lié à la valeur d'usage et au rôle des classes laborieuses. Il critique les formes capitalistes de mobilité sociale et met en avant des expériences et des idées prônant l'autonomie, la discipline et le respect de soi. L'auteur cite Voline et insiste sur la nécessité pour le prolétariat de rompre son emprise sur des structures sociales persistantes. Le passage renvoie également à la pensée socialiste et aux enjeux organisationnels, en évoquant la servitude et les préjugés initiaux. Enfin, il souligne les tensions entre aspirations révolutionnaires et résistances sociales sans développer de propositions concrètes.