As quoted in [Nathan, David E., Computer scientist Leslie Lamport to grads: If you can’t write, it won’t compute, https://www.brandeis.edu/now/2017/may/commencement-lamport.html, Brandeis University, 17 January 2020, May 21, 2017]
Leslie Lamport: 4 citations0 J'aime
Leslie Lamport: Citations en anglais
“Thinking doesn't guarantee that we won't make mistakes. But not thinking guarantees that we will.”
In [Lamport, Leslie, Why We Should Build Software Like We Build Houses, https://www.wired.com/2013/01/code-bugs-programming-why-we-need-specs/, Wired Magazine, 17 January 2020, January 25, 2013]
Sometimes it would lead back to a previous idea of mine, very often it would lead to something somebody else had done. But the Bakery algorithm just seemed to come out of thin air to me. There was nothing like it that preceded it, so perhaps that's why I'm proudest of it.
As quoted in [Dahlia Malkhi, Concurrency: The Works of Leslie Lamport, https://books.google.com/books?id=z_m2DwAAQBAJ, 16 September 2019, Association for Computing Machinery and Morgan & Claypool Publishers, 978-1-4503-7273-2, 137]
Email of 28 May 1987 https://lamport.azurewebsites.net/pubs/distributed-system.txt
As quoted in [Teresa K. Attwood, Stephen R. Pettifer, David Thorne, Bioinformatics Challenges at the Interface of Biology and Computer Science: Mind the Gap, https://books.google.com/books?id=_i-8DAAAQBAJ&pg=PA266, 26 September 2016, John Wiley & Sons, 978-0-470-03548-1, 266–]
