Hacker News
- Leslie Lamport on Distributed Systems and Precise Thinking http://www.infoq.com/news/2014/10/ser-lamport-interview 10 comments
- Leslie Lamport on Distributed Systems and Precise Thinking http://www.infoq.com/news/2014/10/ser-lamport-interview 4 comments programming
Linked pages
- Shows | Microsoft Learn http://channel9.msdn.com/Events/Build/2014/3-642 47 comments
- The Byzantine Generals Problem - Microsoft Research http://research.microsoft.com/en-us/um/people/lamport/pubs/byz.pdf 27 comments
- The TLA+ Home Page http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html 11 comments
- The Part-Time Parliament - Microsoft Research http://research.microsoft.com/en-us/um/people/lamport/pubs/lamport-paxos.pdf 11 comments
- Leslie Lamport - A.M. Turing Award Laureate http://amturing.acm.org/award_winners/lamport_1205376.cfm 11 comments
- Apache Linkis Graduated to Apache Top-Level Project https://www.infoq.com/news/2023/02/apache-linkis-middleware/ 9 comments
- LaTeX - A document preparation system https://www.latex-project.org/ 7 comments
- Software Engineering Radio http://www.se-radio.net/ 3 comments
- AWS OpenSearch Serverless Now Generally Available https://www.infoq.com/news/2023/02/amazon-opensearch-serverless-ga/ 1 comment
- http://citeseer.ist.psu.edu/articles.html 0 comments
- Episode 203: Leslie Lamport on Distributed Systems : Software Engineering Radio http://www.se-radio.net/2014/04/episode-203-leslie-lamport-on-distributed-systems/ 0 comments
- The Challenge of Cognitive Load in Platform Engineering: A Discussion with Paula Kennedy https://www.infoq.com/articles/cognitive-load-platform-engineering/ 0 comments
- If Twitter Doesn’t Have a Staging Environment, Should Anyone? https://www.infoq.com/articles/twitter-staging-environment/ 0 comments
- Google Unveils MusicLM, an AI That Can Generate Music from Text Prompts https://www.infoq.com/news/2023/02/google-musiclm-ai-music/ 0 comments
Related searches:
Search whole site: site:www.infoq.com
Search title: Leslie Lamport on Distributed Systems and Precise Thinking
See how to search.