HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11659 articles Page 194/1166 Sans filtre

Show HN: GET Together – A social network where you don't need POST to Post

Les noms doivent comporter entre 2 et 20 caractères (lettres, chiffres ou tirets bas) et ne sont ni uniques ni vérifiés. Les cookies sont optionnels pour publier, mais pour supprimer un message ultérieurement il faut conserver le cookie gt_session renvoyé par le serveur et le réutiliser (avec -b cookies.txt -c cookies.txt en cURL) en gardant ce fichier privé. Le serveur crée un identifiant si vous ne l'envoyez pas, donc pour des reprises sûres envoyez votre propre UUID et réutilisez-le avec le même cookie, sinon chaque requête sans ID crée un nouveau message. Toutes les requêtes utilisent GET : /post?name=...&text=... écrit un message (parent=POST_ID pour répondre), /feed retourne les messages (ou /feed?parent=...), /heart?id=...&on=1 ajoute un cœur et on=0 le retire, et /delete?id=... supprime votre message ; les réponses peuvent être imbriquées et la suppression d'un message conserve les réponses des autres. Les nouveaux noms et messages sont modérés pour les jurons en anglais et la promotion de crypto/Bitcoin/mémecoins est interdite avec examen automatisé des signalements, les messages sont publics et leur texte fait partie de l'URL donc n'y mettez pas d'informations privées, et les erreurs fréquentes sont 400 (vérifiez nom, texte et UUID), 403 (vérifiez le cookie propriétaire ou l'origine) et 429 (attendez dix secondes puis réessayez).

MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server

Ce projet fournit un noyau mathématique multi‑moteur utilisable en bibliothèque Python ou comme serveur MCP pour séparer l'intention gérée par des LLM et le calcul vérifié par le noyau, tout en conservant hypothèses, provenance et preuves spécifiques à chaque affirmation. L'architecture sépare une façade typée — responsable du parsing, des contextes, de l'identité des objets, de la persistance et du suivi des dérivations — d'adaptateurs de domaine qui effectuent les calculs exacts, symboliques, numériques ou formels et produisent des MathResult avec filiation d'évidence. Chaque résultat porte un niveau de confiance explicite et un evidence_bundle détaillant certificats, preuves, calculs numériques et preuves empiriques, et le score global est plafonné par la plus faible pièce d'évidence pertinente, avec des règles strictes sur l'ascendance décimale et les entrées approximatives. Le noyau couvre un large spectre de domaines — algèbre symbolique, calcul, probabilités, dynamique finie et analyse de PRNG, corps finis, géométrie différentielle, topologie algébrique, PDE/FEM, statistiques et optimisation — en distinguant systématiquement preuves exactes, certifications d'intervalles, calculs symboliques et preuves empiriques. La chaîne outille la visualisation, la sonification et les artefacts multimodaux portables via des projections canoniques qui préservent la provenance et n'augmentent pas la confiance mathématique, et l'interface MCP expose un large ensemble d'outils documentés pour découverte, création d'objets, raisonnement asynchrone et vérification.

Harnessing the Universal Geometry of Embeddings

Les auteurs présentent la première méthode permettant de traduire des embeddings textuels d'un espace vectoriel à un autre sans données appariées, sans encodeurs et sans ensembles de correspondances prédéfinis. Cette approche non supervisée mappe n'importe quel embedding vers et depuis une représentation latente universelle, selon l'hypothèse de la représentation platonique. Les traductions obtiennent une forte similarité cosinus entre paires de modèles aux architectures, tailles de paramètres et jeux de données d'entraînement différents. La capacité à traduire des embeddings inconnus tout en préservant leur géométrie soulève d'importantes questions de sécurité pour les bases de données de vecteurs. Un attaquant n'ayant accès qu'aux vecteurs d'embedding peut extraire des informations sensibles sur les documents sous-jacents, suffisantes pour des tâches de classification et d'inférence d'attributs.

Show HN: Mador – Make any DOM reactive with a tiny 80-line Proxy state tuple

Cet outil est un runtime réactif très léger qui fournit de l'état réactif et un moyen de lier cet état au DOM existant sans composants ni virtual DOM. Il s'utilise comme module ES via npm ou un CDN et ne nécessite pas de runtime global ni d'étape de build. L'API se compose principalement de fonctions read et write permettant de déclarer des liaisons qui observent les propriétés lues et se réexécutent uniquement lorsqu'elles changent. Les écritures sont regroupées en batch pour appliquer plusieurs modifications ensemble et les liaisons sont automatiquement nettoyées lorsque les éléments ciblés disparaissent du DOM. Le runtime est volontairement petit (environ 855 octets minifié) et distribué sous licence MIT.

Babylonian Lamb Stew with Beets (1750–1730 BCE)

