HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11659 articles Page 200/1166 Sans filtre

SubImage (YC W25) Is Hiring a Founding Engineer in SF

Une start-up YC en phase seed, composée d'une petite équipe, construit une plateforme qui cartographie les infrastructures cloud comme le ferait un attaquant pour aider les équipes de sécurité à repérer et corriger les vulnérabilités. La solution est basée sur Cartography, un outil open source initié chez Lyft et désormais projet CNCF utilisé par plus de 70 entreprises, et s'appuie sur Neo4j, Python (FastAPI), Svelte avec un rendu WebGL et Terraform. L'équipe recherche des ingénieurs basés dans la baie de San Francisco pour travailler en présentiel, avec au moins trois ans d'expérience en entreprises à forte croissance et des compétences en systèmes distribués et technologies cloud. Les défis techniques incluent la contextualisation et le triage des vulnérabilités (surface internet, chemins d'accès, contrôles compensateurs, exfiltration), la construction d'une cartographie auto-actualisable en quasi-temps réel, la vérification des correctifs proposés par des agents et la relecture temporelle des attaques dans le graphe de connaissances. Les avantages mentionnés couvrent assurance santé, vision et dentaire, contribution 401k, congés illimités et avantages supplémentaires, et l'équipe met l'accent sur la responsabilité, la pensée systémique et la capacité à implémenter une logique métier complexe de manière maintenable.

www.ycombinator.com Resume pret HTTP 200 Commentaires

Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive

Pendant plus d'une décennie, des ayants droit comme Strike 3 Holdings ont systématiquement utilisé des poursuites « John Doe » pour contraindre les fournisseurs d'accès à révéler l'identité d'utilisateurs BitTorrent présumés. Avec Counterlife Media, Strike 3 a intenté un procès contre Meta, l'accusant d'avoir téléchargé via BitTorrent près de 2 973 films pour entraîner des modèles d'IA, une affaire pouvant atteindre 446 millions de dollars. Dans une procédure parallèle, un subpoena à AT&T a révélé qu'un abonné résidentiel lié à de nombreuses activités de torrent est un cadre de Reality Labs de Meta, dont le nom a été scellé par les parties. Strike 3 fait valoir que la chronologie des téléchargements et le volume massif—près de 20 000 fichiers incluant des titres VR adultes et plus de 150 téléchargements quotidiens—suggèrent un transfert d'activité vers une adresse résidentielle pour échapper à la détection. Meta réplique qu'une adresse IP n'identifie pas l'auteur des téléchargements et que rien ne relie formellement ces activités à l'entreprise, tandis que la juge doit encore décider si les affaires seront jointes et si l'exécutif sera relié au procès principal.

torrentfreak.com Resume pret HTTP 200 Commentaires

How to Create a Tor Exit Node (2015)

Le texte explique comment configurer un nœud de sortie Tor en précisant les risques pour l'opérateur et l'importance des nœuds de sortie pour l'accès d'utilisateurs filtrés ou soucieux de la confidentialité. Il décrit l'installation sur une machine Linux (ex. Ubuntu 14.04) en ajoutant les dépôts Tor, en important la clé GPG et en installant tor, tor-arm, nginx, vnstat, socat et autres utilitaires. La configuration inclut la modification de /etc/tor/torrc pour activer le relais et l'exit, l'ajustement des bande passantes, l'usage de socat pour rediriger le port 443 vers 127.0.0.1:9001 et le redémarrage du service Tor. Il conseille de déployer une page d'information via nginx, d'utiliser vnstat pour générer un graphique de bande passante avec une tâche cron, et de configurer le port forwarding du routeur pour ouvrir les ports 80, 443 et 9030. Le guide recommande de privilégier un serveur dédié ou un VPS, d'ajouter un enregistrement PTR inverse pour la transparence, d'informer le fournisseur d'hébergement et rappelle que la réputation et les réactions des ISP ou sites web peuvent poser des problèmes.

madpsy.uk Resume pret HTTP 200 Commentaires

Show HN: Moadim.io – A scheduler for agents

Moadim est un moteur de boucles open source qui exécute automatiquement des agents d'IA selon des boucles définies par un prompt, un calendrier et un agent. Il lance Claude, Codex, Hermes, Pi ou place une tâche NanoClaw à chaque tick dans un environnement isolé et surveillé, tuant les exécutions bloquées et nettoyant les sessions. Le démon inclut une API REST, une interface Swagger/OpenAPI, un outil MCP, un flux iCal et une interface web, et il fonctionne localement sans service cloud. L'ordonnancement est intégré et portable via tmux et un planificateur en processus, avec la possibilité d'enregistrer un service launchd/systemd pour survivre aux redémarrages. Le projet est sous licence MIT, auto-hébergeable sur macOS et Linux, et requiert tmux (et python3 pour l'agent Claude) pour certaines fonctionnalités.

moadim.io Resume pret HTTP 200 Commentaires

Updates on HEIR, the Homomorphic Encryption Compiler Project

