Leslie Lamport wants you to escape the box of computational thinking
Turing Award winner Leslie Lamport joins "The Changelog" podcast. Full audio 👉 https://changelog.fm/552 Subscribe for more! 👇 Apple: https://changelog.fm/apple Spotify: https://changelog.fm/spotify Android: https://changelog.fm/android Overcast: https://changelog.fm/overcast Email: https://changelog.fm/email Twitter:   / changelog  Mastodon: https://changelog.social/@changelog #software #opensource #programming #softwareengineering #coding #podcast #oss #foss #development
▶︎
Turing Award Winner: Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport
▶︎
Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1.
▶︎
Virtual HLF 2020 – Scientific Dialogue: Sir C. Antony R. Hoare/Leslie Lamport
▶︎
1983: Meet the COMPUTER ADDICTS | Newsnight | Retro Tech | BBC Archive
▶︎
Why AI Can Never Escape Turing's 1936 Proof
▶︎
Leslie Lamport: Thinking Above the Code
▶︎
Computer Scientist Answers Computer Questions From Twitter
▶︎
The Man Who Revolutionized Computer Science With Math
▶︎
Terence Tao Explains The Math Behind AI
▶︎
Zig 2026: No-AI Policy, $670K Foundation, Left GitHub & Why Zig Isn’t 1.0 - Andrew Kelley Explains
▶︎
programming ≠coding - Leslie Lamport
▶︎
If Mitchell Hashimoto succeeds, Tmux & Zellij will disappear
▶︎
The Strangest Things that Correlate with IQ
▶︎
Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker
▶︎
CACM June 2014 - Leslie Lamport, recipient of the 2013 ACM A.M. Turing Award
▶︎
Will AI Prove the Riemann Hypothesis Without Understanding It? – Terence Tao
▶︎
Terence Tao: Nobody Understands Why AI Actually Works
▶︎
Creator of C++: Bell Labs, Negative Overhead Abstraction, Mistakes | Bjarne Stroustrup
▶︎
How to think clearly as a programmer with mathematics and TLA+ - Leslie Lamport @ HLF 2019
▶︎