The State of MCP Security [pdf]
Résumé indisponible pour cet article.
Les meilleurs longs formats de Hacker News, relus plus calmement.
Résumé indisponible pour cet article.
Résumé indisponible pour cet article.
Résumé indisponible pour cet article.
L'étude des équations diophantiennes consiste à chercher des solutions entières d'équations polynomiales. Les équations simples de type Ax = B illustrent les notions de divisibilité et de reste, ce qui conduit naturellement à l'arithmétique modulaire comme outil de gestion systématique. Les équations linéaires Ax + By = C sont liées à l'algorithme d'Euclide et, plus généralement, à la propriété de décomposition unique en facteurs premiers des entiers. La décomposition en puissances de nombres premiers entraîne le théorème des restes chinois, qui permet de remplacer une congruence modulo un produit par un système de congruences modulo les puissances premières correspondantes. Des familles plus complexes d'équations diophantiennes, notamment de la forme f(x) = N y, ont conduit au programme de Langlands, qui met au jour des structures profondes en théorie des nombres.
L'article identifie une erreur courante consistant à supposer que la plupart des prédictions apprises par un agent peuvent se réduire à des prédictions d'un pas de temps itérables pour en déduire des conséquences à long terme. Cette hypothèse ne tient que si ces prédictions d'un pas sont parfaitement exactes, car sinon les erreurs se composent et entraînent de grandes imprécisions à long terme. De plus, dans des environnements ou politiques stochastiques, la nécessité d'imaginer et de pondérer un arbre d'avenirs rend le calcul des prédictions longues à partir de prédictions d'un pas exponentiellement coûteux et souvent infaisable. L'auteur note que, malgré ces limites pratiques et théoriques, les modèles d'un pas restent séduisants et sont largement utilisés en POMDP, analyse bayésienne, théorie du contrôle et en certaines théories de compression. Comme solution, il préconise de former des modèles temporellement abstraits, notamment par l'utilisation d'options et de fonctions de valeur généralisées (GVF), en renvoyant à des travaux antérieurs.
L'auteur explique qu'il a réduit son usage des réseaux sociaux pour se concentrer sur de véritables liens personnels après que les algorithmes ont commencé à privilégier des contenus non pertinents. Incogni, un service de suppression de données issu de Surfshark, a étudié la perception des Américains des réseaux sociaux parce que ces plateformes alimentent les courtiers en données personnelles. À partir d'un échantillon équilibré de 1 000 Américains répartis en quatre générations, l'enquête de juin 2026 montre que beaucoup d'utilisateurs trouvent qu'entretenir une présence en ligne ressemble à du travail, les membres de la génération Z étant les plus concernés. Les répondants ont exprimé des réactions mitigées à l'idée d'abandonner les réseaux sociaux — légèrement plus de sentiments positifs que négatifs — et ont cité la politisation, les risques de sécurité, le harcèlement, la perte de temps et les conséquences sur la santé mentale comme motifs possibles de suppression de compte. L'étude conclut à un déplacement des attitudes vers la prudence et l'utilisation sélective, et recommande de réduire les connexions toxiques, de renforcer la confidentialité et la sécurité ou de se déconnecter complètement.
Résumé indisponible pour cet article.
Résumé indisponible pour cet article.
L'auteur explique qu'il est passé de moins de dix livres par an à environ un livre par semaine en faisant de la lecture un objectif et en modifiant ses habitudes. Pour y parvenir, il recommande de remplacer les moments d'inactivité passés sur écran par la lecture, notamment en supprimant les applications sociales et en évitant de consulter son téléphone. Il conseille d'avoir toujours un livre ou une liseuse sur soi, de lire à tout moment libre et d'alterner formats et ouvrages en lisant souvent plusieurs livres en parallèle. Il préconise de ne pas hésiter à abandonner un livre si l'on n'accroche pas, de constituer une bibliothèque physique (souvent avec des livres d'occasion), de se fixer des objectifs raisonnables et d'écrire des notes ou des critiques pour mieux retenir les lectures. Pour trouver des idées il utilise des services comme Goodreads et des critiques sur YouTube, et il déconseille les « hacks » type lecture rapide, résumés ou audiobooks au détriment d'une lecture attentive du texte.
Ce paquet est un émulateur de terminal pour Emacs reposant sur libghostty-vt, avec un module natif écrit en Zig qui gère l'état du terminal, le rendu et les E/S PTY, tandis que de l'Elisp orchestre les keymaps, buffers et l'intégration distante. Il offre des fonctionnalités modernes comme le protocole clavier et graphique Kitty, images inline, OSC 8/4/10/11, styles d'underline riches, true color, sortie synchronisée (DEC 2026), gestion du presse-papiers et détection de mots de passe, ainsi que plusieurs modes d'entrée (semi-char, char, emacs, copy, line). L'installation propose des binaires précompilés téléchargés automatiquement ou une compilation locale via Zig, et le paquet fonctionne sur macOS, Linux, FreeBSD et Windows avec options pour MELPA, use-package et installation manuelle. L'architecture deux couches (module natif + Elisp) et le lecteur PTY natif en arrière-plan permettent un très bon débit et une faible latence, un matérialisation du scrollback dans le buffer Emacs et des mécanismes pour préserver les positions lors du rendu. L'ensemble expose des commandes et personnalisations abondantes, des extensions pour evil, compilation, eshell et comint, des intégrations TRAMP et ssh pour le terminfo distant, et des hooks pour notifications, progression et appels Elisp depuis le shell.