HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11293 articles Page 1089/1130 Sans filtre

Portugal: The First Global Empire (2015)

Le Portugal, pauvre et marginal, a néanmoins lancé une dynamique de globalisation grâce à ses marins et à ses voyages d'exploration. Le voyage de Vasco da Gama jusqu'aux côtes indiennes en 1498 a bouleversé les géographies et prouvé qu'une route maritime directe pouvait exister vers l'Inde. La connaissance était centralisée à Lisbonne à la Casa da Índia, où observations, interprètes et cartographes alimentaient les expéditions suivantes par un cycle de collecte et de rétroaction. Les Portugais bâtirent un empire maritime fondé sur des bases fortifiées et une marine mobile, contrôlant des routes et des ports clés comme Goa, Malacca, Ormuz et Mozambique. Cette expansion répondit à des motivations religieuses et commerciales, tout en diffusant plantes, objets et idées, et en accompagnant une traite des esclaves qui marqua durablement le monde.

www.historytoday.com Resume pret HTTP 200 Commentaires

Roads to Rome (2015)

Ce projet de visualisation de données explore l’expression selon laquelle tous les chemins mènent à Rome. Il associe information visuelle et art généré par les données pour révéler des motifs de mobilité à grande échelle. Les visualisations s’appuient sur des algorithmes de routage appliqués à l’infrastructure routière existante, du niveau local au niveau continental, en utilisant OpenStreetMap et GraphHopper. Une page dédiée propose des informations détaillées, des cartes interactives, une application d’exploration et des téléchargements médias. Le travail a reçu une couverture médiatique dans Repubblica.it et Süddeutsche Zeitung et a été présenté lors d’événements comme le festival KIKK.

benedikt-gross.de Resume pret HTTP 200 Commentaires

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.

annas-archive.li Resume pret HTTP 200 Commentaires

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.

www.omniglot.com Resume pret HTTP 200 Commentaires

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.

www.openfuse.io Resume pret HTTP 200 Commentaires

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.

github.com Resume pret HTTP 200 Commentaires

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.

rkirov.github.io Resume pret HTTP 200 Commentaires