aychtang

5 ms·

1. 1.▲
   Show HN: Commitpit – write your code documentation in minutes rather than days(commitpit.com)

   4 points by aychtang 4y ago|0 comments
2. 2.▲
   by aychtang 5y ago

   Ops
3. 3.▲
   by aychtang 6y ago

   Are there benefits of being Startup School Certified? It's not clear in the FAQ
4. 4.▲
   by aychtang 7y ago

   Yes apart from it's not pseudocode but mathematical formulas. Your building blueprints aren't made from bricks and mortar because it would just take way longer and be expensive to experiment with, however with software when design
5. 5.▲
   by aychtang 7y ago

   TLA+ was created so you can quickly model / specify a design, check it works under your assumed invariants and maybe explore alternatives up front, giving you a plan for how your system should work in theory. Like you mentioned it&#x27
6. 6.▲
   by aychtang 7y ago

   Hillel Wayne (who wrote this guide) also has a great blog with many posts related to this topic: https://hillelwayne.com/ Leslie Lamport (who created this language, has written many seminal papers on distributed computing a