--
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.
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
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+u...@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+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CA%2BKOs4z7AZzXn5P35ehhd6OGGx1ZA9ykj6FxN74L5H-rtEWrBQ%40mail.gmail.com.
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%2BKOs4z7AZzXn5P35ehhd6OGGx1ZA9ykj6FxN74L5H-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%3DxUVz7aT57aS1imCJ9PwgEcNKeawrJneRh7aFSriTbDpHYA%40mail.gmail.com.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@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+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CA%2BKOs4z7AZzXn5P35ehhd6OGGx1ZA9ykj6FxN74L5H-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+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CABj%3DxUVz7aT57aS1imCJ9PwgEcNKeawrJneRh7aFSriTbDpHYA%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+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CA%2BKOs4y8PTTO7EgNaP%3DT8NMAJZ6fgBAvrQOJkFZ%2BZ9iFBp5pcA%40mail.gmail.com.
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...
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+u...@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+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CA%2BKOs4z7AZzXn5P35ehhd6OGGx1ZA9ykj6FxN74L5H-rtEWrBQ%40mail.gmail.com.
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...
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+u...@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+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CA%2BKOs4z7AZzXn5P35ehhd6OGGx1ZA9ykj6FxN74L5H-rtEWrBQ%40mail.gmail.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CAJ-b8sxUadf16sQRWZjw6oK%2BZx7Zki1f4vcjwfFA3%3D6yb3w-NQ%40mail.gmail.com.
PlusCalc is just noise. It is just adding more complexity and confusion for new people learning TLA+. In my opinion PlusCalc should be removed from TLA+ offering because it has no clear positioning and value proposition. To implement a non concurrent algorithm in PlusCalc is harder compared to using Python. To implement a concurrent algorithm in PlusCalc, people need to understand regular TLA+ concepts first. So it is easier to just use regular TLA+ directly.
There is no thorough documentation of TLA+ built in operators and constructs, I have to switch back and forth between Avalache docs, old.learntla+.com, etc to try to understand the constructs.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CA%2BKOs4yHHE2G5y6Dh0drhdZRm128Wo%3DyHy2n7TZQBfvNdMRbQg%40mail.gmail.com.
Just an idea, a consultant business model could be organizational training, root and branch system checking for consequential bugs in its current state, and perhaps system reconfiguration/optimization accordingly.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CAE7247um8Dd0ZKSiM7xNt3gmXPqdFNt13%3D6eGV4o3Xsn0MqB-A%40mail.gmail.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CABj%3DxUW1sur6B1PuVEVMK0LhFm84rcVdSh5r5sZzdPnK2iS0Xw%40mail.gmail.com.