Hacker News new | past | comments | ask | show | jobs | submit login
Thinking for Programmers (2014) [video] (msdn.com)
62 points by mbrodersen 7 days ago | hide | past | favorite | 4 comments

Some past threads:

Thinking for Programmers (2014) [video] - https://news.ycombinator.com/item?id=9353908 - April 2015 (11 comments)

Leslie Lamport: Thinking for Programmers [video] - https://news.ycombinator.com/item?id=7533938 - April 2014 (32 comments)

I have a lot of respect for Leslie Lamport, and I've read quite a few of his papers, but I'm a little reluctant to take his advice to heart here. I think his Paxos paper is a good read, but at the end of it you understand his thinking but are no closer to writing a valid paxos system. In contrast, take Diego Ongaro's raft paper and you leave with a deep understanding of the thinking and a way to start your journey into making the thoughts concrete.

He mentions TLA+ is used at Amazon. Can anyone comment on its use there or anywhere in 2021? Has it gained any traction?

Any other options in which to write specifications?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact