4 ms·
Turing Award Winner: Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport https://www.youtube.com/watch?v=U719vQz-WFs https://www.youtube.co
by Npovview 3mo ago
Turing Award Winner: Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport
https://www.youtube.com/watch?v=U719vQz-WFs https://www.youtube.com/watch?v=U719vQz-WFs
Leslie Lamport : "I am not smart. I have the gift of abstraction."
Real mathematics isn't about details. Its about concepts and abstractions and how we compose them (LLMs are good at those aspects).
- helterskelter 3mo agoThat's an interesting quote, because Feynman's superpower seemed to be his ability to visualize a difficult problem and make it parsable by mere mortals. I think he only scored ~135 on an IQ test (whatever that's worth).
- BobbyTables2 3mo agoPity Feynman didn’t write a Distributed Systems textbook…
- Chu4eeno 3mo agoIt wouldn't have been that out of left field, he did work on massively parallel machines at Connection Machine. Though I guess that was more AI than distributed systems, iirc.