# War Leslie Lamport im Recht > [! hinweis]- > Der Inhalt dieser Seite ist durch Audio/Video-Transkribtion und Text-Transformation aus dem Inhalt und Links dieser Quelle generiert. Quelle: [https://fosdem.org/2025/schedule/event/fosdem-2025-4941-was-leslie-lamport-right-/](https://fosdem.org/2025/schedule/event/fosdem-2025-4941-was-leslie-lamport-right-/) <video src="https://video.fosdem.org/2025/janson/fosdem-2025-4941-was-leslie-lamport-right-.av1.webm" controls></video> ## Zusammenfassung & Highlights: Die Session 'War Leslie Lamport im Recht' untersucht die Relevanz von Leslie Lamports Theorien über verteilte Systeme für die moderne Technologie. **Einführung in Lamports Theorien** Leslie Lamport, bekannt als Vater der verteilten Systeme, hat mit seinen Arbeiten aus den 1970er Jahren bedeutende Grundlagen für die heutige Systemarchitektur gelegt. Die Session beleuchtet die oft als 'unpraktisch' bezeichneten Theorien und deren potenziellen Nutzen in modernen Systemen. **Konsistenz und Konkurrenz** Konsistenzmodelle wie schwache und starke Konsistenz sowie die Herausforderungen der Konkurrenz in verteilten Systemen werden anhand von Lamports Arbeiten erläutert. Diese Modelle sind entscheidend für die Gestaltung robuster und effizienter Systeme. **Byzantine-Generals-Problem** Das Byzantine-Generals-Problem, ein klassisches Problem der Konsensfindung in unsicheren Netzwerken, wird detailliert besprochen. Lamports Lösungsvorschläge sind auch heute noch relevant für die Entwicklung sicherer und zuverlässiger Systeme. **Lamport-Uhren und Gossip-Protokolle** Lamport-Uhren bieten eine Methode zur Ereignisordnung in verteilten Systemen, während Gossip-Protokolle die Informationsverbreitung in Netzwerken thematisieren. Beide Konzepte sind essenziell für die heutige Systementwicklung. **Bedeutung für moderne Systeme** Die Session unterstreicht, wie Lamports Theorien auch heute noch in Cloud-nativen Systemen und anderen modernen Anwendungen Anwendung finden und zur Minimierung von Ausfällen und zur Verbesserung der Systemstabilität beitragen. ## Bedeutung für eine öko-soziale Transformation Lamports Theorien bieten wertvolle Einsichten für die ökosoziale Transformation, indem sie nachhaltige und effiziente Systemdesigns fördern. Eco-Social Designer können diese Konzepte nutzen, um robuste Systeme zu entwickeln, die weniger Ressourcen verbrauchen und Ausfälle minimieren. Herausforderungen bestehen in der Umsetzung dieser Theorien in groß angelegten, heterogenen Umgebungen, insbesondere angesichts technischer und gesellschaftlicher Hürden wie der Akzeptanz von Open-Source-Lösungen. ## Slides: | | | | --- | --- | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_001.jpg\|300]] | Die erste Folie stellt die zentrale Frage der Session vor: War Leslie Lamport im Recht? Diese Frage wird durch die Untersuchung seiner Theorien und deren Relevanz für moderne verteilte Systeme analysiert. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_002.jpg\|300]] | Sarah Christoff und Nic Jackson, die Sprecher der Session, werden vorgestellt. Sarah ist Software-Ingenieurin und Gründerin des Leslie Lamport Fanclubs, während Nic als Entwickler bei HashiCorp arbeitet und Mitglied des Fanclubs ist. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_003.jpg\|300]] | Die Agenda der Session umfasst eine Geschichtsstunde über verteilte Systeme, die Untersuchung von Konsens, Konsistenz, Konkurrenz, Uhren und Gossip-Protokollen. Diese Themen werden im Kontext von Leslie Lamports Theorien behandelt. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_004.jpg\|300]] | Die Einführung der Session beginnt mit einer historischen Perspektive auf verteilte Systeme und führt dann in die spezifischen Theorien von Leslie Lamport ein, die im Laufe der Präsentation untersucht werden. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_005.jpg\|300]] | Die Folie behandelt die Geschichte der verteilten Systeme und die Rolle von Leslie Lamport bei der Entwicklung dieser Konzepte. Sie bietet einen Überblick über die historischen Hintergründe, die für das Verständnis seiner Theorien wichtig sind. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_006.jpg\|300]] | Die Folie beschreibt die Rolle von Kaiser Konstantin in der Geschichte des Byzantinischen Reiches, das als Metapher für die Erklärungen der verteilten Systeme in der Session dient. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_007.jpg\|300]] | Diese Folie befasst sich mit dem Byzantinischen Reich und seiner Bedeutung als historisches Beispiel für die Untersuchung von Konsensproblemen in verteilten Systemen. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_008.jpg\|300]] | Die 'Besetzung' der Präsentation umfasst historische Figuren wie Kaiser Romanos, Kaiserin Zoe und andere, die in der Geschichte des Byzantinischen Reiches eine Rolle spielten und als Metaphern für die Erklärungen der verteilten Systeme dienen. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_009.jpg\|300]] | Die Folie erklärt das Zwei-Generäle-Problem, ein klassisches Problem der Konsensfindung in verteilten Systemen, das die Schwierigkeiten der sicheren Kommunikation in unsicheren Netzwerken illustriert. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_010.jpg\|300]] | Das Zwei-Generäle-Problem wird detailliert beschrieben: Wenn nur ein General angreift, werden sie besiegt; greifen beide nicht an, überleben sie; greifen beide an, erobern sie die Stadt. Diese Szenarien verdeutlichen die Herausforderungen der Konsensfindung. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_011.jpg\|300]] | Die Folie setzt die Diskussion über das Zwei-Generäle-Problem fort, das als Einführung in die komplexeren Konsensprobleme dient, die in der Session behandelt werden. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_012.jpg\|300]] | Das byzantinische Generäle-Problem wird als Erweiterung des Zwei-Generäle-Problems vorgestellt, wobei die Herausforderungen der Konsensfindung in einem Netzwerk mit potenziell fehlerhaften oder verräterischen Knoten untersucht werden. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_013.jpg\|300]] | Diese Folie beschreibt das byzantinische Generäle-Problem anhand von Nachrichten und Ergebnissen zwischen Kommandeuren und Leutnants, um die Schwierigkeiten der Konsensfindung in unsicheren Netzwerken zu veranschaulichen. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_014.jpg\|300]] | Die Diskussion über das byzantinische Generäle-Problem wird fortgesetzt, wobei die Herausforderungen der Konsensfindung in einem Netzwerk mit potenziell fehlerhaften oder verräterischen Knoten untersucht werden. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_015.jpg\|300]] | Die Folie zeigt, wie das byzantinische Generäle-Problem mit mehreren Leutnants und einem Kommandeur gelöst werden kann, um Konsens zu erreichen, selbst wenn einige Knoten fehlerhaft sind. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_016.jpg\|300]] | Die Diskussion über das byzantinische Generäle-Problem wird fortgesetzt, wobei die Herausforderungen der Konsensfindung in einem Netzwerk mit potenziell fehlerhaften oder verräterischen Knoten untersucht werden. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_017.jpg\|300]] | Die Folie beschreibt, wie das byzantinische Generäle-Problem gelöst werden kann, indem zusätzliche Generäle hinzugefügt werden, um Konsens zu erreichen, selbst wenn einige Knoten fehlerhaft sind. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_018.jpg\|300]] | Leslie Lamport schlägt eine Formel zur Erreichung des Konsenses vor, die auf der Anzahl der Verräter basiert: 3m+1, wobei m die Anzahl der Verräter ist. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_019.jpg\|300]] | Diese Folie zeigt die erforderliche Anzahl von Generälen zur Erreichung des Konsenses in Abhängigkeit von der Anzahl der Verräter: 1 Verräter erfordert 4 Generäle, 2 Verräter erfordern 7 Generäle usw. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_020.jpg\|300]] | Die Folie beschreibt ein Szenario mit 6 Generälen und zeigt, wie Konsens erreicht werden kann, indem die Nachrichten zwischen den Generälen analysiert werden. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_021.jpg\|300]] | Diese Folie beschreibt ein Szenario mit einem verräterischen Kommandeur und zeigt, wie Konsens erreicht oder verhindert werden kann, indem die Nachrichten zwischen den Leutnants analysiert werden. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_022.jpg\|300]] | In einem Szenario mit 7 Generälen wird gezeigt, wie Konsens erreicht werden kann, selbst wenn zwei Leutnants verräterisch sind, indem die Nachrichten analysiert und die Ergebnisse verglichen werden. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_023.jpg\|300]] | Um ungültige Daten zu identifizieren, sind mehrere Abstimmungsrunden erforderlich, wobei t die Anzahl der Verräter ist: t+1 Runden. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_024.jpg\|300]] | Ein Beispiel für Nachrichtenrunden mit 2 Verrätern wird beschrieben, um zu zeigen, wie Konsens durch den Austausch von Nachrichten zwischen den Leutnants erreicht werden kann. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_025.jpg\|300]] | In einem Szenario mit 7 Generälen wird gezeigt, wie Konsens durch mehrere Nachrichtenrunden erreicht werden kann, selbst wenn zwei Leutnants verräterisch sind. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_026.jpg\|300]] | Die Folie beschreibt ein Szenario mit 6 Generälen und zeigt, wie Konsens durch mehrere Nachrichtenrunden erreicht werden kann, selbst wenn einige Leutnants verräterisch sind. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_027.jpg\|300]] | Die Lösung zur Erreichung des Konsenses in einem Netzwerk mit verräterischen Knoten besteht aus t+1 Abstimmungsrunden und 3m+1 Generälen, wobei m und t die Anzahl der Verräter sind. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_028.jpg\|300]] | Die Folie behandelt das Thema Konsistenz in verteilten Systemen, ein zentrales Thema in Leslie Lamports Theorien. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_029.jpg\|300]] | Die besten Belagerungen basieren auf offener Kommunikation, was die Bedeutung von Konsistenzmodellen in verteilten Systemen unterstreicht. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_030.jpg\|300]] | Die Folie beschreibt die Rolle von Michael und John dem Eunuchen in der Geschichte, die als Metapher für die Erklärungen der Konsistenzprobleme in der Session dient. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_031.jpg\|300]] | Die Folie beschreibt verschiedene Aspekte der Konsistenz in verteilten Systemen: Nachrichtenkonsistenz, Verfügbarkeit von Soldaten und Toleranz gegenüber schlechten Akteuren. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_032.jpg\|300]] | John der Eunuch schlägt vier Konsistenzmodelle vor: Eventual, Weak, Strong und Sequential Consistency, die in der Session untersucht werden. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_033.jpg\|300]] | Die Folie illustriert das Konzept der Eventual Consistency, bei dem Nachrichten schließlich ankommen, aber nicht unbedingt in der richtigen Reihenfolge. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_034.jpg\|300]] | Das Konzept der schwachen Konsistenz wird beschrieben, bei der keine Garantien für die Reihenfolge oder das Eintreffen von Nachrichten gegeben werden. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_035.jpg\|300]] | Starke Konsistenz bedeutet, dass jede Anfrage oder Aktualisierung die aktuellsten Informationen liefert, was in verteilten Systemen schwer zu erreichen ist. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_036.jpg\|300]] | Strong Sequential Consistency wird als Modell beschrieben, bei dem die Reihenfolge der Ereignisse wichtig ist, aber nicht unbedingt die Zwischenschritte. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_037.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_038.jpg\|300]] | Die Folie behandelt das Thema Konkurrenz in verteilten Systemen, ein weiteres zentrales Thema in Leslie Lamports Theorien. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_039.jpg\|300]] | Sarah Christoff und Leslie Lamport haben einige Gemeinsamkeiten, darunter das Fehlen eines formalen Informatikstudiums. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_040.jpg\|300]] | Die Frage 'Was ist eine Berechnung?' wird untersucht, wobei eine Berechnung als Abfolge von Schritten definiert wird. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_041.jpg\|300]] | Eine Berechnung wird als Abfolge von Schritten definiert, was die Grundlage für das Verständnis von Konkurrenz in verteilten Systemen bildet. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_042.jpg\|300]] | Die Frage 'Was ist ein Schritt?' wird untersucht, wobei ein Schritt als Übergang von einem Zustand zum nächsten definiert wird. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_043.jpg\|300]] | Ein Schritt wird als Übergang von einem Zustand zum nächsten definiert, was für das Verständnis von Konkurrenz in verteilten Systemen wichtig ist. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_044.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_045.jpg\|300]] | Die Folie behandelt das Konzept der Invarianz, eine Bedingung, die während der gesamten Programmausführung immer wahr ist. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_046.jpg\|300]] | Die Folie beschreibt die Grundlagen der Invarianz: Basisinvarianz n=1 und induktive Invarianz n=1 & n+1. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_047.jpg\|300]] | Leslie Lamport erklärt, dass das Verständnis von Berechnungen und deren Beschreibung der Schlüssel zum Verständnis der wichtigsten Konzepte der Konkurrenz ist. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_048.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_049.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_050.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_051.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_052.jpg\|300]] | Die Folie behandelt das Konzept der Lamport-Uhren, ein Mechanismus zur Ereignisordnung in verteilten Systemen. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_053.jpg\|300]] | Die Folie beschreibt die Rolle von Zeituhren und der Ereignisordnung in verteilten Systemen, ein zentrales Thema in Leslie Lamports Theorien. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_054.jpg\|300]] | Die Folie behandelt das Konzept der Lamport-Uhren, ein Mechanismus zur Ereignisordnung in verteilten Systemen. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_055.jpg\|300]] | Die Funktionsweise von Lamport-Uhren wird erklärt: Jeder General hat einen logischen Zähler t, der bei jedem Ereignis oder jeder Nachricht inkrementiert wird. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_056.jpg\|300]] | Lamport-Uhren garantieren, dass wenn Ereignis a vor Ereignis b passiert, die Lamport-Uhr für a kleiner ist als für b, aber nicht umgekehrt. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_057.jpg\|300]] | Die Folie behandelt das Konzept der Lamport-Uhren, ein Mechanismus zur Ereignisordnung in verteilten Systemen. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_058.jpg\|300]] | Lamport-Uhren und ihre Rolle bei der Behandlung von Konkurrenz in verteilten Systemen werden beschrieben. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_059.jpg\|300]] | Bei zwei Nachrichten mit demselben Zeitstempel muss ein Tiebreak verwendet werden, um die Reihenfolge zu bestimmen, oft durch lexikografische Ordnung. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_060.jpg\|300]] | Vektoruhren funktionieren ähnlich wie Lamport-Uhren, verwenden jedoch einen Vektor von Skalarwerten, um Konkurrenz besser zu identifizieren. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_061.jpg\|300]] | Gossip-Protokolle, die auf dem Konzept der Lamport-Uhren basieren, werden als unterhaltsame Methode zur Informationsverbreitung in Netzwerken beschrieben. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_062.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_063.jpg\|300]] | Die erste Runde der Gossip-Protokolle wird beschrieben, bei der Knoten Informationen innerhalb eines Clusters austauschen. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_064.jpg\|300]] | Die zweite Runde der Gossip-Protokolle wird beschrieben, bei der Informationen weiter im Cluster verbreitet werden. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_065.jpg\|300]] | Die dritte Runde der Gossip-Protokolle wird beschrieben, bei der die Verbreitung der Informationen im Cluster fortgesetzt wird. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_066.jpg\|300]] | Die vierte Runde der Gossip-Protokolle wird beschrieben, bei der die Verbreitung der Informationen im Cluster abgeschlossen wird. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_067.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_068.jpg\|300]] | Die Folie beschreibt, wie das Entfernen einer Anweisung, die Lamport-Uhren aktualisiert, zu einem Ausfall bei Robinhood 2020 führte, sowie einen byzantinischen Fehler bei CloudFlare. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_069.jpg\|300]] | Die Antwort auf die zentrale Frage der Session: Ja, Leslie Lamport hatte recht mit seinen Theorien über verteilte Systeme. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_070.jpg\|300]] | Dankesworte der Sprecher Sarah Christoff und Nic Jackson, mit Kontaktinformationen für weitere Fragen oder Diskussionen. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_071.jpg\|300]] | Referenzen zu Leslie Lamports Arbeiten, darunter das byzantinische Generäle-Problem und andere Schriften zur Verteilung und Konkurrenz in Systemen. ## Links [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_001.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_001.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_002.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_002.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_003.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_003.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_004.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_004.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_005.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_005.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_006.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_006.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_007.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_007.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_008.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_008.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_009.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_009.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_010.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_010.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_011.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_011.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_012.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_012.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_013.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_013.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_014.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_014.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_015.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_015.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_016.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_016.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_017.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_017.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_018.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_018.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_019.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_019.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_020.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_020.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_021.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_021.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_022.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_022.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_023.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_023.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_024.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_024.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_025.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_025.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_026.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_026.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_027.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_027.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_028.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_028.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_029.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_029.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_030.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_030.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_031.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_031.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_032.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_032.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_033.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_033.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_034.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_034.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_035.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_035.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_036.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_036.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_037.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_037.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_038.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_038.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_039.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_039.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_040.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_040.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_041.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_041.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_042.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_042.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_043.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_043.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_044.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_044.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_045.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_045.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_046.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_046.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_047.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_047.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_048.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_048.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_049.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_049.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_050.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_050.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_051.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_051.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_052.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_052.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_053.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_053.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_054.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_054.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_055.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_055.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_056.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_056.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_057.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_057.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_058.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_058.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_059.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_059.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_060.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_060.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_061.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_061.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_062.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_062.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_063.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_063.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_064.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_064.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_065.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_065.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_066.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_066.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_067.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_067.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_068.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_068.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_069.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_069.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_070.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_070.jpg) [FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_071.jpg](FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_071.jpg)