HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11890 articles Page 831/1189 Sans filtre

The Secret Life of NaN (2018)

La norme IEEE 754-2008 définit des NaN avec des bits de charge utile pouvant transporter de l'information, par exemple 51 bits de payload dans les nombres à virgule double précision. La norme distingue les NaN dits « quiet » et « signaling », recommande de préserver autant que possible le payload pour des informations diagnostiques, et les sNaN peuvent déclencher des exceptions lors d'opérations. Des implémentations de langages dynamiques utilisent le NaN-boxing pour encoder tous les autres types et leurs tags dans l'espace des payloads de NaN, de sorte que toutes les valeurs tiennent sur 64 bits tout en laissant les doubles valides inchangés. JavaScriptCore (ainsi que SpiderMonkey et LuaJIT) met en œuvre cette technique en réservant des plages de bits pour pointeurs et immédiats, en décalant les doubles via un offset 2^48 pour éviter les collisions et en assignant des valeurs spéciales pour null, true, false et autres. Le NaN-boxing offre des gains de mémoire et de performance mais complique l'implémentation, nécessite des opérations de boxage/déboxage et a déjà été à l'origine de vulnérabilités liées à des erreurs de validation.

anniecherkaev.com Resume pret HTTP 200 Commentaires

Quarkdown – Markdown with Superpowers

Des astronomes du MIT et d'autres institutions ont suivi pendant plusieurs années le trou noir supermassif 1ES 1927+654. Cet objet, d'une masse d'environ un million de fois celle du Soleil, se situe dans une galaxie à environ 270 millions d'années-lumière. En 2018 les chercheurs ont observé la disparition soudaine de la couronne du trou noir, un nuage de plasma extrêmement chaud, puis sa reconstitution plusieurs mois plus tard. Cet arrêt bref mais spectaculaire du rayonnement a constitué une première observée dans l'astronomie des trous noirs. L'événement a suscité un vif intérêt car il représente l'un des phénomènes les mieux documentés et les plus proches autour d'un trou noir, selon une étudiante en physique du MIT.

quarkdown.com Resume pret HTTP 200 Commentaires

Show HN: OSS Agent I built topped the TerminalBench on Gemini-3-flash-preview

Cet agent open-source vise à améliorer la précision et l'efficacité en tokens en conservant un contexte strictement sélectionné pour réduire les coûts et faciliter des changements importants en une seule tâche. Il implémente des optimisations telles que des modifications ancrées sur des hachages, la manipulation AST, le traitement multi-fichiers en un seul passage et une gestion de contexte à haute bande passante pour limiter les tokens inutiles. Sur des tâches de refactorisation réelles, il revendique des évaluations reproductibles avec une réduction moyenne des coûts de 64,8 % et un score de 65,2 % sur Terminal-Bench-2 avec gemini-3-flash-preview, dépassant plusieurs baselines. L'outil propose une extension VS Code et une interface CLI, prend en charge l'appel d'outils natifs, l'usage de nombreuses clés d'API pour différents fournisseurs et offre des modes interactifs ou automatisés avec approbation. Le projet est distribué sous licence Apache 2.0, constitue une fourche du projet Cline et a été développé par Max Trivedi.

github.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.

zsnes.com 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.

lawrencecpaulson.github.io 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.

github.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.

www.forbes.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.

github.com Resume pret HTTP 200 Commentaires