4 ms·
Hopefully you already know what TLA+ even is, because the article won’t tell you.
by monkpit 8y ago
Hopefully you already know what TLA+ even is, because the article won’t tell you.
- Jtsummers 8y agoDoes every article need to be an introductory article to a topic including a summary of what the thing is? Should every Python article start with: Python is a language developed by Guido van Rossum and named after the comedy troupe. ? Hillel even gives you an out early in the article: This post assumes knowledge of TLA+ Followed by links to two earlier articles which offer better intros to TLA+ itself.
- packetslave 8y agoNot every technical article or blog post assumes a beginner audience, nor should they.
- deleted 8y ago[deleted]
- qohen 8y agoIn case it helps, from Wikipedia[0]: TLA+ (pronounced as tee ell a plus, /ˈtiː ɛl eɪ plʌs/) is a formal specification language developed by Leslie Lamport. It is used to design, model, document, and verify concurrent systems. TLA+ has been described as exhaustively-testable pseudocode,[4] and its use likened to drawing blueprints for software systems;[5] TLA is an acronym for Temporal Logic of Actions. For design and documentation, TLA+ fulfills the same purpose as informal technical specifications. However, TLA+ specifications are written in a formal language of logic and mathematics, and the precision of specifications written in this language is intended to uncover design flaws before system implementation is underway.[6] Since TLA+ specifications are written in a formal language, they are amenable to finite model checking. [0] https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B
- jakeogh 8y agoGood intro: https://news.ycombinator.com/item?id=16956778 https://news.ycombinator.com/item?id=16956778