leslie lamport thinking above the code

Unknown Channel

Unknown Channel356K subscribers

Jul 15, 2014

Download

0 formats

No download links available.

Related Videos

20

A Conversation with Turing Award Winner Leslie Lamport

Microsoft Research

37.0K views · 12 years ago

The Mind Behind Linux Linus Torvalds TED

TED

67.0M views · 10 years ago

LampsonFest - Thank You Butler

Microsoft Research

11.0K views · 9 years ago

Coding isn't Programming - Closing Keynote with Leslie Lamport - SCaLE 22x

Southern California Linux Expo

66.0K views · 1 year ago

Tackling Concurrency Bugs with TLA+ by Hillel Wayne

Strange Loop Conference

22.0K views · 8 years ago

Turing Award Winner Thinking Clearly, Paxos vs Raft, Working With Dijkstra Leslie Lamport

Ryan Peterman

148.0K views · 2 minutes ago

Lamport TLA+ Course Lecture 1 Introduction to TLA+ (HD)

TLA+ Video Course

53.0K views · 8 years ago

A Philosophy of Software Design John Ousterhout Talks at Google

Talks at Google

529.0K views · 7 years ago

Turing Award Winner Disagreeing with Google, Postgres, Future Problems Mike Stonebraker

Ryan Peterman

281.0K views · 2 weeks ago

Computer Scientist Explains One Concept in 5 Levels of Difficulty WIRED

WIRED

71.0M views · 4 years ago

How principled coders outperform the competition

Coderized

19.0M views · 3 years ago

programming ≠ coding - Leslie Lamport

Stanford Math

47.0K views · 1 year ago

A Conversation with Turing Award Winner Leslie Lamport

Microsoft Research

11.0K views · 9 years ago

The Standard Model of Particle Physics A Triumph of Science

Quanta Magazine

35.0M views · 4 years ago

Andrej Karpathy From Vibe Coding to Agentic Engineering

Sequoia Capital

803.0K views · 1 week ago

S13 E11 Epic Fury, Project Freedom & The Shadow Docket 51026 Last Week Tonight with John Oliver

LastWeekTonight

48.0K views · 2 hours ago

The Challenge of Artificial Intelligence (AI) SGH Formal Dinner Address by Mr George Yeo

Singapore General Hospital

61.0K views · 2 weeks ago

Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1.

SPTDC

28.0K views · 6 years ago

Keynote TLA+ at Microsoft 16 Years in Production - David Langworthy

TLA+ - The Temporal Logic of Actions

31.0K views · 6 years ago

Peter Lee The Role of Research

Microsoft Research

29.0K views · 11 years ago

© 2026 NatokHD. Not affiliated with YouTube.

About Terms Contact

leslie lamport thinking above the code | NatokHD