Hi Irwan, what do you mean by there being no incentive to open the knowledge to the public?--On Fri, Jul 4, 2025 at 4:04 PM Irwansyah Irwansyah <irwansyah@xxxxxxxxx> wrote:Hi Andrew,I believe the root questions need to be answered are:Why a company have to asked you for the short term contract?
Because, they don't have staff that knows TLA+.Why they don't have the staff?Because TLA+ engineer is hard to findWhy TLA+ engineer is hard to find?Because it is hard for non math person to learn TLA+Why it is hard for non math person to learn TLA+?Because there is no complete and easy to read books teaching TLA+ in real world usage?Why there is no complete and easy to read books teaching TLA+ in real world usage?Because there is no incentives to open the knowledge to publicWhy there is no incentives to open the knowledge to public?Because...Irwan--
On Saturday, July 5, 2025, Andrew Helwer <andrew.helwer@xxxxxxxxx> wrote:Hi all,I wrote a post on a type of TLA+ contract I've done a few times, why it never worked out as well as hoped, and what could be changed so future contracts see more success:Andrew Helwer--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@googlegroups.com .
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/76851a09-632a- .4b93-9e5c-96dfbfa9dc21n% 40googlegroups.com
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@googlegroups.com .
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CA% .2BKOs4z7AZzXn5P35ehhd6OGGx1ZA9 ykj6FxN74L5H-rtEWrBQ%40mail. gmail.com
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@googlegroups.com .
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CABj% .3DxUVz7aT57aS1imCJ9PwgEcNKeawr JneRh7aFSriTbDpHYA%40mail. gmail.com