SE Radio 203: Leslie Lamport on Distributed Systems

49 min•29 april 2014

Om avsnittet

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 […]

Fler avsnitt

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

19 aug.43 min

SE Radio 733: Max Corbridge on Securing AI Agents

13 aug.1 tim

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

5 aug.58 min

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

29 juli51 min

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

22 juli54 min

SE Radio 729: Garth Mollett on AI Supply Chain Security

15 juli48 min

Software Engineering Radio - the podcast for professional software developers med [email protected] (SE-Radio Team) finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.

SE Radio 203: Leslie Lamport on Distributed Systems

Om avsnittet

Fler avsnitt

SE Radio 738: Milan Milanovic on the Laws of Software Engineering

SE Radio 737: Owen McGirr on Software Accessibility

SE Radio 736: Sahil Walia on Apache Iceberg

SE Radio 735: Vivek Yadav on Regression Testing Microservices