podcast.de
Anmeldung
Anmeldung Registrierung
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. Software Engineering Radio - The Podcast for Professional Software Developers Podcast
  4. SE Radio 203: Leslie Lamport on Distributed Systems
SE Radio 203: Leslie Lamport on Distributed Systems

SE Radio 203: Leslie Lamport on Distributed Systems

Software Engineering Radio - The Podcast for Professional Software Developers vor 12 Jahren
Zu Sammlung hinzufügen

Du hast noch keine Sammlungen.
Download Teilen Fundstellen Kommentare
0:00
48:50
Leslie Lamport won a Turing Award in 2013 for his work in
distributed and concurrent systems. He also designed the document
preparation tool LaTex. Leslie is employed by Microsoft Research,
and has recently been working with TLA+, a language that is useful
for specifying concurrent systems from a high level. The interview
begins with a […]

Weitere Episoden

SE Radio 734: Sathiesh Veera on Engineering Data-Protection Guardrails with LLMs

SE Radio 734: Sathiesh Veera on Engineering Data-Protection Guardrails with LLMs

43 Minuten
vor 1 Woche
SE Radio 733: Max Corbridge on Securing AI Agents

SE Radio 733: Max Corbridge on Securing AI Agents

1 Stunde
vor 2 Wochen
SE Radio 732: Jason Gorman on The Effective Use of AI For Software Development

SE Radio 732: Jason Gorman on The Effective Use of AI For Software Development

58 Minuten
vor 3 Wochen
SE Radio 731: Sonali Varde on AI and the Engineering Manager Role

SE Radio 731: Sonali Varde on AI and the Engineering Manager Role

51 Minuten
vor 4 Wochen
SE Radio 730: Birgitta Boeckeler on Harness Engineering for AI Agents

SE Radio 730: Birgitta Boeckeler on Harness Engineering for AI Agents

54 Minuten
vor 1 Monat
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.

Teilen