Learn TLA+ (2018)

310 points by Twirrim

Read the article

Discussion on Hacker News