HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11801 articles Page 249/1181 Sans filtre

Just the rumour of a bug is enough to find an exploit these days

L'auteur a publié un correctif de sécurité pour cohttp corrigeant une vulnérabilité de traversée de chemin et a constaté des sondages automatisés quelques minutes après l'ouverture de la pull request. Des agents basés sur des modèles d'IA ont rapidement découvert et même généré des exploits à partir d'indices ténus, rendant les embargos de sécurité traditionnels inefficaces. L'article plaide pour des changements de processus dans l'open source, notamment des développements privés réellement isolés des agents, un web-of-trust pour les divulgations et des chaînes de publication continue plus rapides. Parmi les mesures techniques proposées figurent le déploiement de correctifs virtuels au niveau du protocole, une meilleure gestion inter-écosystèmes des paquets et des outils de triage automatisés et vérifiés pour réduire la dette technique. L'auteur conclut en proposant des pistes de recherche et rappelle la contribution d'une équipe de mainteneurs au correctif tout en demandant un meilleur accès aux modèles de pointe pour les mainteneurs.

anil.recoil.org Resume pret HTTP 200 Commentaires

Does the Sumerian King List Align with Paleoclimate Events?

Le texte note que la liste sumérienne antédiluvienne contient huit règnes aux durées énormes et régulières (par ex. 28 800, 36 000, 43 200 ans) totalisant 241 200 ans. L'auteur teste l'hypothèse selon laquelle les limites de ces règnes coderaient des événements paléoclimatiques en rescalant la chronologie sur 241,2 ka, en ancrant une frontière à 11,6 ka BP et en comparant les dates résultantes à des catalogues d'événements quaternaires à l'aide d'un score à noyau gaussien et de tests de permutations. Les analyses primaires et élargies (catalogue principal de 39 événements, catalogue large de 103 entrées et un catalogue catastrophique exploratoire) montrent que l'alignement observé n'est pas statistiquement significatif après correction pour comparaisons multiples (ex. catalogue primaire : p = 0,350, q = 0,622 ; catalogue large : p = 0,148, q = 0,430 ; meilleur résultat exploratoire q = 0,222). L'étude emploie des permutations exhaustives et des simulations d'ancrage aléatoire, mais signale plusieurs limites méthodologiques, notamment le caractère exploratoire des choix d'inclusion d'événements, l'absence de propagation des incertitudes de datation et un catalogue assemblé de façon éditoriale plutôt que prospective. L'auteur conclut qu'avec les données et les méthodes utilisées il n'y a pas de preuve statistiquement convaincante que l'ordre des règnes sumériens encode les événements paléoclimatiques considérés et propose comme prochains pas une meilleure gestion des incertitudes et des catalogues indépendants et pré-spécifiés.

www.vectorian.be Resume pret HTTP 200 Commentaires

I accidentally turned LLM memory into program analysis

Sur des enquêtes longues, les modèles de langage perdent progressivement le fil des faits établis et continuent parfois de raisonner à partir d'observations invalidées. Pour y remédier, il a développé Lemmalog, un moteur Datalog qui sépare l'extraction floue (par le LLM) des faits structurés et maintient automatiquement les dérivations, les rétractations, la provenance et les intervalles de validité temporelle. Cela permet une évaluation incrémentale des conséquences des observations, d'expliquer pourquoi une conclusion est vraie et d'empêcher que des inférences non fondées s'intègrent silencieusement à l'état d'analyse, tout en pouvant être combiné à une recherche vectorielle pour le rappel d'épisodes. Évalué sur LongMemEval et LoCoMo, Lemmalog obtient des scores compétitifs (notamment en mise à jour des connaissances, raisonnement temporel et questions adversariales), avec en prime une réduction importante du contexte tokenisé transmis au modèle par requête. L'auteur note néanmoins des limites — la qualité de l'extraction et la résolution d'entités sont critiques, l'inférence conditionnelle reste faible et Lemmalog ne surpasse pas toujours les systèmes concurrents — mais il considère que maintenir un état déductif est une approche prometteuse et publie le code source.

pwning.systems Resume pret HTTP 200 Commentaires

U.S. sanctions against the A/I Collective

Le collectif A/I a été fondé en 2001 par des personnes et collectifs du mouvement autonome anticapitaliste intéressés par la technologie et les droits numériques. Il fournit une plateforme et des outils de défense numérique pour faciliter la communication libre des activistes et d'autres personnes. Tous les services sont offerts gratuitement par des bénévoles sans compensation et sans commercialisation des données personnelles. Le financement repose uniquement sur des dons volontaires et les services sont réservés à un usage non commercial après un examen manuel des demandes. Les requêtes sont anonymisées puis détruites, et les utilisateurs sont invités à lire le manifeste, la politique et la politique de confidentialité avant de demander un compte.

www.inventati.org Resume pret HTTP 200 Commentaires

Htmx 4.0

