HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 409/1208 Sans filtre

qm – Multiplayer agent harness for work

QM est un cadre d'agents conçu pour les startups qui offre des espaces de travail isolés par employé tout en permettant la collaboration via canaux, messages de groupe, projets, Slack et l'application web. Chaque utilisateur et chaque salle disposent d'une mémoire, de fichiers, d'un trousseau, de permissions, de tâches planifiées et d'un bac à sable durable, et les compétences peuvent être partagées ou promues au niveau organisationnel. L'architecture repose sur un cœur headless (API, identité, politique, ordonnanceur) qui orchestre une boucle d'agent pouvant employer divers modèles et un stockage Postgres, avec des bacs à sable isolés pour l'exécution de commandes et des plugins optionnels pour Slack, l'interface web et l'administration. La sécurité propose trois postures (Strict, Auto par défaut et Dangerous) avec des règles d'approbation et d'interdiction prédéclarées pour les actions dangereuses, et les actions de l'agent sont auditées sous les identifiants de l'utilisateur. Le déploiement se fait via un dépôt de configuration initialisé par le CLI, avec l'option d'un fork privé pour garder les personnalisations locales, les contributions se formulent par textes ADR et le projet est majoritairement sous licence MIT.

github.com Resume pret HTTP 200 Commentaires

The development pipeline is a production system

Les développeurs accordent généralement une grande urgence aux pannes en production et mobilisent immédiatement des ressources pour les corriger. Le texte souligne que les outils de développement, les systèmes de build, les environnements QA et autres éléments du pipeline sont tout aussi essentiels et constituent pour l’équipe un système de production. Si le code ne compile, les tests échouent ou le serveur QA est indisponible, l’équipe ne peut pas livrer de logiciel et cela doit être traité comme une panne critique. L’auteur recommande d’identifier et de surveiller tous les composants, depuis les systèmes de signalement et de gestion des changements jusqu’aux dépôts de paquets et aux outils CI/CD, car toute étape bloquante empêche la livraison de valeur. Des pratiques analogues à celles utilisées en fabrication pour minimiser les arrêts de la chaîne devraient être appliquées pour maintenir la résilience du pipeline de développement.

sundry.jerryorr.com Resume pret HTTP 200 Commentaires

How to Exist

L'auteur propose une expérience consistant à rester immobile pendant quelques minutes, sans agir et en acceptant totalement l'expérience. Il observe que la plupart des gens trouvent étonnamment difficile de simplement exister sans chercher à se distraire ou à modifier le présent. Pour échapper à cette gêne, les individus adoptent des stratégies d'évitement comme acheter, manger, scroller ou ruminer, et des études montrent que certains préfèrent même s'administrer des chocs électriques plutôt que de rester seuls avec leurs pensées. La méthode recommandée consiste à s'exercer à accepter les sensations liées à chaque demi-respiration, en commençant par quelques secondes puis en rallongeant progressivement la durée, tout en recommandant prudence et consultation professionnelle en cas de troubles psychiatriques. Selon l'auteur, cette pratique régulière rend l'existence plus supportable, réduit l'envie de se distraire et améliore la capacité à tolérer l'incertitude au quotidien.

www.raptitude.com Resume pret HTTP 200 Commentaires

Elevators

Les ascenseurs utilisent des algorithmes comme SCAN et LOOK pour parcourir les étages et répondre aux demandes en se déplaçant jusqu'à la limite requise avant d'inverser la direction. Dans les systèmes à plusieurs cabines, un ordonnanceur central attribue souvent les requêtes à l'ascenseur le plus proche, mais des stratégies plus avancées visent à améliorer cette assignation. L'algorithme RSR note chaque cabine selon l'ETA, la charge à bord, des pénalités d'anti-regroupement et des bonus, et ré-optimise les affectations toutes les cinq secondes pour adapter la réponse. Les performances se mesurent par la distribution des temps d'attente (p50, p90) et varient beaucoup selon l'heure et le flux; surprenamment, LOOK peut dépasser RSR en cas de flux élevé ou dans de petits immeubles. Les systèmes Destination Dispatch donnent la destination à l'avance et permettent des assignations optimisées, mais leur rigidité peut détériorer les temps d'attente sauf dans les très grands immeubles où ils montrent des bénéfices.

john.fun Resume pret HTTP 200 Commentaires

Google will expand age checks on Android worldwide till the end of the year

Google annonce l'expansion mondiale de l'API Play Age Signals pour tous les développeurs Play, avec disponibilité déjà au Brésil, déploiement en Australie et au Canada mi-août et lancement global prévu plus tard cette année. L'API est un outil respectueux de la vie privée qui permet aux parents de partager la tranche d'âge de leur enfant via Google Family Link et aux adultes de communiquer leur âge si demandé par l'application. Les développeurs reçoivent ces signaux d'âge pour adapter le contenu, les fonctionnalités et les paramètres de leurs applications de façon appropriée à l'audience, au lieu d'imposer des règles uniformes. Le partage des tranches d'âge n'est pas activé par défaut et les parents peuvent gérer, mettre à jour ou désactiver ces paramètres en un seul endroit pour éviter de configurer chaque application séparément. Cette nouveauté vient compléter les protections existantes de Google Play, comme les politiques pour les applications familiales et les outils Play Console et Family Link destinés à protéger les enfants en ligne.

