Viewing profile — aychtang

== What is CommitPit? == CommitPit is a web application that lets you upload a GitHub repository to scaffold your code documentation using GPT. Once it's summarised you can also cr…

Ops

Are there benefits of being Startup School Certified? It's not clear in the FAQ

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 …

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 s…

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 man…