Type de contenu
Long Form
Dans la facette Type de contenu, les articles de type Long Form de BTW.MEDIA sont regroupés selon un même format éditorial, afin de permettre aux lecteurs de comparer briefings, profils, notes de risque, analyses de marché et reportages d'événements sans mélanger différents types de preuves. Cette page explique comment ce type de contenu met en perspective les événements liés à l'infrastructure Internet, les mouvements d'entreprises, les décisions de gouvernance, les signaux opérationnels et les preuves publiques sur l'ensemble du site. Les lecteurs peuvent ainsi identifier les acteurs ou systèmes d'infrastructure les plus fréquents, comprendre comment la qualité des sources modifie l'interprétation et déterminer si le contenu relève d'un profil durable, d'un événement urgent, d'un signal de marché stratégique ou d'une évolution de gouvernance. Le résultat est une page de recherche utile aux opérateurs, investisseurs, clients, analystes et décideurs publics qui doivent comprendre les conséquences, le calendrier et les preuves qui sous-tendent des formats d'articles similaires.
Histoire d'Internet
Frank Kelly et l’équité qu’aucun flux ne pouvait prouver seul
Un débit de 6 ne dit rien, à lui seul, de la justice du partage. Il faut connaître les autres débits, les capacités qui les contraignent et les répartitions encore possibles. En donnant à l’« équité proportionnelle » une définition contrefactuelle, Frank Kelly a déplacé la preuve…
Histoire d'Internet
David Tennenhouse et le paquet qui demandait au routeur d’exécuter du code
Un paquet ordinaire présente une destination. La « capsule » imaginée par David Tennenhouse et David Wetherall ajoutait une demande plus délicate: exécuter ce programme ici, dans la machine d’un autre, avant de poursuivre. La promesse était une innovation libérée des cycles de…
Universitaires
Nancy Leveson : quand aucun composant ne tombe en panne
Un système peut respecter les spécifications de chacune de ses pièces et produire néanmoins une situation dangereuse. Nancy Leveson a déplacé l'enquête vers les décisions, les informations disponibles et les contraintes que l'ensemble devait maintenir.
Tendances mondiales des services cloud
Rocket Lab a émis les actions et fermé le relais bancaire, sans encore acheter Iridium
Le financement de l'acquisition projetée a changé de forme le 15 septembre: des actions ont été vendues, les prêteurs d'Iridium ont donné leur accord et l'engagement de crédit relais a disparu. La propriété du réseau satellitaire, elle, attend toujours les décisions nécessaires.
Histoire d'Internet
Mary Shaw et le protocole entre les boîtes
En 1994, Mary Shaw formulait un problème que les schémas d'architecture savent encore dissimuler: nous donnons des noms précis aux boîtes, mais nous laissons souvent les lignes sans grammaire. L'appel de procédure reste un mécanisme utile; il ne suffit pas à décrire un flux, un…
Histoire d'Internet
Betsy Ancker-Johnson et le plasma qui gardait la trace du trajet
En 1964, Betsy Ancker-Johnson n’a pas découvert un simple point de bascule. Elle a cartographié un plasma semi-conducteur dont l’état dépendait du sens dans lequel les champs avaient été parcourus — un résultat précis, limité par l’expérience, mais riche d’enseignements sur les…
Histoire d'Internet
Sophie Wilson et la preuve rapportée par le premier silicium ARM1
Le 26 avril 1985, les premiers ARM1 arrivent chez Acorn. La carte de second processeur les attend déjà, tout comme le système Tube et BBC BASIC. Leur démarrage immédiat n'est pas la preuve qu'un processeur RISC réussit naturellement du premier coup: c'est le reçu visible d'un…
Histoire d'Internet
Evelyn Berezin : la disponibilité n’est pas la vérité du stock
Le système conçu pour United Airlines pouvait écarter un processeur défaillant et continuer à répondre. Cette prouesse ne disait pourtant pas si chaque siège affiché comme libre l’était réellement.
Histoire d'Internet
Karen Spärck Jones a mesuré la rareté d’un terme, pas sa vérité
Un mot peut être banal dans une bibliothèque et exceptionnel dans une autre. Karen Spärck Jones a transformé cet écart en signal de recherche. La force de l’IDF vient précisément de sa portée limitée: il décrit un ensemble documentaire donné, non la valeur universelle d’un mot.
Histoire d'Internet
Frances E. Allen a donné aux optimisations une preuve à leur mesure
Un compilateur peut établir qu’une définition atteint peut-être une instruction ou qu’une valeur reste vivante sur un chemin. Les méthodes de Frances E. Allen ont rendu ce raisonnement systématique, sans jamais en faire une garantie universelle sur l’exécution du programme.
Histoire d'Internet
Jean E. Sammet a rendu l’algèbre exécutable, pas démontrée
FORMAC pouvait transformer une formule, puis produire une forme destinée à la chaîne FORTRAN ordinaire. Entre l’expression symbolique, le programme compilé et le résultat scientifique, il subsistait pourtant plusieurs obligations de preuve.
Histoire d'Internet
LAP6 rendait le code modifiable, pas forcément juste
Mary Allen Wilkes a donné au LINC de 2 048 mots un chemin visible et réactif entre manuscrit, fichier sur bande et programme binaire. La force de LAP6 tient autant à cette intégration qu'aux frontières qu'il maintenait entre ses étapes.
Histoire d'Internet
Une image maîtresse, plusieurs instances : la frontière de Sketchpad
Dans Sketchpad, la répétition n’était pas une pile de copies. Ivan Sutherland avait construit un lien durable entre une image maîtresse et ses occurrences transformées — un lien qui permettait de propager une modification sans confondre dépendance logicielle, géométrie locale et…
Histoire d'Internet
Lynn Conway : les règles lambda ont rendu le dessin transportable, pas infaillible
Remplacer les micromètres par une unité appelée λ n’était pas une simple commodité de notation. Ce choix redéfinissait la frontière entre le concepteur et l’usine: la géométrie pouvait voyager, à condition qu’un procédé compatible lui rende des dimensions physiques. La conformité…
Histoire d'Internet
Dorothy Denning : ce que le treillis autorise vraiment
Un certificat formel n’est pas une promesse générale de sécurité. Le modèle en treillis de Dorothy E. Denning permet de vérifier une proposition plus précise: une dépendance représentée par le programme respecte-t-elle l’ordre des flux que l’organisation a choisi ? Toute sa…
Histoire d'Internet
Nancy Lynch et la limite exacte de l’impossibilité FLP
Une panne autorisée, des messages fiables mais sans délai maximal, aucun chronomètre commun: dans ce cadre, un protocole déterministe ne peut promettre à la fois la sûreté et une décision dans toute exécution admissible. Cette frontière est bien plus précise que le slogan « le…
Histoire d'Internet
Leslie Lamport et l’ordre qu’un horodatage ne peut pas prouver
Un horodatage de Lamport peut respecter un chemin causal connu entre processus et messages. Il ne transforme ni tout nombre inférieur en cause, ni deux événements incomparables en simultanéité physique, ni un ordre total commode en histoire unique du système.
Histoire d'Internet
Jim Gray et le vote qui ne pouvait pas décider d’un commit en deux phases
Dans le commit en deux phases, le entité qui inscrit durablement son état préparé et vote oui prouve qu’il saura appliquer l’une ou l’autre issue. Il n’a pas validé la transaction et ne peut pas inventer le verdict si le coordinateur disparaît.
Histoire d'Internet
Rob Pike et le walk 9P qui n’ouvrait rien
Dans 9P, une suite de noms peut être entièrement parcourue et recevoir tous ses qid sans qu’aucun fichier soit ouvert. Cette séparation, au cœur du travail de Rob Pike sur les espaces de noms, offre une discipline précieuse aux systèmes modernes: un reçu de protocole ne devient…
IETF
Marshall T. Rose et le SetRequest SNMP qui modifiait toutes les variables ou aucune
Une console de maintenance envoie plusieurs affectations dans un seul SetRequest SNMP. L’agent répond `noError`. Ce reçu a une vraie valeur, mais une portée précise: il décrit le traitement de variables gérées. Il n’identifie pas à lui seul l’opérateur humain, ne certifie ni la…