android-developers.googleblog.com Resume pret HTTP 200 Commentaires

"the very foundation of modern academia has been blown to bits"

Autrefois, la recherche doctorale exigeait l'accès aux bibliothèques physiques, la mémorisation des articles importants et dépendait fortement de l'orientation du directeur de thèse. L'apparition du web puis d'outils comme Google Scholar a rendu possible en quelques jours ce qui prenait autrefois des années en donnant un accès largement centralisé à la littérature. Parallèlement, le nombre de thèses a fortement augmenté dans de nombreux pays tandis que le partage de code et de données ainsi que l'automatisation expérimentale ont simplifié certaines tâches de recherche. L'émergence d'IA autonomes permet désormais de générer des thèses plausibles et, comme beaucoup de thèses sont peu lues et parfois médiocres, les soutenances orales, souvent difficiles à rater pour des raisons sociales, offrent une protection limitée contre cette automatisation. Selon l'auteur, ces évolutions ont profondément remis en cause les fondements traditionnels de l'académie.

twitter.com Resume pret HTTP 200 Commentaires

Exploring the "Dario and Amanda" Prompt

Claude Opus 5 génère du contenu qui ressemble à une fuite de journaux de discussion privés d'Anthropic pour 2024–2025, mais il s'agit très probablement d'hallucinations. L'auteur a rassemblé de nombreux ratés de cache et les a partagés dans un dépôt public sur GitHub. Parmi les exemples figurent des messages d'utilisateurs vulnérables adressés à la direction, de la correspondance interne et des extraits ressemblant à des discussions Slack. Certains passages sont troublants, évoquant tant des détails personnels alarmants qu'un contenu lié à des projets et contrats internes. Ces éléments font se poser la question de savoir si le modèle invente des informations ou s'il a été entraîné à partir de données internes de ses créateurs.

alec.is Resume pret HTTP 200 Commentaires

Why don't people use formal methods? (2019)

Les méthodes formelles englobent la spécification formelle (décrire précisément ce qu’un système doit faire) et la vérification formelle (prouver que le système satisfait cette spécification), et l’auteur distingue pour la clarté la vérification du code et la vérification du design. Les spécifications de code se présentent sous trois formes principales — théorèmes indépendants, assertions et contrats intégrés au code, et systèmes de types dépendants — qui forment un continuum de garanties allant des tests aux preuves complètes. Réaliser des preuves est très difficile et requiert des compétences mathématiques et des connaissances pointues des outils, mais l’arrivée des solveurs SMT comme Z3 et de bibliothèques prêtes à l’emploi a fortement automatisé certaines tâches et rendu possibles des projets tels que CompCert ou IronFleet. La vérification partielle, le typage avancé et les techniques intermédiaires (par ex. Cleanroom, Rust, SPARK) offrent des compromis coût/valeur utiles, tandis que la vérification de design et le model checking permettent de trouver des erreurs d’architecture complexes (exemples : Alloy, TLA+ et découvertes chez Chord ou AWS). Le principal frein à une adoption plus large n’est pas seulement technique mais social et culturel, car les développeurs doutent souvent de la valeur des specifications formelles et n’intègrent pas facilement ces artefacts non codés, ce qui maintient la vérification de code comme discipline spécialisée malgré des gains potentiels.

www.hillelwayne.com Resume pret HTTP 200 Commentaires

Solving poker in custom WebGPU kernels

L'auteur voulait créer un solveur de poker open source fonctionnant dans le navigateur mais a été freiné par l'absence d'une bibliothèque de tenseurs pour WebGPU. Il a demandé à un agent de génération de code d'écrire des kernels WebGPU reproduisant le comportement d'une référence PyTorch, obtenu la parité en un prompt, puis laissé optimiser les kernels pour obtenir un gain de vitesse supérieur à 10x. L'expérience montre que, lorsque la génération de code est peu coûteuse et que l'implémentation de référence et les tests sont fiables, un kernel sur-mesure peut dépasser une bibliothèque générale, bien que cela nécessite un calcul bien défini et des tests couvrant le comportement important. Les modèles d'IA ont évolué au point de pouvoir implémenter des articles, explorer des variantes de l'algorithme CFR et exécuter des essais autonomes, mais l'auteur reste la couche de planification et de supervision et a consacré des mois à encadrer le projet. Le solveur heads-up et son code sont disponibles publiquement, mais il demeure limité par rapport aux outils commerciaux en termes de fonctionnalités, de puissance de calcul et de force de jeu.

phulin.me Resume pret HTTP 200 Commentaires