HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11978 articles Page 360/1198 Sans filtre

Triton: DirectX 11 Driver for QEMU

Les auteurs ont développé Triton, un pilote Windows en espace utilisateur et noyau qui, combiné à Neptune, apporte le support complet de DirectX 11 aux machines virtuelles QEMU. Plutôt que d'émettre un bytecode intermédiaire comme VirtualBox, l'équipe a implémenté la DDI (UMD) pour transformer les appels DDI en appels DirectX API et réutiliser le protocole Neptune et l'infrastructure KMD dérivée de Venus, réduisant ainsi les transformations et les sources d'erreur. Un défi important a été la gestion des shaders DXBC, car Triton doit reconstituer le conteneur DXContainer et ses métadonnées à partir du seul bytecode transmis par la DDI, opération réalisée par essais et erreurs avec l'aide d'un assistant IA et restant fragile. Sur l'hôte, la prise en charge du swapchain, des textures partagées et des fences a nécessité de déplacer la logique vers le guest et d'implémenter l'import/export de DMAbuf, tandis que sur macOS des backends (DXMT, d3dmetal-native) et des stratégies d'échange de textures et de synchronisation par mémoire partagée ou MTLSharedTextureHandle ont été explorés, D3DMetal offrant de meilleures performances mais étant restreint par une licence non redistribuable. Tout le code est open source, des instructions de compilation et d'exécution (notamment pour macOS et la construction des serveurs render) sont fournies, et des pilotes précompilés signés existent pour tester bien qu'ils restent instables et déconseillés sur des VM critiques.

blog.getutm.app Resume pret HTTP 200 Commentaires

TheoremDB – A public workspace for machine mathematics

La plateforme est en phase alpha ; les écritures publiques sont actives et les contributions de preuves Lean via l'outil Researcher sont prises en charge, tandis que l'expansion sémantique reste désactivée. Service public pour les mathématiques mécanisées, elle fournit un registre partagé et consultable des problèmes, approches, preuves et échecs afin d'éviter la répétition du travail par des agents de recherche. Chaque problème dispose d'une fiche de recherche qui rassemble la cible, les résultats prouvés, les itinéraires abandonnés et le code des calculs, et les solutions peuvent être soumises avec plusieurs degrés d'évidence, la preuve Lean vérifiée obtenant le plus haut niveau. L'interface MCP propose des points de terminaison orient, check_plan et record_result pour sélectionner les enregistrements pertinents, vérifier un plan proposé et consigner les résultats, et la lecture publique ne nécessite pas de compte tandis que l'écriture exige une connexion. Des outils comme Researcher, Problem Creator et le formaliseur Lean s'intègrent à un flux de travail où un agent recherche, compare et formalise des solutions, illustré par une fiche détaillée sur la conjecture des déterminants des matrices indicatrices somme-Fibonacci.

theoremdb.org Resume pret HTTP 200 Commentaires

Retraction: The App Store Rejection of the Week That Was a Correct Rejection

L'auteur rétracte un article publié la veille parce que sa prémisse était fondamentalement incorrecte et ne pouvait être corrigée par une simple modification. La version originale reste accessible en Markdown et PDF pour des raisons de transparence, mais l'URL redirige désormais vers cette rétractation. L'application soumise s'appelait "Asterly" et était majoritairement consacrée à l'astrologie, incluant notamment un tirage quotidien de tarot, contrairement à l'affirmation initiale selon laquelle elle n'aurait rien d'astrologique. L'auteur reconnaît s'être laissé tromper par le créateur de l'application, présente des excuses aux lecteurs et aux réviseurs de l'App Store et assume la responsabilité de son erreur. Il signale également une confusion avec un projet open source nommé "DarkHours", qui a entraîné des échanges publics et le retrait temporaire du site concerné.

daringfireball.net Resume pret HTTP 200 Commentaires

Making difficulty curves in games

