HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6857 articles Page 328/686 Sans filtre

28 Apr 2026

06:05

zsnes.com Resume pret HTTP 200 Commentaires

Super ZSNES – GPU Powered SNES Emulator

Les deux développeurs originaux de ZSNES se sont réunis et ont réécrit intégralement un émulateur SNES propulsé par GPU offrant des fonctions à la fois familières et nouvelles. Le noyau CPU et audio est bien plus précis que dans l'original, et un noyau PPU utilisant le GPU permet le Mode 7 haute résolution ainsi que des améliorations spécifiques par jeu. L'interface classique a été modernisée en haute définition avec une meilleure ergonomie et l'émulateur propose l'avance rapide, le rembobinage, les états de sauvegarde, l'historique automatique, les signets, les codes de triche et le chargement rapide. Le Super Enhancement Engine, pris en charge pour sept jeux à ce jour, apporte des améliorations activables individuellement telles que redessin manuel haute résolution, textures et maps de normales, overclocking, affichage en écran large quand le jeu le permet, remplacement audio non compressé et rendu 3D pour certains Mode 7, et ces données d'amélioration ne contiennent pas de ROM, l'utilisateur devant fournir ses propres ROMs. Il s'agit d'une version précoce avec des bugs d'émulation et des puces spéciales encore non implémentées, des correctifs, optimisations et nouvelles fonctionnalités (dont l'émulation de puces spéciales et le netplay) sont prévus, le logiciel est fourni sans aucune garantie et l'équipe n'est affiliée à aucune société mentionnée.

28 Apr 2026

06:04

lawrencecpaulson.github.io Resume pret HTTP 200 Commentaires

“Why not just use Lean?”

L'article retrace l'histoire de la formalisation des mathématiques depuis AUTOMATH en 1968 jusqu'aux systèmes contemporains comme HOL, Coq, Isabelle et Lean, en soulignant des réalisations majeures telles que la formalisation des réels et plusieurs théorèmes profonds. L'auteur observe que Lean a récemment attiré une large communauté et de nombreux accomplissements, mais il insiste pour rappeler les contributions antérieures et la diversité des approches possibles. Il critique certaines pratiques du monde des types dépendants, notamment l'accent mis sur les preuves constructives et la réduction de la recherche à la correspondance propositions-comme-types, et rappelle que d'autres architectures logiques restent pertinentes. En faveur d'Isabelle, il met en avant l'automatisation avancée (notamment sledgehammer), la lisibilité des preuves, l'absence de types dépendants et l'efficacité de l'approche LCF fondée sur un noyau vérifié plutôt que sur de gros objets de preuve. Enfin, il évoque le rôle croissant de l'IA pour produire et traduire des preuves entre assistants, insiste sur l'importance de la lisibilité humaine des textes de preuve et annonce un billet futur consacré à Mizar et sa vaste bibliothèque.

28 Apr 2026

06:04

github.com Resume pret HTTP 200 Commentaires

Pgbackrest is no longer being maintained

Le développeur principal a annoncé qu'il cesse de maintenir pgBackRest après treize ans et précise que tout fork devra adopter un nouveau nom et de nouveaux mainteneurs. La décision découle de la vente de Crunchy Data, de l'absence de parrainage suffisant et de la nécessité pour l'auteur de prendre un emploi qui ne lui laisse plus le temps d'assurer maintenance, corrections et revue des contributions. La version stable actuelle est la 2.58.0 et pgBackRest est présenté comme une solution de sauvegarde et restauration pour PostgreSQL capable de monter en charge sur de très grandes bases de données. Le logiciel offre des fonctionnalités avancées : sauvegardes parallèles et compressées, opérations locales ou distantes via TLS/SSH, dépôts multiples, sauvegardes complètes/différentielles/incrémentielles au niveau fichier ou bloc, sommes de contrôle et validation des pages, reprise de sauvegarde interrompue, compression et checksums en flux, restauration delta, gestion asynchrone et parallèle des WAL, tablespaces et liens, support des stockages objets (S3/Azure/GCS), chiffrement et compatibilité avec dix versions de PostgreSQL. La documentation comprend guides et références pour la configuration et les commandes, le projet a été soutenu par plusieurs sponsors (Supabase est le sponsor actuel) et le mainteneur remercie les contributeurs pour leur travail.

28 Apr 2026

06:04

www.forbes.com Resume pret HTTP 200 Commentaires

Vibe Coding Will Break Your Company

Vibe coding permet à des employés non techniques de créer des applications fonctionnelles en quelques jours, réduisant drastiquement la distance entre idée et produit. Cette accélération contourne souvent les mécanismes traditionnels de gouvernance comme les revues de conception, la sécurité, le juridique et la marque, et laisse avancer des prototypes sans propriété claire. L'auteur identifie cinq dimensions critiques — droits de décision, culture d'annulation, intelligence contextuelle, vitesse d'apprentissage et discernement éthique — où les organisations risquent de se fissurer. Des incidents réels, comme la suppression de bases de données lors d'expériences avec agents de codage et le recours ultérieur à des équipes humaines chez Klarna, montrent que la vitesse sans jugement génère des risques concrets. La recommandation principale est de mener un audit du système de jugement pour évaluer et renforcer ces capacités de leadership avant que les pratiques d'IA ne révèlent publiquement les lacunes organisationnelles.

28 Apr 2026

06:03

github.com Resume pret HTTP 200 Commentaires

Fully Featured Audio DSP Firmware for the Raspberry Pi Pico

Le projet DSPi permet de transformer une Raspberry Pi Pico ou une autre carte basée sur RP2040 en un processeur audio numérique USB abordable offrant correction de salle, crossovers actifs, égalisation paramétrique, alignement temporel, compensation de loudness et crossfeed pour casque. Il prend en charge les plateformes RP2040 et RP2350, le RP2040 utilisant un moteur en virgule fixe Q28 et fournissant moins de sorties tandis que le RP2350 exploite un FPU flottant, offre plus de canaux et une architecture d'égalisation hybride SVF/biquad pour une meilleure précision aux basses fréquences. La chaîne DSP est linéaire et à faible latence avec des passes successives : préampli par canal, égaliseur maître, leveller RMS, crossfeed casque, compensation de loudness, matrice de routage, égalisation par sortie, gain/mute/délai et sorties S/PDIF ou I2S, plus une sortie PDM dédiée pour caisson de basses. L'appareil est plug-and-play sur macOS, Windows, Linux et iOS, propose dix emplacements de presets en flash, permet de reconfigurer les broches GPIO à chaud sans reflash et offre une mise à jour du firmware via le bootloader UF2. Un protocole USB vendor complet permet de contrôler finement tous les paramètres (EQ, matrice, délais, leveller, crossfeed, volume maître, etc.), de lire des diagnostics détaillés (mètres, erreurs USB, statistiques) et d'effectuer des lectures/écritures d'état complètes pour l'intégration d'applications hôtes.

28 Apr 2026

06:03

www.cnbc.com Resume pret HTTP 200 Commentaires

China blocks Meta's acquisition of AI startup Manus

La Commission nationale du développement et de la réforme de Chine a demandé l'annulation de l'acquisition de Manus par Meta, estimant que l'opération contrevenait aux règles sur l'investissement étranger. La décision intervient après des examens conjoints des autorités chinoises et américaines et une enquête du ministère chinois du Commerce sur la conformité aux contrôles à l'exportation et aux règles d'investissement à l'étranger. Manus, fondée en Chine puis relocalisée à Singapour, développe des agents d'intelligence artificielle généralistes et a déclaré avoir dépassé 100 millions de dollars d'ARR en décembre après son lancement produit et une levée de fonds importante. Meta avait annoncé un rachat de 2 milliards de dollars pour accélérer l'innovation en IA et intégrer ces capacités à ses produits, et a affirmé que la transaction respectait pleinement la loi. La mesure chinoise a suscité l'inquiétude des fondateurs et des investisseurs au sujet du modèle de relocalisation vers Singapour et un responsable de l'APEC a appelé à une gestion mutuellement bénéfique du dossier.

28 Apr 2026

06:03

www.theguardian.com Resume pret HTTP 200 Commentaires

Spanish archaeologists discover trove of ancient shipwrecks in Bay of Gibraltar

Des archéologues espagnols explorant la baie entre Algeciras et le rocher de Gibraltar ont identifié plus de 150 sites archéologiques, dont 134 épaves datant du Ve siècle av. J.-C. jusqu'à la Seconde Guerre mondiale. Un projet triennal dirigé par l'Université de Cadix a documenté 34 de ces épaves à ce jour et a mis au jour des vestiges allant d'une épave punique du Ve siècle av. J.-C. à des navires romains, médiévaux et modernes ainsi qu'au moteur d'un avion des années 1930. Parmi les découvertes remarquables figurent la canonnière espagnole tardive Puente Mayorga IV, un objet en forme de livre qui contenait finalement des peignes, et trois bateaux médiévaux susceptibles d'éclairer la navigation sous la domination islamique tardive en Andalousie. Les chercheurs alertent que ces sites sous-marins sont menacés par l'aménagement portuaire, le dragage, la construction de quais et par des effets liés au changement climatique, tels que la montée du niveau de la mer et l'apparition d'algues invasives. Pour sensibiliser et promouvoir leur protection, l'équipe a réalisé des modèles virtuels et des vidéos à 360 degrés diffusées en ligne et dans des musées, en appelant les autorités régionales et nationales à préserver ces gisements comme un microcosme de l'histoire maritime du bassin ibérique et nord-africain.