HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12074 articles Page 593/1208 Sans filtre

In praise of memcached

Le texte explique qu'en production on choisit souvent Redis pour le cache parce qu'il est complet, connu et fonctionne bien. Il avertit que Redis est fréquemment traité comme une base de données persistante alors qu'il est souvent déployé et surveillé comme cache, ce qui provoque des pertes ou des couplages lors d'opérations, migrations ou pannes. En comparaison, memcached est présenté comme un système de cache en mémoire simple et distribué dont les bibliothèques clientes ignorent généralement les erreurs de connexion et renvoient des valeurs par défaut en cas d'indisponibilité. Les avantages opérationnels mis en avant pour memcached incluent le hachage côté client pour le clustering, l'absence de persistance sur disque et la possibilité d'exécuter de nombreuses instances légères et sans état. L'auteur conclut qu'il préfère memcached pour les usages de cache modernes tout en rappelant que de nombreux problèmes de performance proviennent d'abord de requêtes lentes ou d'indices manquants et en citant le blog de memcached pour plus de détails.

jchri.st Resume pret HTTP 200 Commentaires

GLM-5.2 – How to Run Locally

Un nouveau modèle open-source de Z.ai atteint des performances de pointe sur des tâches longues de codage, de raisonnement et d'agentique, avec 744 milliards de paramètres dont 40 milliards actifs et une fenêtre de contexte d'un million de tokens, et il peut être exécuté localement via des GGUFs dynamiques. Des quantifications dynamiques permettent d'obtenir des versions 1 bit (~76,2 % top-1, 86 % plus petites) et 2 bits (~82 % top-1, 84 % plus petites) qui réduisent fortement la taille disque tout en conservant la plupart des capacités, tandis que les quantifications dynamiques 4 et 5 bits sont majoritairement sans perte. Les auteurs détaillent des analyses par divergence KL pour mesurer l'impact de la quantification et précisent que le pourcentage "top-1%" décrit des différences de distribution de tokens et non une probabilité directe d'erreur sur les réponses. Le modèle se déploie localement via Unsloth Studio et llama.cpp avec des guides d'installation, des recommandations matérielles (par exemple 239 Go pour le quant UD-IQ2_M) et des options d'ajustement comme trois modes de "thinking" et une longueur de contexte maximale recommandée de 1 048 576. Des optimisations supplémentaires, notamment la quantification du cache KV pour prolonger la longueur de contexte, ainsi que des benchmarks publics, montrent une compétitivité avec plusieurs grands modèles propriétaires sur de nombreux tests.

unsloth.ai Resume pret HTTP 200 Commentaires

VibeThinker: 3B param model that beats Opus 4.5 on reasoning with novel SFT+GRPO

Les auteurs présentent un modèle dense compact de 3 milliards de paramètres conçu pour tester jusqu'où le raisonnement vérifiable peut être poussé dans un régime de très petits modèles. La formation repose sur le paradigme post-entraînement Spectrum-to-Signal et un pipeline optimisé combinant apprentissage supervisé par curriculum, apprentissage par renforcement multi-domaine et auto-distillation hors ligne. Les évaluations montrent des performances de premier plan sur des tâches vérifiables exigeantes, notamment 94,3 sur AIME26 (97,1 avec un ajustement au niveau des revendications au test), 80,2 Pass@1 sur LiveCodeBench v6 et un taux d'acceptation de 96,1 % sur des concours LeetCode récents non vus. Ces résultats placent le modèle dans la même bande de performance que des systèmes de raisonnement de première catégorie beaucoup plus volumineux, tout en préservant une forte contrôlabilité d'instruction attestée par un score de 93,4 sur IFEval. En s'appuyant sur une extension d'un travail précédent à 1,5 milliard de paramètres, les auteurs proposent l'hypothèse de compression-couverture paramétrique, selon laquelle le raisonnement vérifiable est compressible en noyaux compacts tandis que la connaissance ouverte requiert une large couverture paramétrique, faisant des modèles compacts une voie complémentaire vers des performances de pointe.

arxiv.org Resume pret HTTP 200 Commentaires

Will It Mythos?

L'auteur a construit un benchmark composé de neuf vulnérabilités réellement découvertes par Mythos, vérifiées avec Opus et isolées pour tester si d'autres modèles peuvent les détecter à l'aveugle. Les modèles ont reçu le dépôt source sans .git et sans indices explicites, ont pu parcourir tous les fichiers, et l'utilisation d'agents n'a pas amélioré globalement les performances tandis que certains agents comme agy ont refusé d'analyser des vulnérabilités. Les résultats sont hétérogènes: des modèles commerciaux de pointe ont bien performé mais Qwen 3.6 et plusieurs modèles chinois peu coûteux (MiMo, DeepSeek) se sont montrés compétitifs, alors que Mistral Medium et d'autres ont échoué ou rendu peu de résultats. Des surprises incluent la bonne performance instable de Gemma 4 MoE, des inversions inattendues de performance selon la taille pour Nemotron, et des variations importantes de coût, temps et fiabilité entre modèles. L'auteur conclut que les données restent trop limitées pour une preuve définitive: Mythos pourrait être supérieur sur certains cas mais les meilleurs modèles publics peuvent parfois trouver ces failles avec davantage de temps, tentatives ou outils, et le benchmark sera étendu.