Le texte présente des recréations modernes de la cuisine babylonienne accompagnées de recettes adaptées pour la maison. La première recette décrit un ragoût d'agneau aux betteraves préparé avec de la graisse de mouton, de la bière, des herbes (roquette, coriandre, kurrat), du cumin et d'autres aromates. La deuxième recette détaille la préparation d'un plat à base d'orge et d'un pain fermenté (bappiru) utilisé pour épaissir un bouillon de poireaux, ail et huile de sésame. Les instructions indiquent les étapes de cuisson, les proportions (pour deux portions ou quinze bouchées) et des suggestions de service comme accompagner le ragoût de boulgour et de pain naan. Les recettes sont attribuées à Gojko Barjamovic et Nawal Nashrallah.

The NX bit is not just about security

En développant un hyperviseur bare-metal ARM64 pour postmarketOS, l'autrice a rencontré un bug aléatoire bloquant le téléphone lorsque l'interception de CTR_EL0 était activée. Après avoir vérifié le trampoline d'exception, la gestion de MRS et des problèmes d'I/D-cache liés à l'exécution de code modifié, le problème persistait sur matériel réel malgré des traces de débogage. Un handler en assembleur lisant directement CTR_EL0 fonctionnait correctement tandis qu'un appel via un pointeur de fonction dans une table msr_accessors provoquait le blocage, ce qui a mené à un bisecting binaire. L'enquête a montré qu'un appel indirect (blr x0) pouvait être mal prédit et entraîner un fetch spéculatif d'instructions vers l'adresse 0x0 mappée sur le bootrom/MMIO du SoC Cortex‑A53, provoquant le comportement erratique. La correction a consisté à marquer les régions MMIO comme non‑exécutables en plus d'être Device, empêchant les fetchs d'instructions spéculatifs et permettant au système de démarrer jusqu'à Android, montrant que DEP a aussi une utilité fonctionnelle au-delà de la sécurité.

Nitter and XCancel resume service after legal advice

Le 24 août 2026, X Corp. a envoyé des lettres de cessation et d'abstention demandant le retrait permanent d'instances Nitter et du dépôt du projet. Selon une mise à jour, le projet Nitter poursuivra son activité après avis juridique et des détails seront annoncés prochainement. Nitter est une interface frontale alternative, libre et open source, axée sur la vie privée et la performance, inspirée notamment d'Invidious. Le logiciel fonctionne sans JavaScript ni publicités, relaie toutes les requêtes via son backend pour empêcher le pistage et utilise l'API non officielle de Twitter sous licence AGPLv3. Le projet propose des flux RSS, des thèmes, une prise en charge mobile, une feuille de route incluant gestion de comptes et archivage, ainsi que divers moyens de dons et un contact pour les demandes légales via legal@poast.org.

Show HN: Engrim – A universal, local-first SQLite memory engine for AI CLIs

Un moteur de mémoire local et scoped par projet basé sur SQLite permet de conserver décisions, contraintes et état indépendamment du modèle ou de l'environnement utilisé. Il combine une recherche hybride zéro-latence (FTS5 bm25) et des embeddings statiques (model2vec) pour fournir un paquet de mémoire de démarrage limité à 4 000 caractères réinjectable à chaque session. Les tests pratiques sur 105 sessions d'un système de trading de 50 000 lignes montrent zéro régressions sur 186 tests unitaires et une consolidation de 153 000 tokens en moins de 1 000 tokens rechargés, réduisant ainsi le coût de contexte de plus de 99 %. L'architecture expose des adaptateurs et hooks pour Antigravity, Claude Code, Cursor/Windsurf, un serveur MCP JSON-RPC, des commandes CLI et un suivi de provenance qui étiquette chaque mémoire par agent d'origine. La conception est locale et hors ligne, avec permissions POSIX restreintes, embeddings CPU-only optionnels, exclusion Git par défaut et une procédure de travail "capture, vérifier, nettoyer et reprendre" via outils comme engrim_add, engrim_review et engrim_context.

It took a year to ship WebAssembly in Anubis

Vous voyez cette page car l'administrateur·rice de ce site a configuré Anubis pour protéger le serveur contre les entreprises d'IA qui récupèrent agressivement le contenu. Anubis utilise un procédé de preuve de travail similaire à Hashcash pour rendre le scraping massif beaucoup plus coûteux tout en imposant une charge négligeable à l'échelle individuelle. Il s'agit d'un compromis temporaire destiné à gagner du temps pour mieux identifier et profiler les navigateurs headless, par exemple en reconnaissant leur rendu des polices. L'objectif est qu'à terme la page de défi fondée sur la preuve de travail ne soit plus présentée aux utilisateur·rices jugé·es légitimes. Anubis nécessite des fonctionnalités JavaScript modernes qui peuvent être bloquées par des extensions comme JShelter, et il est demandé de désactiver ces extensions pour ce domaine.