HEIR est un compilateur de chiffrement homomorphe qui transforme des programmes pour s'exécuter directement sur des données chiffrées sans révéler de bit de clair. Les démonstrations montrent qu'il peut compiler des modèles ML pour une inférence privée, avec des latences allant d'environ 2 secondes pour un petit modèle jusqu'à plusieurs minutes pour des réseaux plus profonds, et des accélérations substantielles lorsqu'on utilise des GPU. L'utilisation pratique est freinée par la nécessité de convertir les modèles en MLIR et d'annoter manuellement les bornes, la perte de précision liée au chiffrement, et des contraintes système fortes comme le coût en mémoire et en matériel de clés (souvent des dizaines de gigaoctets). Les cas d'usage réalistes aujourd'hui sont ceux où la confidentialité est cruciale pour les deux parties et le nombre d'utilisateurs simultanés est limité, par exemple l'analyse B2B, le diagnostic à distance et certains scénarios biométriques spécialisés. La feuille de route cible l'amélioration des backends (GPU/TPU et accélérateurs), le support de nouveaux schémas, des outils de benchmarking et une meilleure intégration open source pour faciliter la recherche et l'adoption industrielle.

www.jeremykun.com Resume pret HTTP 200 Commentaires

“Next-token predictor” is the wrong mental model for LLMs

L'auteur soutient que qualifier les grands modèles de langage de « prédicteurs du token suivant » est juste en surface mais incomplet. Pendant la pré-formation, le modèle apprend à rendre plus probables les tokens qui ont effectivement suivi des séquences présentes dans les données d'entraînement. Les modèles post-entraînés intègrent des méthodes comme RLHF et RLVR qui leur permettent d'explorer, de générer de nouvelles séquences et d'apprendre à partir des récompenses associées. L'analogie aux échecs oppose un système qui prédit le coup des grands maîtres à un moteur qui explore tous les jeux pour choisir les coups maximisant la probabilité de gagner. Ainsi, bien que le modèle émette des tokens un par un, ce mécanisme peut encoder des comportements et des connaissances issus de l'exploration, dépassant la simple prédiction du token suivant.

gmcgoldr.github.io Resume pret HTTP 200 Commentaires

Bugs happen: The easy way to compare solo PQ to ECC+PQ

L'article signale que les implémentations post-quantiques présentent déjà de nombreux bogues et fuites temporelles, avec plusieurs CVE récentes touchant Kyber et Dilithium. Il précise que certains de ces défauts sont exploitables, cite des démonstrations d'attaques temporelles (KyberSlash, Clangover) et souligne le coût et la durée importants de la vérification formelle. L'auteur affirme que le maintien d'une couche classique basée sur l'ECC dans des solutions hybrides réduit significativement les conséquences des vulnérabilités logicielles des schémas post-quantiques. Il conteste les arguments en faveur du PQ pur selon lesquels ceux-ci seraient plus simples ou moins coûteux, en rappelant que l'ajout d'ECC demande peu d'effort et permet de retarder et limiter les attaques quantiques. La conclusion est que les hybrides ECC+PQ offrent un meilleur compromis sécurité/coût que le PQ seul et l'article encourage la participation au vote IETF en cours sur cette question.

blog.cr.yp.to Resume pret HTTP 200 Commentaires

Connecting every app to every other app

Le problème n² consistant à connecter chaque application à toutes les autres crée encore une lourde friction pour les intégrations. La Dynamic Client Registration (DCR) automatise l'enregistrement des clients OAuth en permettant à une application de provisionner dynamiquement un client et de lancer immédiatement le flux OAuth. Les Client ID Metadata Documents (CIMD) permettent d'héberger soi‑même les métadonnées client pour démarrer un flux OAuth sans pré‑enregistrement, et Val Town a exploité ces primitives pour fournir un middleware "Login with Val Town" en quelques lignes de code. Des milliers d'applications prennent désormais en charge DCR et des centaines prennent CIMD, ce qui rend possibles des démonstrations avec des milliers de connecteurs, mais de nombreux fournisseurs limitent encore l'enregistrement véritablement dynamique en exigeant des inscriptions préalables ou des hôtes de redirection autorisés. Des défis subsistent, notamment l'incompatibilité potentielle entre MCP et les API REST, l'absence d'un registre public et d'outils open source pour gérer ces connexions, et la nécessité de mécanismes de paiement (comme x402) pour accéder sans compte aux API payantes et supprimer les clés d'API en tant que variables d'environnement.

blog.val.town Resume pret HTTP 200 Commentaires

ExactTex. A gradually-typed superset of LaTeX

ExactTeX étend LaTeX par annotations graduelles : en renommant un fichier .tex en .xtex il continue de fonctionner et seules les portions annotées sont vérifiées, avec un éditeur Web (Vitela) qui exécute le même cœur en WebAssembly. Le projet repose sur un noyau sans dépendances et trois interfaces — le compilateur xtex, un serveur LSP et la build WebAssembly — maintenues identiques par une suite de parité pour fournir diagnostics, navigation, émission de LaTeX, cartes sources et révisions. Les annotations (@id, blocs typés comme \figure, @cite, etc.) permettent des vérifications concrètes — références contrôlées, renommages sûrs, validations de champs d’objet, un indicateur de couverture du document et l’enregistrement de révisions dans le fichier. Le système de types est graduel : tout ce qui n’est pas modélisé est marqué ?O et reste compatible avec tous les types connus, de sorte que les parties non annotées ne provoquent pas d’incohérences et que l’adoption se fait sans rupture. Le compilateur est jeune mais fonctionnel, exige une toolchain Rust (≥1.88), a déjà corrigé plusieurs défauts du modèle de changement, est documenté en ligne et distribué sous licence MIT.

github.com Resume pret HTTP 200 Commentaires