HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

3702 articles Page 179/371 Sans filtre

07:00

Log File Viewer for the Terminal

Il s'agit d'un visualiseur de journaux pour le terminal qui permet de fusionner, afficher, rechercher, filtrer et interroger les fichiers journaux. Il n'exige ni serveur ni configuration préalable. Les formats de fichier sont détectés automatiquement et les fichiers compressés sont décompressés à la volée. Des aides en ligne et des aperçus des opérations facilitent l'apprentissage et l'utilisation. Des ressources comme une vidéo d'introduction et la documentation sont disponibles pour en savoir plus.

07:00

Epoch confirms GPT5.4 Pro solved a frontier math open problem

La solution au problème a été proposée initialement par Kevin Barreto et Liam Price à l’aide de GPT-5.4 Pro, puis confirmée par le contributeur Will Brian et sera décrite dans une publication. Selon Brian, l’approche de l’IA est prometteuse et excitante, et bien qu’il ait d’abord douté qu’elle soit possible, elle fonctionne et élimine une inefficacité dans la construction des bornes inférieures, tout en reflétant l’ingéniosité de la construction des bornes supérieures. Il prévoit de publier la solution et d’explorer des travaux futurs, et Barreto et Price ont la possibilité d’être coauteurs des éventuels articles, avec des liens mis à jour sur cette page. Par ailleurs, ils ont développé un dispositif général pour tester des modèles sur FrontierMath: Open Problems, et plusieurs modèles y ont aussi résolu le problème, notamment Opus 4.6 (max), Gemini 3.1 Pro et GPT-5.4 (xhigh). Le problème original porte sur l’amélioration des bornes inférieures de H(n) pour des hypergraphes, en définissant les partitions et en cherchant une construction qui permette de maximiser |V| tout en contrôlant |H| et l’absence de partitions de taille supérieure à n, avec des variantes et des essais par IA.

07:00

Box of Secrets: Discreetly modding an apartment intercom to work with Apple Home

L’article décrit comment des visiteurs ont tenté d’accéder au portail d’un immeuble lorsque le système d’interphone est en panne. Ils détectent des failles dans l’installation, notamment un accès administratif non protégé au routeur et une possibilité d’intervenir sur le verrou du portail. Après plusieurs tentatives infructueuses, ils découvrent qu’un boîtier de jonction peut influencer directement le solénoïde qui actionne le verrou. Ils développent une solution mêlant un microcontrôleur et une intégration domestique via le protocole Matter pour déverrouiller le portail à distance. Le récit met en avant les enjeux de sécurité et la discrétion de l’installation, tout en décrivant les défis techniques rencontrés.

07:11

Node.js worker threads are problematic, but they work great for us

Node.js s'exécute sur un seul thread et l'event loop peut être bloqué si le code monopolise le CPU, empêchant les timers et les callbacks de s'exécuter. Dans Inngest Connect, cela causait des erreurs « no available worker » lorsque le code utilisateur bloquait le thread principal et empêchait les heartbeats. La solution a été de déplacer les internes de Connect dans un thread worker afin que la connexion WebSocket et les heartbeats fonctionnent sur une autre boucle d'événements. Les worker threads offrent une isolation avec leur propre V8 isolate et communiquent par messages sérialisés, ce qui oblige à concevoir un protocole et à éviter de passer des fonctions arbitraires. Le résultat a éliminé les erreurs et montre que les worker threads conviennent pour isoler des tâches longues, bien que leur coût mémoire et leur modèle de communication nécessitent une approche différente.

07:11

Apply video compression on KV cache to 10,000x less error at Q4 quant

Nous appliquons la compression du KV cache à l’inférence des LLM en imitant les codecs vidéo, avec une image clé et des deltas. Delta-KV quantifie le delta entre tokens sur 4 bits et reconstruit en l’ajoutant à la valeur de référence, réduisant l’erreur de manière spectaculaire. En tests, Delta-KV conserve la qualité sur de longs contextes et sur des domaines variés, contrairement à Q4_0 qui se dégrade. Weight-Skip accélère le décodage d’environ 10% tout en maintenant une perplexité identique. L’approche est fournie via un fork de llama.cpp avec des composants GPU et des benchmarks sur Llama 3.1 70B et d’autres scénarios, démontrant sa faisabilité sur différents matériels.

07:11

Unlocking 25 Gigabit/S on 10 GbE Direct Attach Copper

L’auteur raconte que, pour obtenir 25 Gb/s dans son homelab, la mise à niveau des cartes réseau et des commutateurs n’était pas suffisante sans remplacer les câbles DAC. Il explique que les câbles DAC directs en cuivre restent limités à environ 10 Gb/s et que leur coût peut s’accumuler rapidement lors du remplacement. Il décrit une approche consistant à lire et modifier l’EEPROM des transceivers SFP via I2C pour faire afficher 25 Gb/s au câble. Les tests iperf3 montrent un débit d’environ 9,4 Gb/s avant modification et plus de 22–23 Gb/s après, en pratique. Enfin, il note que certains câbles ne passent pas la modification et discute des implications techniques, économiques et des alternatives possibles.

07:10

Show HN: Revise – An AI Editor for Documents

Cet éditeur IA corrige et révise les documents en s’appuyant sur des modèles d’IA avancés. Il intègre un agent IA et permet de travailler côte à côte avec lui dans la même interface. Le produit autorise l’importation de documents Word et Google Docs, la correction et l’amélioration de fichiers existants, ainsi que l’extraction de contenu à partir de PDFs. Il propose de personnaliser les préférences et de sauvegarder des prompts pour les réutiliser facilement. Le texte décrit un pilote initialement prévu en juillet dans trois villes, mais présente ensuite une description de déploiement national en juin avec des chiffres incohérents sur les revenus liés au prix, créant des incohérences temporelles.

07:10

JavaScript Is Enough

C'est un framework UI compilé en JavaScript qui transforme des classes et des fonctions ordinaires en mises à jour DOM ciblées, sans virtual DOM ni hooks. La philosophie repose sur JavaScript suffisant, sans nouvelles primitives: stores et composants en tant que classes ou fonctions, et des valeurs calculées via des getters. La réactivité est gérée à la compilation grâce à l'analyse du JSX qui déduit les dépendances et applique des correctifs directement sur le DOM. Il comprend des stores basés sur des proxies, un routage intégré et une boîte à outils complète, sans dépendances runtime et avec environ 13 ko gzipés avec le routeur. Les fonctionnalités couvrent des composants de classe et de fonction, le routage client, la délégation d'événements, des propriétés calculées et un démarrage rapide par une seule commande.