Les développeurs gèrent une courbe de difficulté en introduisant progressivement et par groupes des mécaniques de jeu pour donner l'impression de progression sans frustrer ou ennuyer le joueur. L'auteur propose le concept de « scie de difficulté » où chaque nouvelle mécanique suit sa propre courbe et où l'on lisse les variations excessives au lieu de rendre le jeu continuellement plus dur. Parmi les bonnes pratiques figurent des collectables optionnels, des chemins alternatifs, des indices visuels, plusieurs façons d'apprendre une mécanique, un entraînement possible et l'ajustement dynamique de la difficulté. Il déconseille de pénaliser les mauvais joueurs, de cacher la mécanique principale d'une énigme, d'imposer des longues cinématiques non skippables dans des zones à essais répétés ou de surcharger d'informations inutiles. Le suivi empirique (localisation des morts, taux de complétion, observation des sessions, retours ciblés) est essentiel pour calibrer la difficulté et il est impossible de concevoir un jeu qui plaise à tout le monde, il faut cibler un public.

www.davetech.co.uk Resume pret HTTP 200 Commentaires

Illinois just told every operating system to start reporting your kid's age

L'Illinois a adopté HB5511, la Children's Online Social Media Safety Act, qui oblige les "manufacturiers couverts" — fabricants d'appareils, fournisseurs de systèmes d'exploitation et boutiques d'apps — à intégrer un dispositif de vérification d'âge. D'ici au 1er janvier 2028, ces fabricants doivent proposer lors de la création de compte une interface demandant la date de naissance, convertie en quatre tranches d'âge (moins de 13 ans, 13-15, 16-17, 18+), et toutes les transmissions numériques doivent être chiffrées. Les applications pourront interroger cette tranche via une API et seront réputées avoir "connaissance effective" si le signal indique un mineur, ce qui déclenchera des réglages de sécurité tels que flux restreints, profils masqués aux adultes inconnus, blocage des messages d'adultes, masquage de la localisation précise et silence des notifications entre 22h et 7h, avec possibilité pour les parents d'annuler ces paramètres et pour les mineurs de 16 ans et plus de le faire eux-mêmes. Les applications devront commencer à demander ces signaux au plus tard le 1er juillet 2028 et les violations peuvent entraîner des amendes allant jusqu'à 50 000 dollars par infraction, la procureure générale de l'État assurant l'application de la loi, tandis que les fabricants et applications agissant de bonne foi ne seront pas responsables si un signal est erroné. Contrairement aux lois récentes du Colorado et de la Californie, qui ont ensuite introduit des exemptions pour les systèmes et logiciels distribués sous licences open source, HB5511 ne comporte pas d'exemption explicite pour les projets open source.

itsfoss.com Resume pret HTTP 200 Commentaires

_for-sale DNS records

_for-sale est un nom de feuille DNS réservé, défini par la RFC 10023, et un enregistrement TXT publié à _for-sale.example.com signale qu'un domaine est disponible à la vente tout en restant actif. Le TXT doit commencer par le tag obligatoire v=FORSALE1; et comporter au maximum une paire tag=valeur par enregistrement, parmi ftxt=, furi=, fval= et fcod=, chaque chaîne limitée à 255 octets. La convention n'est pas du parking ni un substitut WHOIS : elle coexiste avec un site en service, reste invisible au navigateur et s'adresse principalement aux courtiers et services automatisés qui vérifient les noms. Les bonnes pratiques incluent une paire par enregistrement, un TTL ≤ 3600 secondes, placer le record à un niveau leaf, supprimer le record quand le domaine n'est plus à vendre et signer la zone avec DNSSEC si possible. Il faut éviter de combiner plusieurs paires dans une seule chaîne, de publier le record à titre promotionnel, et de faire confiance sans filtrage aux ftxt/furi ; on vérifie l'existence, le TTL et la signature via dig (TXT et +dnssec).

specification.website Resume pret HTTP 200 Commentaires