HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12026 articles Page 633/1203 Sans filtre

Slightly reducing the sloppiness of AI generated front end

L'auteur cherche à générer rapidement des programmes personnels d'apparence correcte en utilisant des agents IA malgré son manque de sens esthétique. Il a expérimenté différentes demandes de style pour une application web simple et constate que la plupart des styles produisent une esthétique qu'il qualifie de "slop", souvent superposée sur d'autres styles. Demander explicitement un rendu de type Qt a réduit presque totalement cette impression de "slop" selon ses observations. Pour illustrer, il a demandé à ChatGPT de créer une application de type 270-to-win pour visualiser les projections du collège électoral de 2030 à partir d'un article d'Axios et d'une image fournie. Il a depuis transposé d'autres logiciels personnels au style Qt et sollicite des retours ainsi que des expérimentations sur d'autres styles ou lignes directrices de design générables par IA.

TycoonLE: A Jax reinforcement learning environment for long-horizon planning

Cet environnement de renforcement simule une économie logistique pour des tâches de planification à long terme où des agents gèrent le capital, construisent des routes, déplacent des cargaisons, gèrent la dette et optimisent des retours différés. Il est conçu pour étudier la légalité des actions, les interfaces de décision par candidats, le timing du financement, les récompenses retardées, la variation procédurale et la production de traces d'audit réutilisables. L'API propose une interface de forme fixe où les agents choisissent parmi des candidats valides de routes, de financement et d'attente, et les rollouts sont compatibles avec les transformations JAX telles que jit, vmap et scan. Une interface de relecture rend les politiques inspectables via les choix de routes, les flux de cargaison, les comportements de financement et les métriques de récompense, de score et de profit dans le temps, et un complément nommé TycoonBench fournit un rapport de benchmark en ligne. Le dépôt contient des instructions d'installation et d'exécution (Python 3.11/3.12, pip, npm), des exemples rapides, des tests, un exemple d'entraînement PPO, ainsi que des informations de citation et des crédits artistiques.

Tectonic: A modernized, complete, self-contained TeX/LaTeX engine

Ce logiciel convertit des fichiers TeX en PDF et est destiné aux documents nécessitant une typographie précise, notamment ceux contenant beaucoup d'équations mathématiques. Il télécharge automatiquement les fichiers de support nécessaires et utilise une technologie de bundles reproduisibles, avec de larges ressources hébergées par le Dataverse Project. Le programme gère automatiquement les boucles TeX/BibTeX, n'écrit pas les fichiers intermédiaires par défaut, s'exécute silencieusement en ligne de commande et prend en charge OpenType et Unicode grâce à XeTeX. Le moteur est extrait en une bibliothèque autonome réutilisable, le code provient d'un fork moderne de l'implémentation WEB2C et le développement est ouvert sur GitHub en utilisant notamment le langage Rust. Le logiciel est distribué sous licence MIT, s'appuie sur des travaux antérieurs (LaTeX, TeXLive, XeTeX, etc.) et certains composants restent sous d'autres licences open source.

H.R. 6028 would fundamentally change the U.S. Copyright Office

La Chambre des représentants a adopté par vote vocal un projet de loi qui réorganise plusieurs agences gouvernementales et modifie le statut du Bureau du droit d'auteur. Le texte supprime la supervision exercée par la Bibliothèque du Congrès, transfère des pouvoirs au Registraire des droits d'auteur et fait de cette fonction une nomination présidentielle soumise à confirmation sénatoriale. Des observateurs estiment que ces changements pourraient accroître la politisation du Bureau et concentrer des pouvoirs influençant des domaines tels que l'interprétation de l'usage loyal et la réglementation du DMCA §1201. On rappelle également des critiques antérieures concernant le Bureau, notamment son soutien passé à des propositions Internet controversées et des réserves sur son rapport récent sur l'intelligence artificielle. Plusieurs organisations de la société civile ont dénoncé l'absence d'auditions publiques avant l'adoption et ont demandé au Sénat de réexaminer ou de rejeter la mesure.

Show HN: Lightweight Task queue on Erlang/OTP, SQLite-backed, no overengineering

EZRA est une file de tâches persistante et mononode qui stocke tout dans un fichier SQLite et expose une interface compatible RESP3/Redis Streams pour que n’importe quel client Redis puisse pousser et consommer des tâches sans SDK supplémentaire. Les commandes supportées (XADD, XREADGROUP, XACK, XDEL/XNACK) permettent de pousser, réclamer, ack/nack des tâches et garantissent que rien n’est silencieusement perdu : les tâches restent visibles tant qu’un worker ne les ack pas et les in-flight sont restituées après redémarrage. Le système fournit une livraison au moins une fois avec visibilité timeout et comptage de tentatives, placement en file dead après max_attempts, et recommande de gérer les duplications côté worker; la reprise suite à crash récupère les tâches in-flight au démarrage. EZRA est conçu pour être léger et simple à déployer (un binaire ou container, isolation sur une seule machine), convient aux jobs d’arrière-plan polyglottes et aux petites architectures, mais n’offre pas de haute disponibilité multi-nœud, de fanout, de priorité ou de tâches différées. Les performances dépendent de la vitesse d’écriture SQLite (quelques dizaines de milliers de tâches/sec selon disque), la taille binaire est réduite, la maintenance est assurée par un seul auteur et les contributions par PR ne sont pas acceptées, les issues sont cependant bienvenues.

