HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11978 articles Page 321/1198 Sans filtre

Anton Chekhov played at love most of his life

Chekhov fut enseigné comme modèle d'économie de moyens, de réalisme et de compassion, et il fut tour à tour revendiqué par les Soviétiques comme héros pré-révolutionnaire et par les milieux littéraires occidentaux comme l'incarnation d'une esthétique apollinienne. Sa vie intime, notamment sa relation épistolaire et distante avec l'actrice Olga Knipper, a été présentée comme sobre et dévouée mais comportait des tensions, de longues séparations et une correspondance où affleurent tendresse, raillerie et inquiétude. Des recherches postérieures, en particulier la biographie de Donald Rayfield (1997), ont remis en question l'image d'ascète en documentant de nombreuses liaisons et en déclenchant un débat sur des événements sensibles comme une grossesse perdue dont la paternité et la nature font l'objet de controverses entre spécialistes. Sur le plan artistique, des nouvelles comme «La Dame au petit chien» illustrent la manière chekhovienne d'aborder l'amour comme expérience incomplète, épistémologique et souvent douloureuse, où la connaissance et la pitié tiennent une place centrale et les fins restent ouvertes. Chekhov mourut en 1904 à Badenweiler, Olga lui survécut cinquante-cinq ans et, malgré les tensions privées dévoilées par les archives, son œuvre théâtrale et narrative s'est imposée mondialement et soulève toujours la question de l'importance de la vérité biographique pour la lecture de l'œuvre.

Clamiga: Common Lisp for the Amiga

Le projet est une implémentation de Common Lisp conçue pour les machines Amiga (68k et MorphOS) et exécutable également sur macOS et Linux. Il repose sur un compilateur monofichier produisant du bytecode exécuté par une machine virtuelle portable en C, avec des valeurs taggées 32 bits, un ramasse-miettes compactant et des FASL échangeables entre architectures. Sur 68k un JIT génère du code natif à la définition des fonctions, tandis que des optimisations comme les vecteurs octets empaquetés, l'I/O en bloc et des FASL précompilés permettent d'utiliser seulement quelques mégaoctets de mémoire. L'implémentation offre CLOS, la tour numérique complète, REPL interactif, inspecteur, débogueur, FFI Amiga, bindings pour Intuition/Graphics/GadTools et une compatibilité Quicklisp partielle via des shims et forks maintenus. Le projet est jeune mais stable pour de nombreux usages réels, vise une conformité ANSI plus grande, développe davantage de bindings Amiga/MorphOS et d'outils, et accueille contributions et rapports sur GitHub.

Show HN: Vocal Slice – Cut audio by selecting text, fully on-device

L'application transcrit localement les fichiers audio avec Whisper et permet de sélectionner des mots pour que la forme d'onde zoome précisément sur la plage souhaitée. L'utilisateur peut découper et exporter des extraits nommés, avec des WAV découpés sans réencodage afin de préserver la qualité d'origine. Les fonctionnalités comprennent le renommage selon un modèle, le réajustement des découpes sans repartir de zéro, la prise en charge multilingue et l'accélération GPU via WebGPU. Tout fonctionne entièrement sur l'appareil sous macOS et Windows, sans envoi des fichiers, ce qui rend le logiciel adapté aux contenus sensibles ; un modèle et la licence doivent être téléchargés initialement. Le prix est de 29 $ par an pour toutes les fonctionnalités sur trois machines, avec un essai gratuit de sept jours sans carte et un paiement sécurisé via Polar.

Red queen hypothesis – A new way forward for self-improving AI

