HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12123 articles Page 494/1213 Sans filtre

How I use HTMX with Go

L'article décrit une méthode pour intégrer HTMX avec Go en embarquant les assets, en structurant les templates en base, pages et partials, et en utilisant un htmlRenderer qui parse des templates partagées et rend soit des pages complètes soit des fragments. Il illustre cette méthode par une application exemple servant HTMX et fichiers statiques, avec des handlers comme /gopher et une page /users qui utilise un input configuré hx-get/hx-trigger pour filtrer les lignes via un template users:rows. Il explique comment détecter les requêtes HTMX via l'en-tête HX-Request pour renvoyer des partials versus des pages complètes, et recommande d'ajouter Vary: HX-Request dans les réponses. Concernant les redirections et erreurs, l'article recommande d'utiliser HX-Redirect (ou HX-Location avec prudence) via un helper qui bascule entre header HTMX et redirection 3xx, et de configurer responseHandling pour afficher les 4xx/5xx en tant que page complète tout en laissant les 422 être swapés dans la cible. Enfin, il propose des réglages HTMX par défaut (désactiver historyRestoreAsHxRequest, historyCacheSize à 0, disableInheritance, includeIndicatorStyles à false, timeout) et rappelle qu'HX-Current-URL permet d'obtenir l'URL affichée par le navigateur pour un traitement côté serveur.

www.alexedwards.net Resume pret HTTP 200 Commentaires

Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel

Le texte présente des solutions formelles à de nombreux problèmes d'Erdős, chacune accompagnée d'une démonstration mathématique et de son formalisme en Lean 4 avec Mathlib. Parmi les résultats figurent la complétude primitive des sommes de monômes a^i b^j c^k pour bases coprimes, la réfutation formelle d'une borne proposée pour R(n;3,r) et la construction d'un graphe d'entiers à distance entière de chromaticité infinie. Les démonstrations exploitent une diversité d'outils — coordonnées homogènes et coquille intérieure, Hales–Jewett et van der Waerden, méthodes probabilistes et de packing, inversion de cercles, preuves spectrales sur groupes cycliques finis, et développements analytiques ou arithmétiques fins — adaptés au formalisme. Chaque preuve est vérifiée par un projet Lean complet, sans recours à sorry ni à des axiomes non standard, avec un audit des axiomes finissant généralement par propext, Classical.choice et Quot.sound lorsque pertinent. Les artefacts de vérification (projets Lean épinglés, scripts de vérification et instructions) sont fournis pour permettre une vérification indépendante et reproductible en une vingtaine de minutes hors téléchargement de Mathlib.

www.starfleetmath.com Resume pret HTTP 200 Commentaires

Cursor 0day: When Full Disclosure Becomes the Only Protection Left

Lorsqu'un dépôt contenant un exécutable nommé git.exe est ouvert dans Cursor sous Windows, l'IDE exécute automatiquement ce binaire depuis la racine du projet sans interaction utilisateur, entraînant une exécution de code arbitraire. La vulnérabilité, exploitable simplement en plaçant un git.exe malveillant, provoque des exécutions répétées pendant l'utilisation normale et s'exécute avec les privilèges de l'utilisateur courant, ce qui est critique compte tenu de la large base d'utilisateurs de Cursor. Découverte par Mindgard le 15 décembre 2025 et signalée immédiatement, la faille a été reproduite et confirmée via HackerOne mais est restée non corrigée et sans communication substantielle de Cursor pendant plus de sept mois malgré de nombreux suivis. Comme mesures temporaires, les administrateurs Windows peuvent utiliser AppLocker ou Windows App Control avec des règles de refus basées sur le chemin des espaces de travail, et les utilisateurs non gérés doivent n'ouvrir les dépôts non fiables que dans des machines virtuelles isolées, Windows Sandbox ou environnements jetables. En l'absence de progrès apparent dans la remédiation et de notification des utilisateurs, les chercheurs ont choisi la divulgation publique pour permettre aux organisations d'évaluer leur exposition et de mettre en place des contrôles compensatoires.

mindgard.ai Resume pret HTTP 200 Commentaires

The Tower Keeps Rising

