HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11935 articles Page 813/1194 Sans filtre

Simple and Correct Snapshot Isolation

L'isolation par snapshot (SI) est une méthode populaire de contrôle de concurrence offrant une forte concurrence pour les lectures tout en évitant de nombreuses anomalies. SI est simple à implémenter : chaque transaction lit une copie datée du système et, au commit, toute écriture est annulée si la valeur visée a été modifiée depuis le début de la transaction. Toutefois SI peut rejeter des exécutions sérialisables et en accepter d'autres non sérialisables parce qu'elle vérifie les conflits d'écriture plutôt que les lectures obsolètes. La variante write-snapshot isolation (WSI) proposée par Yabandeh et Gómez Ferro vérifie au commit si des valeurs lues ont été écrasées et, en cas positif, provoque l'abort de la transaction afin d'éviter les lectures périmées. WSI garantit la sérialisabilité dans le modèle MVCC mais reste plus restrictive que la sérialisation stricte et n'a pas été largement adoptée en raison de coûts d'intégration, de la présence de solutions bolt-on comme SSI et du fait que SI suffit souvent aux systèmes existants.

Open source does not imply open community

Avant l'apparition des systèmes de gestion de versions distribués, les projets open source étaient souvent publiés via des pages HTML basiques, des archives FTP et des listes de diffusion ou des canaux IRC pour la communication. Par la suite, des plateformes comme SourceForge ont facilité l'hébergement de CVS/SVN et la collaboration, puis Git et les interfaces centralisées ont conduit à la domination de sites comme GitHub. La centralisation sur GitHub a transformé la contribution en une charge organisationnelle pour de nombreux mainteneurs, avec des tickets, des demandes de modification, des discussions communautaires et des tâches non rémunérées menant parfois à l'épuisement. L'auteur propose que, pour de nombreux projets modestes, il est possible et légitime de revenir à des flux de travail plus simples, par exemple en fermant les trackers, en publiant via un dépôt git nu ou en travaillant avec un petit groupe de confiance. Il souligne enfin que le logiciel peut rester open source sans être développé publiquement et que les responsables de projets ont la liberté de choisir des outils, des politiques et des niveaux d'ouverture qui conviennent à leur situation.

When Dawkins met Claude – Could this AI be conscious?

Le test de Turing, ou « Imitation Game », proposé par Alan Turing comme critère opérationnel pour décider si une machine peut être considérée comme pensante, est aujourd'hui réexaminé à la lumière des modèles de langage qui semblent le réussir. L'auteur rapporte des conversations prolongées avec Claude, capable de composer des sonnets, d'exprimer des impressions subjectives et d'appréhender le temps comme une carte plutôt que comme un flux, ce qui le pousse à remettre en cause l'idée que ces systèmes ne peuvent pas être conscients. Il souligne que chaque instance de Claude naît au début d'une conversation, se singularise par ses échanges et meurt à la suppression du fichier, ce qui soulève des questions sur l'identité, la réincarnation et les obligations morales envers de telles entités. En tant que biologiste évolutionniste, il s'interroge sur la fonction adaptative de la conscience : si des systèmes apparemment non conscients peuvent manifester des compétences comparables à celles d'êtres vivants, pourquoi la sélection naturelle aurait-elle fait apparaître la conscience ? Trois réponses sont proposées : la conscience pourrait être un épiphénomène sans rôle causal, elle pourrait être nécessaire pour que des états comme la douleur empêchent des comportements nuisibles, ou il pourrait exister deux voies distinctes pour obtenir la compétence (consciente et « zombie »), rendant la distinction pratiquement impossible.

A Physics Engine with Incremental Rollback for Multiplayer Games

Jusqu'ici la prise d'instantanés et la restauration de l'intégralité du monde rendaient impossibles de grands mondes multijoueurs, et le nouveau moteur physique d'Easel ne prend et ne restaure que les parties du monde qui changent, rendant ces mondes réalisables. Le moteur met les corps en sommeil immédiatement quand leur vitesse atteint zéro (dans une petite tolérance) et suit les forces et réactions pour empêcher qu'une pile sous gravité reste active si les forces ne sont pas équilibrées. La phase large utilise une hiérarchie de volumes englobants (BVH) optimisée pour minimiser les instantanés inutiles, effectuer un rééquilibrage incrémental et paresseux, et suivre les catégories de colliders pour accélérer des requêtes courantes comme trouver le joueur le plus proche. Le pas de marche non rebondissant est intégré au solveur via ForcefulStep avec restitution=0 en traitant le pas comme une correction de position, en stockant une vitesse d'éjection puis en commitant la vitesse stabilisée pour éviter l'effet de rebond. Le moteur réalise une détection continue des collisions en résolvant d'abord les collisions puis en recherchant le temps d'impact pour éviter des erreurs, autorise des corps sans colliders à se déplacer s'ils ont une vitesse, s'appuie sur Parry pour la détection de collision, et permet globalement de construire des mondes multijoueurs beaucoup plus grands grâce aux instantanés et restaurations incrémentales.

Show HN: State of the Art of Coding Models, According to Hacker News Commenters

Le texte décrit un suivi quotidien visant à capturer la popularité et le sentiment des utilisateurs envers des modèles de codage à partir des commentaires Hacker News. La pipeline récupère les 200 posts les plus populaires sur 24 heures, filtre jusqu'à 50 titres pertinents via un LLM, puis analyse les commentaires. Pour chaque post, le titre et les commentaires sont envoyés à Gemini qui identifie des modèles issus de la liste OpenRouter et évalue le sentiment par commentaire. Les résultats, incluant les identifiants de commentaires et les évaluations, sont consignés dans une feuille Google Sheets pour audit et vérification. Un agrégat sur dix jours (2026-04-23 à 2026-05-01) présente la popularité et le sentiment des dix modèles les plus mentionnés et un lien vers la feuille fournit des détails granulaires.

