Ye Cannae Change the Laws of Physics

Ye Cannae Change the Laws of Physics

🎙 Kevlin Henney 👥 1.1M 📅 15 mai 2026 ⏱ 45 min 👁 1K 📄 conférence technique 🧭 2026-08-02
Disponible en : Français (actuel) English

Mots-clés

physiquelogicielmétaphoreentropieinfini

Résumé

Dans cette conférence enregistrée au GOTO Copenhagen 2025, Kevlin Henney explore les métaphores empruntées à la physique dans le développement logiciel. Il commence par citer la célèbre réplique de Star Trek ‘Ye cannae change the laws of physics’, pour souligner que certaines contraintes sont inévitables. Il critique l’utilisation abusive de concepts comme l’infini en programmation, illustrée par une solution FizzBuzz en Haskell utilisant des listes infinies. Il aborde ensuite la notion de ‘side effects’ en programmation fonctionnelle, rappelant que tout calcul a un coût énergétique. Il discute de la métaphore de la dette technique, la comparant à l’entropie et au ménage, et cite les lois de Lehman sur l’évolution des logiciels. Il dénonce l’usage impropre du terme ‘velocity’ en gestion de projet agile, qui ignore la direction. Enfin, il évoque les limites physiques comme la vitesse de la lumière et le coût temporel des opérations, insistant sur l’importance de considérer le temps comme une ressource. La conférence mêle humour et références à la culture pop pour illustrer des concepts sérieux.

170 mots

Évaluation critique

La conférence de Kevlin Henney est une réflexion pertinente et érudite sur les métaphores scientifiques utilisées dans le développement logiciel. L’orateur, fort de son expérience, propose une analyse critique de notions souvent galvaudées comme l’infini, la dette technique ou la vélocité. Son argumentation s’appuie sur des références solides : les lois de Lehman sur l’évolution des logiciels, le théorème CAP, les travaux de Lamport sur le temps dans les systèmes distribués, et des articles de Physics World. Il démontre que la physique impose des limites réelles à ce que nous pouvons faire, et que les ignorer mène à des échecs. La qualité des sources est bonne, même si certaines références sont citées de manière informelle. La structure est claire, passant d’exemples concrets (FizzBuzz) à des considérations plus générales sur le travail et le temps. L’humour et les références à la culture pop rendent le propos accessible sans sacrifier la rigueur. Le seul bémol est que certains points auraient pu être approfondis, comme la discussion sur la vitesse de la lumière et ses implications pour les systèmes distribués. Globalement, c’est une conférence de grande qualité qui invite à réfléchir sur les fondements de notre discipline.

194 mots

Adéquation titre / contenu

Le titre est accrocheur et reflète bien le thème central : les limites physiques et mathématiques qui s'appliquent au développement logiciel.

Qualité & fiabilité

8/10

L'orateur est un expert reconnu en génie logiciel, les références sont solides (Lehman, Lamport, CAP theorem) et les exemples sont concrets. Le ton est humoristique mais le fond est rigoureux.

Chapitres

Sources citées

Sources concordantes

  • Lehman's Laws of Software Evolution — Les lois de Lehman confirment l'augmentation de la complexité des logiciels au fil des modifications.
  • CAP Theorem — Le théorème CAP illustre les limites physiques des systèmes distribués.

Sources discordantes

  • Technical Debt Quadrant

Références externes

Apport & nouveautés

La conférence apporte une perspective originale en reliant les contraintes physiques aux pratiques de développement logiciel, souvent ignorées. Elle propose une critique des métaphores trompeuses et encourage une prise de conscience des limites réelles.

Pour aller plus loin :

92 mots

Profil radar

Le profil radar montre une excellente qualité d'information et une bonne fiabilité, avec un niveau technique élevé. La quantité d'information est bonne, mais le format de conférence limite la profondeur sur certains sujets.

Fiabilité 8/10