HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12026 articles Page 632/1203 Sans filtre

Maxproof

Ce cadre propose une méthode de mise à l'échelle au moment du test pour les preuves mathématiques de niveau compétition dans la série MiniMax-M3. Lors de l'entraînement, le modèle M3 développe trois capacités orientées vers les preuves — génération, vérification et réparation conditionnée par critique — appuyées par un vérificateur génératif à défense en profondeur conçu pour limiter les faux positifs. Ces capacités sont fusionnées en un modèle M3 unique rendu public par les auteurs. Au moment du test, le système utilise ce modèle comme générateur, vérificateur, affineur et classeur pour explorer une population de preuves candidates et sélectionner une preuve finale par tournoi. Avec cette mise à l'échelle test-time, le modèle M3 atteint 35/42 à l'IMO 2025 et 36/42 à l'USAMO 2026, dépassant le seuil de médaille d'or humain dans les deux concours.

arxiv.org Resume pret HTTP 200 Commentaires

Launch HN: BitBoard (YC P25) – Analytics Workspace for Agents

BitBoard permet de connecter vos sources de données et de générer des tableaux de bord et des rapports à partir d'agents d'IA ou de code. Les analyses produites sont transformées en actifs reliés et durables plutôt qu'en discussions ponctuelles. Les connexions, requêtes et morceaux de code sont stockés pour assurer la traçabilité et la répétabilité des résultats, même si la logique est générée par l'IA. BitBoard offre un accès direct aux sources de données pour des connexions en temps réel ou permet d'envoyer des données depuis un agent avec une configuration minimale. Les équipes peuvent collaborer dans le navigateur en partageant analyses et logiques, et il est possible d'essayer BitBoard gratuitement.

bitboard.work Resume pret HTTP 200 Commentaires

"Don't You Just Upload It to ChatGPT?"

L'auteur annule un deuxième cours de gym parce qu'elle a reçu plusieurs missions de traduction urgentes en tant que travailleuse indépendante. Une co-participante lui suggère de simplement téléverser les documents sur ChatGPT pour gagner du temps. L'auteur explique que l'IA peut aider pour repérer la terminologie ou vérifier la mise en forme mais produit des erreurs, oublie des segments et nécessite une relecture et une adaptation humaines. Elle insiste que les traducteurs utilisent l'IA comme un outil complémentaire et non comme un remplaçant, et que cela ne justifie pas une baisse de leur rémunération. L'anecdote souligne l'ironie qu'une cadre des ressources humaines admette que l'IA n'est pas encore suffisamment fiable pour un usage autonome.

correresmidestino.com Resume pret HTTP 200 Commentaires

Adaptive PDFs

Le PDF est un format visuel qui enregistre des instructions de dessin et, bien que la spécification prévoie le PDF balisé, la plupart des fichiers rencontrés ne contiennent pas cette structure sémantique. La spécification PDF inclut depuis la version 1.4 une propriété (ActualText) permettant d'associer du texte de remplacement au contenu marqué, texte que les renderers ignorent mais que les extracteurs retournent s'ils la gèrent. En appliquant ce texte de remplacement au niveau du flux de contenu pour contenir du Markdown structuré, on obtient un même fichier qui s'affiche normalement pour les humains tout en produisant du Markdown hiérarchique propre pour les machines. Des essais avec PyMuPDF, Poppler, des outils en ligne et des LLMs ont montré que l'extraction restituait le Markdown embarqué, que le nombre de tokens reste proche mais que la densité d'information par token augmente, et que le surcoût de taille est généralement en pourcentage à un chiffre. Le code est disponible sur GitHub et l'auteur propose de poursuivre le développement, notamment via une extension Google Docs pour faciliter la création de ces PDF adaptatifs.

sgaud.com Resume pret HTTP 200 Commentaires

Introduction to UEFI HTTP(s) Boot with QEMU/OVMF

