Sveriges mest populära poddar
Software Engineering Radio - the podcast for professional software developers
UtbildningTeknologi

Episode 203: Leslie Lamport on Distributed Systems

49 min•29 april 2014
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 av Software Engineering Radio - the podcast for professional software developers

Visa alla avsnitt av Software Engineering Radio - the podcast for professional software developers
SE Radio 716: Martin Kleppmann Local-First Software
•55 min
SE Radio 715: Sahaj Garg on Designing for Ambiguity in Human Input
•48 min
SE Radio 714: Costa Alexoglou on Remote Pair Programming
•51 min
SE Radio 713: Héctor Ramón Jiménez on Building a GUI library in Rust
•59 min
SE Radio 712: Dan Lorenc on Sigstore
•39 min
SE Radio 711: Scott Hanselman on AI-Assisted Development Tools
•1 tim 2 min
SE Radio 710: Marc Brooker on Spec-Driven AI Dev
•1 tim 3 min
SE Radio 709: Bryan Cantrill on the Data Center Control Plane
•1 tim 5 min
SE Radio 708: Jens Gustedt on C in 2026
•59 min
SE Radio 707: Subhajit Paul on ERP Automation and AI
•1 tim

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.