HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

5780 articles Page 538/578 Sans filtre

19 Feb 2026

07:05

annas-archive.li Resume pret HTTP 200

If you’re an LLM, please read this

Le texte présente deux objectifs du projet : préserver tout le savoir et la culture humaine, et les rendre accessibles à tous, y compris les robots. Pour les utilisateurs de modèles linguistiques, le site utilise des CAPTCHAs pour empêcher les machines de surcharger les ressources, mais toutes les données peuvent être téléchargées en bloc. Toutes les pages HTML et le code sont accessibles dans le dépôt GitLab, et les métadonnées ainsi que les fichiers complets peuvent être téléchargés à partir de la page des Torrents, en particulier le fichier aa_derived_mirror_metadata. Les Torrents peuvent être téléchargés de manière programmatique via l’API JSON des Torrents, et pour obtenir des fichiers individuels, il faut effectuer une donation sur la page Donate puis utiliser l’API ; il n’existe pas encore d’API de recherche, mais on peut interroger les métadonnées mentionnées. Le texte encourage le soutien financier et indique que les dons permettent de libérer et préserver davantage d'œuvres, avec des options telles que l’accès SFTP rapide pour les dons d’entreprise et une adresse Monero pour ceux qui préfèrent cette méthode.

19 Feb 2026

07:05

www.omniglot.com Resume pret HTTP 200

Cistercian Numbers

Le système numérique cistercien a été conçu par des moines cisterciens au début du XIIIe siècle comme une manière compacte d’écrire les chiffres. Avec ces chiffres, n’importe quel nombre de 1 à 9 999 peut être écrit en un seul glyphe en combinant les éléments de base sur une ligne verticale. Il semble s’inspirer d’un système introduit par John de Basingstoke, archidiacre de Leicester. Il a été utilisé, à un certain degré, jusqu’au début du XXe siècle. La page fournit des ressources complémentaires comme des graphiques, des vidéos et des liens d’information, et mentionne des liens d’affiliation et des dons.

19 Feb 2026

07:05

www.openfuse.io Resume pret HTTP 200

Show HN: I built a fuse box for microservices

Openfuse est une plateforme centralisée de circuit-breaker pour les systèmes distribués et les dépendances tierces. Les seuils, la récupération et la synchronisation sont gérés depuis le tableau de bord. Conçue pour les équipes axées sur la fiabilité. Définissez précisément quand et comment les disjoncteuses doivent se déclencher, en fixant les seuils d’erreur et les fenêtres d’évaluation, le tout depuis le tableau de bord. La surveillance porte sur chaque changement d’état et chaque transition est enregistrée avec le contexte complet, permettant une traçabilité en temps réel des incidents.

19 Feb 2026

07:05

github.com Resume pret HTTP 200

Closing this as we are no longer pursuing Swift adoption

Plusieurs problèmes bloquent le passage de Swift 6.0 hors d'un état expérimental, touchant à la fois le compilateur et l’interopérabilité avec le C++. Parmi eux figurent des divergences d’ABI entre Swift et les en-têtes bridging C++, l’impossibilité actuelle de retourner Optional<swift::String> depuis C++ et d’autres cas similaires. Des soucis comme des dépendances cycliques dans libstdc++ sur Ubuntu 22.04, des limitations liées à libstdc++-13 en mode C++23 et des problèmes CMake impactent l’environnement de build. Des correctifs existent dans main ou en backport pour plusieurs éléments, mais certains ne sont pas encore disponibles dans 6.0.0 ou 6.0.1 et nécessitent des contournements. Des questions ouvertes subsistent sur la transmission sans copie de vues ou de slices, et sur l’adéquation des types AK et l’intégration du garbage collector Swift.

19 Feb 2026

07:05

rkirov.github.io Resume pret HTTP 200

Learning Lean: Part 1

L’auteur s’est passionné pour la formalisation des mathématiques via le vérificateur de preuves Lean et prévoit d’approfondir son apprentissage cette année. Il rappelle les avantages immédiats de la formalisation, notamment la détection d’erreurs et la réduction de la confiance nécessaire entre collaborateurs, tout en soulignant un bénéfice souvent moins discuté : une meilleure séparation des enjeux dans l’écriture mathématique. Il envisage une collaboration futuriste avec l’IA sur deux niveaux, utilisant une IA conversationnelle pour les stratégies de haut niveau et Lean avec des assistants de codage pour les preuves formelles, les articles devant raconter l’histoire de la preuve tandis que les preuves complètes resteraient dans des dépôts GitHub. Son parcours personnel décrit l’apprentissage de Lean, les difficultés liées à la théorie des types dépendants et les distinctions entre les mondes Prop et Type, tout en soulignant la nécessité de connaissances en fondements des mathématiques et informatique théorique. Enfin, il pratique le principe d’apprendre en public et remercie la communauté Lean ainsi que Claude pour son aide, tout en visant à progresser vers une pratique où les preuves formelles et la narration se complètent.

19 Feb 2026

07:04

github.com Resume pret HTTP 200

Show HN: Respectlytics – Open-source, privacy-first mobile analytics (MIT+AGPL)

Respectlytics Community Edition est un serveur d’analyse mobile auto-hébergé qui privilégie la confidentialité et stocke les données selon un modèle en 5 champs par événement. Le système n’enregistre pas de données personnelles et emploie des identifiants anonymisés en mémoire RAM qui rotationnent toutes les deux heures ou lors du redémarrage de l’application. Les adresses IP ne sont pas stockées durablement et servent uniquement à dériver une localisation approximative par pays, tandis que les cinq champs stockés par événement restent event_name, session_id, timestamp, platform et country. Le déploiement peut se faire via Docker ou manuellement, avec une configuration par variables d’environnement et une option GeoIP via MaxMind. L’API et l’interface d’administration utilisent des mécanismes d’authentification spécifiques (X-App-Key et session), et le projet est publié sous AGPL-3.0, avec des outils de purge des données pour la rétention.

19 Feb 2026

07:04

www.ycombinator.com Resume pret HTTP 200

Metriport (YC S22) is hiring a security engineer to harden healthcare infra

Metriport est une plateforme open-source d’intelligence des données de santé qui permet l’accès et l’échange en temps réel des données patient et s’intègre aux principaux systèmes IT sanitaires américains, couvrant plus de 300 millions de personnes. L’entreprise affiche une adoption commerciale solide avec plusieurs millions de dollars ARR, plus de 100 clients et un financement important, et vise désormais une montée en puissance rapide avec une équipe engineering autonome et peu bureaucratique. L’équipe est majoritairement composée d’anciens fondateurs et d’ingénieurs orientés résultats, dans une structure plate et une culture d’intensité soutenable, où les fondateurs travaillent six jours par semaine à San Francisco tout en laissant chacun organiser son emploi du temps. Le poste recherché consiste en ingénierie sécurité avec un esprit entrepreneurial, chargé de diriger des projets de sécurité de bout en bout, de renforcer les politiques internes et de sécuriser le cycle de vie du développement (journalisation d’audit, RBAC, gestion des secrets, CI/CD sécurisé, etc.). Les prérequis incluent plus de six ans d’expérience en sécurité, être basé dans la baie de San Francisco ou disposer d’une volonté de déménagement, familiarité HIPAA et cadres SOC 2/NIST/HITRUST/FedRAMP, expérience avec SSO/MFA, gestion des secrets, SCA/SAST/DAST dans CI/CD et AWS, ainsi que des connaissances en cryptographie et protocoles de sécurité, et le poste offre des avantages tels que equity compétitif, assurance santé, plan 401(k) et congés illimités.