Malware developers added nuclear and biological weapons text to to their spyware

Des acteurs malveillants ont inséré des mentions d'armes nucléaires et biologiques dans leur logiciel espion pour provoquer des refus chez les analyseurs d'IA. L'objectif était d'empêcher des scanners de sécurité basés sur des modèles de langage d'examiner le spyware en déclenchant des refus automatiques. Ce cas illustre que des refus de sécurité trop agressifs peuvent créer des angles morts de second ordre que les attaquants peuvent exploiter. Nous sommes encore au début de l'exploitation de ces techniques et il est probable que certains systèmes de cybersécurité exigent des modèles moins entravés par des mécanismes de refus. Le billet de SocketSecurity souligne également que l'intention doit orienter la conception des pipelines d'analyse pour éviter les manipulations de prompts.

Swift at Apple: Migrating the TrueType hinting interpreter

TrueType est un format de polices vectorielles largement utilisé qui inclut un moteur de hinting exécutant du bytecode et constitue une surface d'attaque critique quand il traite des fichiers non fiables. Pour renforcer la sécurité sur les plateformes Apple, l'interpréteur de hinting a été réécrit de C en Swift en visant la compatibilité binaire et le rendu pixel-identique des glyphes. L'équipe a assuré la correction par deux suites de tests : une suite de tests unitaires couvrant 99,7 % du code et un fuzzing qui a réduit un corpus de 10 millions de PDF à 4 200 documents de test tout en conservant la couverture. Les gains de performance ont été obtenus en limitant le comptage de références, en adoptant des types valeur non copyables, en utilisant Span et des types de projection pour éviter les copies inter-langages, et en remplaçant certaines allocations par des approches par continuation. Le résultat est un interpréteur Swift mémoire-sûr, compatible fonctionnellement avec l'implémentation C, en moyenne 13 % plus rapide, et dont le code source a été publié comme référence.

How to setup a local coding agent on macOS

L'auteur décrit la mise en place d'un agent local de codage sur macOS (Apple M1 Max, 64 Go) utilisant llama.cpp avec Metal et Gemma 4 26B-A4B en format GGUF. En ajoutant un modèle de brouillon MTP Q8 pour le décodage spéculatif et en réglant --spec-draft-n-max à 3, la génération est passée de 58,2 à 72,2 tokens/s, soit environ 24 % d'amélioration, sans ralentir le traitement du prompt. L'ajout du projecteur multimodal mmproj-BF16 a permis la prise en charge d'images pour l'agent Pi sans dégradation des performances de génération textuelle, et le serveur llama-server expose une API compatible OpenAI sur localhost:8080. L'article fournit les étapes détaillées pour construire llama.cpp avec GGML_METAL et GGML_ACCELERATE, télécharger les fichiers GGUF depuis Hugging Face, lancer le serveur avec un script start_server.sh et configurer Pi pour accepter texte et images. Des comparaisons montrent que, pour ce cas d'usage, llama.cpp avec MTP est plus rapide que MLX sur Mac, et que Qwen3.6 donne de meilleurs résultats pour le codage mais à un coût de latence plus élevé (≈55 tokens/s contre 72 tokens/s).

Twenty One Zero-Days in FFmpeg

Un agent de sécurité autonome développé par depthfirst a identifié 21 vulnérabilités zero-day dans FFmpeg après une analyse approfondie et a produit des preuves de concept concrètes et reproductibles pour valider les découvertes à un coût d'environ 1 000 $. Les failles incluent débordements de tas et de pile, dépassements et sous-flux entiers, et affectent de nombreux composants (TS, VP9, démultiplexeurs RTP, swscale, etc.), huit d’entre elles ayant déjà reçu des CVE. Plusieurs bugs étaient présents depuis 15 à 23 ans et certaines régressions récentes introduites entre 2012 et 2025 ont également causé des vulnérabilités exploitables. Un exemple détaillé montre un débordement dans le dépoteur AV1 RTP lié au traitement des Temporal Delimiters, qui permet d’écrire des données contrôlées sur le champ de fonction de libération d’un AVBuffer et d’obtenir une exécution de code à distance avec un seul paquet RTP. La vulnérabilité est exploitable sans interaction utilisateur via une URL RTSP, exposant des déploiements comme l’ingestion média, la surveillance et le transcodage, et des PoC ainsi que des correctifs ont été fournis.