HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

3839 articles Page 137/384 Sans filtre

04 Apr 2026

06:08

github.com Resume pret HTTP 200

Automatic Textbook Formalization

RepoProver est un cadre multi-agent qui orchestre des modèles de langage pour formaliser des manuels mathématiques dans un projet Lean via un dépôt git partagé. Des agents sketcher traduisent les définitions et énoncés depuis des fichiers LaTeX, des agents prover remplissent les preuves et des agents reviewer assurent la qualité par des revues de pull requests, avec un système de suivi par fichiers et une file d'attente de fusion garantissant que la branche principale compile. Le projet Lean requis doit contenir un répertoire tex/ avec les sources LaTeX découpées par chapitre, un manifest.json listant les cibles à formaliser, un CONTENTS.md décrivant la structure et un répertoire issues/ servant de traceur léger. Le code a permis la formalisation automatique du manuel Algebraic Combinatorics de Darij Grinberg et fournit des modes d'exécution locaux ou distribués (SLURM), des options de configuration et des scripts d'analyse d'utilisation de tokens et d'efficacité. Un projet d'exemple pour tests rapides, des scripts d'analyse et un visualiseur de trajectoires sont inclus pour évaluer et déboguer les runs, et le projet est publié sous la licence indiquée dans le fichier LICENSE.

04 Apr 2026

06:07

english.kyodonews.net Resume pret HTTP 200

Japan to require language proficiency proof for engineer, specialist visa

Le gouvernement japonais exigera désormais une preuve de maîtrise du japonais au niveau B2 du CECR, équivalant au N2 du JLPT, pour le statut de résidence « ingénieur, spécialiste en sciences humaines ou services internationaux » pour les emplois nécessitant le japonais. La révision, motivée par une augmentation de cas où des titulaires de ce statut occupent des emplois non qualifiés, doit entrer en vigueur dès la mi-avril et renforcera les contrôles des demandes. La nouvelle règle s'appliquera aux nouveaux demandeurs entrant au Japon pour travailler dans des postes nécessitant le japonais, tandis que les étudiants internationaux souhaitant changer de statut seront exemptés. Les entreprises interdites pendant cinq ans d'accueillir des travailleurs au titre des programmes d'entraînement technique ou de travailleurs qualifiés spécifiés pour des manquements tels que violences ou salaires impayés seront aussi empêchées d'embaucher sous ce statut pendant la suspension. Selon l'Agence des services d'immigration, la population étrangère au Japon s'élevait à environ 4,13 millions fin 2025, dont environ 475 000 sous ce statut, deuxième groupe après les résidents permanents.

04 Apr 2026

06:07

kevquirk.com Resume pret HTTP 200

Update on the eBay Scam

L'auteur explique qu'il avait signalé une possible arnaque sur eBay et demandé l'intervention de la plateforme. eBay a envoyé un message automatique et a apparemment suspendu ou fermé le compte de l'acheteur selon la conversation affichée. Le paiement pour la montre n'a pas été prélevé et aucune demande de remboursement n'a été émise, si bien que l'auteur pense conserver pour l'instant la montre et l'argent. L'absence de nouveaux messages sur WhatsApp renforce l'hypothèse que l'acheteur pourrait être un escroc récidiviste. L'auteur prévoit de remettre la montre en vente à prix réduit et accepte qu'il devra rembourser si eBay demande ultérieurement la restitution des fonds.

04 Apr 2026

06:07

github.com Resume pret HTTP 200

Show HN: Mtproto.zig – High-performance Telegram proxy with DPI evasion

Ce projet fournit un proxy MTProto pour Telegram optimisé pour la performance et conçu pour masquer le trafic en TLS 1.3 HTTPS afin d'échapper à la censure réseau. Le binaire pèse environ 126 Ko, consomme ~120 Ko de RAM, démarre en moins de 2 ms, n'a aucune dépendance externe et évite les variables globales pour la sûreté des threads. Le logiciel intègre de nombreuses contre-mesures d'évasion et d'obfuscation (fausse poignée de main TLS, MTProto v2/AES-256-CTR, Dynamic Record Sizing, split‑TLS, fragmentation TCP, IPv6 hopping, anti-replay et désynchronisation TCP) et peut masquer ou rediriger les clients non authentifiés. Il propose des modes pratiques comme le fast mode (zero-copy S2C), un MiddleProxy compatible Telemt, actualisation automatique des métadonnées, gestion multi-utilisateur par secrets, support de tags de promotion et une configuration TOML accompagnée de cibles Makefile et d'une image Docker. La distribution inclut des scripts d'installation et de mise à jour, des instructions de déploiement manuel, des options IPv6 via l'API Cloudflare pour rotation automatique et une section de dépannage pour problèmes de connexion, le tout sous licence MIT.

04 Apr 2026

06:07

www.tomshardware.com Resume pret HTTP 200

Firm boosts H.264 streaming license fees from $100k up to staggering $4.5M