L'auteur compare les changements logiciels imprévus dus aux agents d'IA à la Tour de Babel pour illustrer le lien entre langage partagé et progrès technologique. Il soutient que la puissance d'un projet logiciel repose sur la coordination et une langue commune qui définit concepts, frontières, invariants et responsabilités. Avant l'arrivée des agents, la friction des revues de code, des questions et des discussions contribuait à synchroniser la compréhension entre développeurs. Les agents éliminent beaucoup de cette friction en permettant des modifications locales autonomes qui compilent et passent les tests sans nécessiter d'accord humain étendu. En conséquence, les bases de code peuvent continuer de croître même si la compréhension partagée s'effondre progressivement, ce qui reste peu visible tant qu'aucun effondrement immédiat ne survient.

lucumr.pocoo.org Resume pret HTTP 200 Commentaires

Bonsai 27B: A 27B-Class model that runs on a phone

PrismML annonce Bonsai 27B, basé sur Qwen3.6, un modèle multimodal de 27 milliards de paramètres proposé en deux variantes compactes — une variante ternaire à 5,9 Go (≈1,71 bits effectifs) et une variante 1‑bit à 3,9 Go (≈1,125 bits effectifs) — qui permet pour la première fois d’exécuter une capacité 27B sur un téléphone. Les deux variantes couvrent l’ensemble du réseau en basse précision (embeddings, attention, MLPs et tête LM), intègrent une tour vision 4‑bit, gèrent un contexte de 262 000 tokens et supportent des optimisations comme le speculative decoding, le tout publié sous licence Apache 2.0. Sur une suite de 15 benchmarks en mode réflexion, la version ternaire conserve environ 95 % des performances de la précision pleine et la version 1‑bit environ 90 %, avec des résultats particulièrement proches sur le calcul, le codage et l’appel d’outils, et une densité d’intelligence annoncée de 0,53 par Go pour la variante 1‑bit. La réduction de l’empreinte rend possibles des boucles agentiques locales et persistantes — réduisant les coûts marginaux, protégeant les données privées et ouvrant des architectures hybrides qui confient les tâches sensibles au modèle local et les étapes frontier aux services cloud — avec des débits jusqu’à 163 tok/s (1‑bit) sur une RTX 5090 et des niveaux d’utilisation mémoire compatibles avec des iPhone modernes. Bonsai 27B fonctionne nativement sur appareils Apple via MLX et sur GPU NVIDIA via CUDA, est fourni dès aujourd’hui avec un aperçu développeur gratuit et des détails techniques et évaluations dans le whitepaper, et l’équipe invite les contributeurs et candidats intéressés.

prismml.com Resume pret HTTP 200 Commentaires

TS-2026-009: Insecure argument handling in Tailscale SSH permitted root access

Le document recense de nombreuses vulnérabilités et incidents affectant Serve, Funnel, SSH, Services, le client et le plan de contrôle, impliquant des dénis de service, des contournements d'ACL, des élévations de privilèges, et des divulgations d'informations. La version 1.98.9 corrige plusieurs failles critiques (boucle infinie sur chemins non absolus dans Serve/Funnel, traitement dangereux d'arguments utilisateur et d'UID en SSH, forwarding vers sockets Unix non restreint et filtrage insuffisant des paquets pour Services). Un incident distinct a exposé des jetons d'accès OAuth complets dans les logs d'audit entre le 1er mars et le 29 mai 2026; ces jetons ont expiré et les entrées de logs sont désormais redigérées, sans action requise pour les clients. Le bulletin couvre aussi des problèmes historiques et complémentaires (Tailnet Lock, réutilisation d'auth keys, clés DERP, bugs de proxy et d'interface web) dont la plupart ont été corrigés côté serveur ou via mises à jour logicielles. Recommandation générale : appliquer les mises à jour et correctifs indiqués (notamment 1.98.9 et autres versions mentionnées), suivre les actions spécifiques par incident (mise à jour des clients, rotation de clés, vérification des configurations et des logs) et auditer les systèmes concernés.

tailscale.com Resume pret HTTP 200 Commentaires

Vancouver PD website features Quick Escape button that wipes itself from history

Le service de police de Vancouver met en avant les valeurs d'intégrité, de compassion, de responsabilité, de respect et d'excellence. Il se présente comme partenaire de la communauté pour promouvoir l'excellence et l'innovation en matière de sécurité publique. Le service sera l'agence principale chargée de la sécurité lors de la Coupe du Monde de la FIFA 2026 à Vancouver, du 11 juin au 19 juillet. La cérémonie de distinctions 2026 a reconnu des agents assermentés, des professionnels civils et des citoyens. L'application mobile gratuite VPD Connect fournit des mises à jour, des informations et des alertes de sécurité publique en temps réel.

vpd.ca Resume pret HTTP 200 Commentaires