Des chercheurs, en collaboration avec NVIDIA, Flower Labs et d'autres partenaires, ont conçu une méthode où des agents d'IA auto-améliorants et leurs évaluateurs co-évoluent pour éviter le plafond d'évaluation des systèmes récursifs. L'approche consiste à laisser l'évaluateur évoluer avec l'agent et à remplacer périodiquement l'évaluateur par un plus exigeant validé sur des exemples de référence afin de maintenir une progression mesurable. Appliquée à la rédaction et à l'évaluation d'articles scientifiques ainsi qu'à la notation de preuves de niveau olympique, la méthode a montré des améliorations significatives des performances des agents et des correcteurs. Les auteurs rapportent qu'un couplage de modèles open source efficaces avec des modèles de pointe peut réduire fortement les coûts computationnels, une expérience indiquant une réduction d'environ treize fois des coûts en jetons pour la revue d'articles. Les résultats sont préliminaires, la méthode sera publiée en open source et les chercheurs soulignent la nécessité d'horizons de recherche plus longs et d'expérimentations à plus grande échelle pour mesurer la portée de l'approche.

Stripe will reportedly acquire OpenRouter for $7B+

Selon Bloomberg, Stripe a finalisé un accord pour acquérir OpenRouter. OpenRouter permet aux clients de choisir différents modèles d'IA selon leurs besoins et leur budget et affirme offrir l'accès à plus de 400 modèles. En mai, la société avait levé 113 millions de dollars en série B pour une valorisation déclarée de 1,3 milliard de dollars, avec des investisseurs comme Sequoia, Andreessen Horowitz, Menlo Ventures et CapitalG. Le PDG Alex Atallah a décrit l'entreprise comme l'équivalent de Stripe pour l'IA et a déclaré qu'elle comptait 8 millions d'utilisateurs dans le monde. Le Wall Street Journal avait rapporté des discussions d'acquisition et Bloomberg évoque un prix de transaction supérieur à 7 milliards de dollars, tandis que Stripe a refusé de commenter les rumeurs auprès de TechCrunch.

Prolly: A content-addressed ordered map built on prolly trees

Cette bibliothèque Rust fournit des arbres content-addressed immuables et ordonnés clé→valeur dont les noeuds sont identifiés par des CID SHA‑256 pour permettre le partage structurel, le diff, la fusion et le chargement en masse. L'API expose un handle Tree léger (root: Option<Cid>, config: Config) et sépare la logique d'arbre d'un Store branchable, avec un moteur commun async‑first et une façade synchrone sans runtime bloquant. Les opérations persistantes (put, delete, batch), la construction parallèle, l'itération paresseuse par plage et curseur, ainsi que des preuves vérifiables (clé, plage, page, diff) et leur enveloppe HMAC sont fournies pour vérification et transport. Le système gère la fusion trois‑voies avec resolvers et stratégies CRDT, l'externalisation de grandes valeurs vers un BlobStore, les transactions MVCC, les racines nommées, la planification/suppression pour la collecte des ordures et des politiques de rétention. La crate intègre des adaptateurs de stockage (en mémoire, SQLite, RocksDB, Turso, etc.), des outils de diagnostic et visualisation, des politiques de chunking déterministes, des caches et métriques pour l'optimisation, et s'adresse aux cas d'usage local‑first, d'index versionnés et de synchronisation distribuée.

MathCode, Mathematical Coding Agent

MathCode est un assistant de codage IA en terminal qui formalise des énoncés mathématiques en théorèmes Lean 4 et tente d'en fournir une preuve formelle. L'installation requiert macOS (arm64) ou Linux (x86_64), le CLI codex pour le backend par défaut, et s'effectue via le dépôt GitHub et un script setup.sh qui prépare l'environnement et installe un lanceur utilisateur. Le projet propose un REPL Lean persistant, une bibliothèque de théorèmes et d'axiomes réutilisables, une intégration LSP et une interface web pour consulter les formalizations. Des fonctionnalités avancées incluent la preuve agentique interactive, la décomposition en sous-objectifs parallèles, l'exécution de planificateurs multiples et la génération d'un graphe de dépendances Obsidian. Un format de citation est fourni pour un usage académique et la chaîne de formalisation s'appuie sur le projet AUTOLEAN.