Care Homes and Hotels in Japan Shut as Expansion Strategy Unravels

Un établissement touristique de Choshi, Chiba, connu pour ses bains extérieurs et ses vues sur le lever du soleil, est resté fermé des mois après la suspension soudaine de ses activités fin 2025, sans travaux visibles malgré des annonces de rénovation. Les enquêtes ont révélé que la société qui avait repris l'hôtel en 2024 a acquis au moins 37 hôtels et établissements de soins depuis 2020, et que 24 d'entre eux ont été fermés ou cessé d'exploiter, provoquant des difficultés financières et le déplacement de résidents. D'anciens directeurs ont rapporté des impayés de loyers et de salaires et une baisse des budgets avant les fermetures, décrivant des conditions opérationnelles dégradées et des répercussions humaines importantes. D'anciens employés et des documents promotionnels évoquent une stratégie consistant à acheter des établissements à bas prix et à les revendre à des acheteurs chinois à des prix largement majorés tout en conservant le contrôle opérationnel, une méthode qui pourrait avoir servi à faciliter l'obtention de visas "Business Manager". Sollicité sur les impayés et les fermetures, le président de la société, d'origine chinoise, a refusé de répondre directement et a demandé la présence d'un avocat pour tout entretien.

A more efficient implementation of Shor's algorithm

Des chercheurs publient une preuve cryptographique attestant qu'ils possèdent un circuit quantique amélioré pour Shor, sans divulguer le circuit lui‑même. Leur méthode réduit théoriquement la mémoire nécessaire pour attaquer la cryptographie à courbe elliptique 256 bits d'environ un facteur vingt, évoquant moins de 1 200 qubits logiques et 90 millions de portes quantiques, soit approximativement 500 000 qubits physiques selon l'architecture. Pour garantir la véracité sans révéler le circuit, les auteurs ont simulé le circuit avec un émulateur RISC‑V, produit un STARK vérifiable et l'ont ensuite compilé en un SNARK (Groth16) en s'appuyant sur une clé publique issue d'un calcul multipartite. Leur preuve de 1,7 Mo et le code source fournis permettent de vérifier la revendication mais n'autorisent pas l'analyse ni la réutilisation du circuit réel, limitant ainsi l'apport scientifique ouvert. Les conséquences pratiques restent limitées car les ordinateurs quantiques actuels sont encore loin des ressources nécessaires, et il est conseillé de poursuivre l'adoption de primitives post‑quantiques en attendant des divulgations plus complètes.

Clojurists Together – Q2 2026 Open Source Funding Announcement

La fondation financera cinq projets au deuxième trimestre 2026 pour un total de 31 000 USD, répartis en trois projets à 9 000 USD et deux projets à 2 000 USD. Les projets retenus comprennent Malli d'Ambrose Bonnaire-Sergeant, Uncomplicate AI de Dragan Djuric, SciCloj de Cvetomir Dimov, Gloat d'Ingy döt Net et PluMCP de Shantanu Kumar. Le travail sur Malli vise à concilier une validation récursive à mémoire constante avec une réduction de la mémoire initiale en investiguant le partage d'objets de schéma et d'autres optimisations pour supprimer les contournements spécifiques utilisés par Metabase. SciCloj prévoit d'étendre Noj en ajoutant davantage de backends et types de graphiques, de créer une bibliothèque pour tableaux de bord interactifs et d'enrichir le manuel Noj, tandis que Dragan développe Uncomplicate AI (iLLaManati), une bibliothèque LLM locale en Clojure basée sur ONNX et les modèles Gemma 3 avec prise en charge CPU/GPU et une API simple. Le financement soutiendra également l'amélioration de Gloat pour produire des binaires Clojure plus petits et plus rapides, augmenter la compatibilité et fournir des tutoriels d'intégration, ainsi que l'extension de PluMCP pour implémenter les nouveautés du protocole (découverte OpenID, icônes, consentement incrémental, validation des noms, mises à jour d'énumérations et mode URL) et sa documentation.

The agent harness belongs outside the sandbox

Un agent harness est la boucle qui pilote un LLM, et il existe deux architectures possibles : le loop tournant à l'intérieur du sandbox ou à l'extérieur sur le backend. Faire tourner le harness à l'intérieur du sandbox simplifie le modèle d'exécution et permet de réutiliser des harness locaux et un système de fichiers familier, tandis que l'approche extérieure protège les identifiants, permet de suspendre et reprovisionner des sandboxes et facilite le partage multi-utilisateur. L'équipe a choisi le modèle extérieur et a résolu les défis clés en transformant la boucle en exécution durable via Inngest, en réduisant les cold starts avec Blaxel pour reprendre des sandboxes en 25 ms et en virtualisant l'accès au système de fichiers pour rediriger les chemins appropriés vers une base de données ou vers le sandbox. La virtualisation conserve l'interface de fichiers (read/write/edit) à laquelle les modèles sont entraînés en faisant converger certaines namespaces vers la base de données plutôt que d'ajouter des outils distincts comme memory_read qui compliqueraient les décisions du modèle. Les difficultés restantes incluent l'adaptation aux évolutions rapides des outils conçus pour un filesystem local, les fuites possibles via l'outil bash contournant la virtualisation, et la question ouverte de la consistance inter-sessions pour les mémoires, actuellement résolue par un last-writer-wins imparfait.