L'équipe annonce la version 4 de htmx après huit mois de travail, avec une refonte interne vers l'API fetch() tout en maintenant un comportement utilisateur proche de la lignée 2.x. L'héritage d'attributs devient explicite et nécessite d'ajouter :inherited aux attributs parents, ce qui représente la principale charge de migration mais est compensé par un outil de vérification en ligne de commande. Les noms d'événements ont été standardisés dans le format htmx:phase:action[:sub-action], plusieurs événements et API obsolètes ont été supprimés ou renommés et l'outil d'upgrade signale les usages anciens. Le support de l'historique n'utilise plus localStorage par défaut et restaure les pages en refaisant une requête au retour arrière, avec une extension hx-history-cache optionnelle pour la mise en cache en sessionStorage et la compatibilité avec des frameworks comme Alpine.js. La version apporte aussi de nouvelles fonctionnalités (morph swaps, la balise hx-partial), de nombreuses extensions pour le streaming et la compatibilité (hx-preload, hx-download, hx-alpine-compat, hx-sse, hx-ws, hx-multipart, hx-live, etc.) et la branche 2.x restera prise en charge sans mise à jour forcée via NPM.

four.htmx.org Resume pret HTTP 200 Commentaires

StemDeck, a free, open-source and local AI stem separator

Cet outil permet de séparer localement une piste audio en jusqu'à six stems (voix, batterie, basse, guitare, piano, autres) et propose un mixeur de type DAW pour muter, solo, régler niveaux, zoomer sur la forme d'onde, boucler et exporter stems ou mix personnalisés. L'import accepte des fichiers locaux (MP3, WAV, FLAC, OGG/Opus, MP4, M4A) et une URL YouTube en convenance, mais tout le traitement s'effectue sur la machine de l'utilisateur sans upload ni conservation des fichiers. Le projet est gratuit, open source et conçu comme alternative locale à des services cloud payants, sans compte ni quota, tout en reconnaissant que les offres commerciales apportent plus de fonctionnalités et d'ergonomie. Des binaires préconstruits sont fournis pour macOS et Windows et des modes d'installation incluent build depuis la source, serveur web, Docker et Unraid ; la séparation utilise Demucs (htdemucs_6s) et la pile technique inclut FFmpeg, yt-dlp, PyTorch, FastAPI et Tauri. L'auteur rappelle les limites légales et techniques : ce n'est pas un service de téléchargement, l'utilisateur doit respecter les droits d'auteur et les conditions des sources traitées, et le logiciel est fourni tel quel sans garantie.

github.com Resume pret HTTP 200 Commentaires

TurboKV: Insanely fast Rust key-value store

TurboKV est une base de données clé-valeur embarquée asynchrone qui propose des batches atomiques, des scans ordonnés, la compression et un compactage en arrière-plan. L'installation se fait via cargo (turbokv et tokio) et la persistance du filtre de Bloom nécessite des flags CPU AES/NEON au moment de la compilation ou l'utilisation de -C target-cpu=native. Trois presets de durabilité existent (fast sans WAL, durable avec WAL append-only pour récupération de crash de processus, paranoid avec sync avant accusé de réception) et une instance ouverte possède l'exclusivité du répertoire de données, nécessitant close() pour un arrêt propre. L'API manipule des clés et valeurs arbitraires en bytes avec insert/get/remove/contains_key et write_batch atomique (les WriteBatch copient les octets), et propose des scans de plage/préfixe ordonnés ainsi que des itérateurs stream qui capturent un instantané cohérent et peuvent pinner des ressources. Les options par défaut allouent 64 MiB pour le memtable et le cache et utilisent LZ4, des opérations de maintenance (flush, compact, stats) sont fournies, et des benchmarks fournis montrent des débits élevés par rapport à fjall et redb selon la méthodologie jointe.

github.com Resume pret HTTP 200 Commentaires

GUIs should be fully keyboard-driven

Un article sur Hacker News plaidant pour privilégier les interfaces graphiques aux interfaces terminales a suscité un débat. L'auteur reconnaît qu'il existe des arguments valables pour les deux approches, les GUI offrant théoriquement un sur-ensemble de fonctionnalités tandis que les TUIs conviennent aux utilisateurs intensifs du terminal. Il conteste l'argument fréquent selon lequel les TUIs devraient être préférées parce qu'elles sont pilotées au clavier, estimant que cela met surtout en évidence les lacunes de navigation clavier dans de nombreuses GUI. Il rappelle que rien n'empêche une GUI d'être entièrement utilisable au clavier et cite les recommandations des frameworks, comme les directives GNOME, qui encouragent la couverture complète des actions par le clavier. En tant que développeur, il a investi dans les raccourcis clavier pour son application Klisi et appelle ses pairs à ne pas négliger la navigation clavier afin d'offrir une meilleure expérience utilisateur.

ckardaris.com Resume pret HTTP 200 Commentaires