L'article explique que PXE/TFTP est ancien, difficile à configurer et peu sûr, et que l'UEFI moderne supporte le démarrage via HTTP(S) comme alternative. En Qemu/OVMF il faut fournir un générateur de nombres aléatoires (par ex. -device virtio-rng-pci) pour activer la pile réseau, et on peut accélérer le boot en désactivant le PXE legacy via -fw_cfg. On peut injecter une URI de démarrage dans les variables UEFI avec virt-fw-vars pour obtenir un démarrage reproductible sans dépendre du DHCP. Le démarrage HTTPS exige un magasin de certificats de confiance fourni à OVMF (par ex. conversion du store système avec p11-kit et -fw_cfg etc/edk2/https/cacerts) et l'usage de builds DEBUG pour obtenir des logs TLS exploitables. Un obstacle fréquent est qu'EDK II impose un niveau de sécurité OpenSSL élevé (security level 3) qui peut refuser certains certificats serveur, ce qui se résout par un patch du firmware ou par l'utilisation de certificats compatibles.

blog.yadutaf.fr Resume pret HTTP 200 Commentaires

SkillSpector

SkillSpector est un outil d'analyse de sécurité pour les compétences d'agents IA qui identifie vulnérabilités et comportements potentiellement malveillants avant installation. Il détecte 64 motifs répartis en 16 catégories couvrant les injections de prompt, l'exfiltration de données, l'escalade de privilèges, la chaîne d'approvisionnement, l'abus d'outils, le code dangereux, le suivi de taint et des signatures YARA. L'analyse se déroule en deux étapes : une analyse statique rapide (regex et AST) suivie, en option, d'une évaluation sémantique par LLM pour réduire les faux positifs et fournir des explications lisibles. Les fonctionnalités incluent des entrées multi-format (dépôts Git, URL, zip, répertoires, fichiers), des recherches CVE en direct via OSV.dev avec bascule hors-ligne, plusieurs formats de sortie et un score de risque 0-100 assorti de recommandations. Le projet propose une installation via environnement virtuel et Makefile, une API Python et une CLI, et comporte des limites telles que l'incapacité à analyser les images, le code compilé ou le comportement d'exécution dynamique.

github.com Resume pret HTTP 200 Commentaires

A generic dynamic array in C that stores no capacity and needs no struct

Le code présente une manière de réaliser un tableau dynamique générique en C en utilisant un tableau de deux pointeurs, le premier stockant la longueur et le deuxième pointant vers les données. Par exemple, int *vec[2] = { 0 }; représente un tableau dynamique d'entiers vide et (uintptr_t)vec[0] contient la longueur tandis que vec[1] pointe vers le tableau de données. Une macro vec_push ajoute une valeur à la fin du tableau dynamique et renvoie true en cas de succès, le code utilisant des expressions de bloc (extension GNU) dans un contexte C23. L'approche évite la création de structures nommées et stocke la longueur dans un pointeur interprété comme uintptr_t, ce qui repose sur un comportement dépendant de l'implémentation quant à la taille et à la représentation. La capacité n'est pas conservée mais recalculée à la demande : lorsque la longueur est nulle ou une puissance de deux, realloc est appelé pour la puissance de deux suivante, ce qui rend difficile la réservation manuelle de plus d'éléments car une réserve plus grande peut être ignorée lors d'un push.

gist.github.com Resume pret HTTP 200 Commentaires

A key remapping daemon for Linux

keyd est un démon système pour Linux qui remappe les touches en utilisant les primitives noyau (evdev, uinput) afin d'offrir un remappage global et performant. Le projet vise la rapidité, la simplicité, la cohérence des modificateurs et la modularité via un modèle client-serveur extensible et des configs intuitives. Il offre des fonctionnalités avancées similaires à du firmware personnalisé comme les couches, la surcharge de touches tap/hold, le support Unicode et la configuration par clavier, ainsi qu'un mappage applicatif indépendant du serveur d'affichage. L'installation se fait par compilation ou via des paquets pour de nombreuses distributions et la configuration se gère par des fichiers texte avec rechargement dynamique et séquences de secours en cas d'erreur. La documentation couvre les dépendances optionnelles, les interactions avec libinput, les différences avec des outils comme xmodmap ou kmonad, et encourage les contributions.

github.com Resume pret HTTP 200 Commentaires