Are there any good guides to TLA+? As someone who has never used it, the “intros” sure assume a lot of prior knowledge of formal methods or “TLA+-speak”.
Typically, The Linux Foundation is where projects go to die (take a look at the list of Linux Foundation project and see how many are doing well and are not Linux).
Less cynically, they have a good set of reusable processes for creating a new foundation for a F/OSS project and it’s easier to just use their tools than create something from scratch. It’s also then often easier to get companies to donate because they may have a process set up for funding things that are the shape of Linux Foundation foundations.
Companies & people can now donate tax-deductible money to support TLA+ development, diversifying from its reliance on Microsoft Research. Language governance will also become independent of Microsoft Research with a steering committee, RFC process, etc. I think the MSR setup primarily exists because Leslie Lamport works there, although he’s getting into his 80s so might retire soon. So we’ll see whether the language can now survive on its own!
The Linux Foundation provides a lot of legal & actual infrastructure that make it much easier to create projects like this than it would have been from scratch.
Not tax deductible. LF is a 501c6, not a 501c3 (charitable). It’s a trade organization that’s tax exempt / not-for-profit to promote things, but individuals and organizations do not get to deduct donations/contributions.
Assuming Lamport isn’t an “it”, I think the reasonable possibilities are “TLA+ better survive on its own” and “The Linux Foundation better provide a lot of legal & actual infrastructure”.
Are there any good guides to TLA+? As someone who has never used it, the “intros” sure assume a lot of prior knowledge of formal methods or “TLA+-speak”.
Is learntla.com accessible? If not, what are the stumbling blocks for you?
I followed a link to https://learntla.com/introduction/, which is broken. But indeed it looks like the root of the site works. Thanks!
What’s the implications of this? I don’t really follow the Linux foundation.
Typically, The Linux Foundation is where projects go to die (take a look at the list of Linux Foundation project and see how many are doing well and are not Linux).
Less cynically, they have a good set of reusable processes for creating a new foundation for a F/OSS project and it’s easier to just use their tools than create something from scratch. It’s also then often easier to get companies to donate because they may have a process set up for funding things that are the shape of Linux Foundation foundations.
Companies & people can now donate tax-deductible money to support TLA+ development, diversifying from its reliance on Microsoft Research. Language governance will also become independent of Microsoft Research with a steering committee, RFC process, etc. I think the MSR setup primarily exists because Leslie Lamport works there, although he’s getting into his 80s so might retire soon. So we’ll see whether the language can now survive on its own!
The Linux Foundation provides a lot of legal & actual infrastructure that make it much easier to create projects like this than it would have been from scratch.
Not tax deductible. LF is a 501c6, not a 501c3 (charitable). It’s a trade organization that’s tax exempt / not-for-profit to promote things, but individuals and organizations do not get to deduct donations/contributions.
It better.
Do you mean “TLA+ better survive on its own” or “Leslie Lamport better retire soon”? XD
Hillel wouldn’t refer to Leslie with “it”, so the former
Assuming Lamport isn’t an “it”, I think the reasonable possibilities are “TLA+ better survive on its own” and “The Linux Foundation better provide a lot of legal & actual infrastructure”.
Good point, seems like I’ve been struck by the curse of English as a second language once again =P