swelljoe.com Resume pret HTTP 200 Commentaires

I Canceled My French Tutor and Built an LLM Tool That Does It Better

L'auteur constatait que son cours hebdomadaire, malgré la qualité du professeur, produisait une faible rétention parce que les révisions suivaient le calendrier humain plutôt que la courbe de l'oubli et que le suivi des erreurs était trop général. Il a développé un tuteur de base de connaissances textuel basé sur Claude qui gère un fichier JSON référençant chaque thème, utilise l'algorithme SM-2 pour la répétition espacée et génère des exercices progressifs adaptés au niveau de rappel. Pour la pratique orale il a créé Causons, une application navigateur qui lit la base de connaissances, oriente la conversation vers les sujets dus et les points faibles précis, corrige seulement les erreurs grammaticales objectives et combine STT (Groq Whisper-large-v3), un modèle de chat (gpt-4o-mini) et TTS (OpenAI tts-1) pour minimiser les coûts. Sur le plan technique il a séparé les instructions pédagogiques stables des données volatiles pour profiter du caching des préfixes de prompt, et il a réduit la latence conversationnelle à environ 0,8–2,5 secondes en streamant les flux audio via MediaSource plutôt que d'attendre le fichier complet. Le résultat est une meilleure rétention des points de grammaire pour un coût faible (environ 0,04 $ pour 15 minutes) et la disponibilité permanente de la pratique, avec toutefois des limites notables comme un choix de modèle retardé et le stockage des clés API en localStorage, et les projets sont publiés sur GitHub avec une application web disponible.

alshe.substack.com Resume pret HTTP 200 Commentaires

Occupancy Math on the AMD MI355X: A From-First-Principles Guide

L'occupancy sur MI355X correspond au ratio de vagues résidentes par SIMD (max 8) et se calcule comme le minimum de quatre limiteurs matériels: VGPRs, SGPRs, LDS et les slots workgroup/barrier. Les VGPRs forment un fichier unifié de 512 entrées par lane (régulières + accumulateurs) privé au SIMD, tandis que le LDS de 160 KB est partagé par CU, ce qui impose de convertir les limites en vagues/SIMD avant de les comparer. La granularité d'allocation (VGPR en paquets de 8, SGPR en 16) peut modifier le résultat, donc il faut lire les ressources réelles dans le binaire (llvm-objdump, -Rpass-analysis) et confirmer les métriques à l'exécution avec rocprofv3. Maximiser l'occupancy est souvent contre-productif car, selon la loi de Little, on peut saturer le Matrix Core soit par plus de vagues (TLP) soit par plus d'opérations indépendantes par vague (ILP), et sur MI355X l'ILP et des tuiles registres plus grandes tiennent fréquemment la MFMA à son maximum. La recommandation pratique est de calculer le plafond d'occupancy, identifier la ressource limitante, mesurer MfmaUtil/VALUBusy, et privilégier l'ILP et une plus grande tuile registre tout en utilisant le LDS pour la profondeur de pipeline plutôt que comme accumulateur.

indianspeedster.github.io Resume pret HTTP 200 Commentaires

The Commodore Callback 8020 smart flip phone

Commodore revient avec le Callback 8020, un téléphone à clapet au look de portable basique conçu pour la détox digitale et fonctionnant sous Sailfish OS, l'écran extérieur affichant date et batterie sans notifications. Le téléphone embarque un processeur MediaTek Helio G81, un emplacement microSD de 32 Go, batterie amovible, capteur photo Sony 48 Mpx, prise casque avec convertisseur DA audiophile, tuner FM, écran tactile désactivé par défaut, sonneries chiptune et une sélection de jeux C64. Au niveau logiciel, la boutique Commodore, basée sur Aurora, permet d’installer des applications Android essentielles comme WhatsApp, Uber et Spotify tout en bloquant navigateurs, réseaux sociaux et mails grâce à une technologie « patent‑pending » et à un système de liste blanche assisté par IA, Meta ayant autorisé la préinstallation de WhatsApp. Le Callback 8020 sera vendu en cinq finitions — dont une Starlight translucide et une Founder’s Edition plaquée or 24 carats — aux alentours de 500 à 640 dollars, avec des précommandes dès le 30 juin, une fabrication en partenariat à Shenzhen et une livraison prévue vers la fin de l’année. Le PDG Christian Simpson présente l’appareil comme un compromis entre smartphone et téléphone basique pour un usage intentionnel (week‑end, sorties en famille, écoles), la relance de la marque étant soutenue par les ventes supérieures aux attentes du nouveau Commodore 64 Ultimate.

www.wired.me Resume pret HTTP 200 Commentaires