- Nov 2023
-
martin.kleppmann.com martin.kleppmann.com
-
In a partially ordered system it is still possible to enforce a to-tal order on events after the fact, as illustrated in Figure 2. Wedo this by attaching a logical timestamp to each event; Lamporttimestamps [45] are a common choice.
-
- Oct 2022
-
docdrop.org docdrop.org
-
if you're thinking without 00:03:26 writing chances are you're fooling yourself we're only
If you're thinking without writing, you only think you're thinking. —Leslie Lamport.“Thinking Above the Code.” Lecture presented at the Microsoft Research Faculty Summit, Microsoft Research, July 15, 2014. https://www.microsoft.com/en-us/research/video/leslie-lamport-thinking-code/. Timestamp: 03:26
Link to:<br /> https://hypothes.is/a/rvisgFDXEe2s-SuJJGw3cA<br /> https://hypothes.is/a/yEFMHoCkEeyl34fItJe__w
Note that the spoken quote is different from the written quote.
-
-
www.microsoft.com www.microsoft.com
-
Lamport, Leslie. “Thinking Above the Code.” Lecture presented at the Microsoft Research Faculty Summit, Microsoft Research, July 15, 2014. https://www.microsoft.com/en-us/research/video/leslie-lamport-thinking-code/.
Presentation slides presumably available at https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/leslie_lamport.pdf
see also: https://www.wired.com/2013/01/code-bugs-programming-why-we-need-specs/
-