Via Licensing Alliance a remplacé le plafond annuel de 100 000 $ pour les licences H.264 par un système à paliers qui peut atteindre 4,5 millions de dollars par an pour les plus grandes plateformes, applicable uniquement aux nouveaux demandeurs de licence à partir de 2026. Les entreprises qui possédaient une licence AVC active à la fin de 2025 conservent leurs conditions d'origine, et Via LA affirme avoir contacté certaines implémenteuses non licenciées en 2025 par démarchage direct. Le nouveau barème distingue plusieurs catégories de plateformes (OTT, FAST, réseaux sociaux, cloud gaming) avec des paliers à 4,5 M$, 3,375 M$ et 2,25 M$, tandis que les petites plateformes conservent le plafond de 100 000 $. Même si de nombreux brevets H.264 ont expiré, les tribunaux et experts soulignent que les obligations FRAND tiennent compte de la force et de la durée restante des brevets encore actifs. Cette hausse s'inscrit dans une escalade plus large des coûts de licences de codecs, déjà responsable d'interdictions de vente et de désactivations de décodage sur certains PC, et susceptible d'entraîner des coûts annuels à neuf chiffres pour les grands services de streaming.

04 Apr 2026

06:07

www.the-hinternet.com Resume pret HTTP 200

The Philosopher and the Tsar

Un appel à candidatures est ouvert pour une école d'été prévue en août 2026, la date limite étant le 1er juin, et le texte comporte une offre promotionnelle indiquant 75 % de réduction pour un an. En mars 1697, Pierre le Grand quitta Moscou pour la Grande Ambassade, une mission de deux ans visant à collecter des informations stratégiques sur les avancées scientifiques et techniques néerlandaises et allemandes. Le voyage se déroula sous le couvert du secret et du déguisement et, par les réseaux de commérages, Gottfried Wilhelm Leibniz apprit les détails de la visite du tsar à la cour de Königsberg et du séjour avec l'électeur de Prusse. Dans une lettre, Leibniz rapporte que le tsar se montra très gai, parla familièrement avec tout le monde, qu'il apprécia la « douce­ur » des mœurs allemandes et qu'il désapprouvait les cruautés de son propre pays. On relate une anecdote selon laquelle un serviteur commit une grave erreur et que le tsar déclara qu'il l'aurait fait fouetter en Moscovie mais qu'étant dans un pays plus « doux » il laisserait passer l'offense.

04 Apr 2026

06:06

abuseofnotation.github.io Resume pret HTTP 200

Category Theory Illustrated – Types

Le chapitre présente les types et la théorie des types comme une alternative aux ensembles, motivée notamment par le paradoxe de Russell. La théorie des types impose qu’un terme n’appartienne qu’à un seul type, évitant l’auto-appartenance problématique des ensembles, et se définit par des règles de formation, d’introduction et d’élimination. L’auteur illustre la construction de nombreux types concrets (Unit, Bool, Maybe, Nat, List, Either, Tuple) et montre comment constructeurs et fonctions d’élimination (fold) produisent et manipulent leurs valeurs. La polymorphie (System F) ajoute des flèches de types et l’abstraction/application de types pour définir des types paramétriques, tandis que l’encodage de Church montre qu’on peut représenter les types par des fonctions. Enfin, le texte relie les systèmes de types à la théorie des catégories en identifiant types, fonctions et valeurs à objets, morphismes et éléments, et rappelle la correspondance Curry-Howard-Lambek entre logique, lambda-calcul et catégories cartésiennes closes.

04 Apr 2026

06:06

codeberg.org Resume pret HTTP 200

DCJ11Hack+ – DEC PDP/11 based homebrew computer

L'auteur partage la conception d'une carte basée sur le processeur DCJ11, inspirée du travail de Beent Hilpert et conçue pour permettre l'ajout ou le retrait de fonctions via un backplane. Les fichiers KiCAD, schémas et PAL fournis couvrent la carte CPU, la carte RAM/ROM et l'affichage texte, avec un afficheur matriciel 16x16 et des PAL pour chaque carte. Le système démarre en mode ODT, communique en série à 115200 8N1, nécessite des accès mémoire 16 bits uniquement et l'auteur indique une carte mère achetée sur eBay. L'auteur fournit des exemples assembleur (Hello World, un effet type Knight Rider et un test terminal), des fichiers .asm/.oct et recommande un simulateur PDP-11 ainsi que TeraTerm pour l'upload. Le plan mémoire détaillé réserve des plages pour RAM, ROM, affichages et extensions futures, et le projet est maintenu comme hobby avec le dépôt migré vers Codeberg le 26 mars 2026.

04 Apr 2026

06:06

apfel.franzai.com Resume pret HTTP 200

Show HN: Apfel – The free AI already on your Mac

Le projet apfel expose le modèle de langage embarqué d'Apple sur macOS 26+ via un binaire Swift, un serveur HTTP compatible OpenAI et une interface de chat interactive. Toutes les inférences s'exécutent localement sur Apple Silicon (Neural Engine et GPU) sans clés API ni coûts par token, avec une fenêtre de contexte de 4096 tokens. L'outil fournit une interface CLI compatible Unix avec stdin/stdout, sortie JSON, codes de sortie appropriés, gestion des pièces jointes et cinq stratégies d'élagage de contexte. Il implémente l'API OpenAI (chat completions, streaming, tool calling, GET /v1/models, CORS) pour permettre aux clients et SDKs existants de pointer vers localhost:11434. Le projet est open source sous licence MIT, s'installe via Homebrew ou se compile depuis la source, et a rapidement suscité beaucoup d'intérêt sur GitHub.