search

tlaplus / foundation

TLA+ Foundation
23 stars 4 forks source link

Initial draft of mission statement of the TLA+ Foundation #1

Closed lemmy closed 2 years ago

lemmy commented 2 years ago

Heavily inspired by https://gitlab.haskell.org/hf/meta/-/blob/main/board.md#1-goals-of-the-foundation

lemmy commented 2 years ago

Please, everybody, review and comment on this first draft of the TLA+ Foundation's mission statement.

lemmy commented 2 years ago

@xxyzzn: "This is a good start. I like the part about the overall goal being to advance mathematical thinking. I agree with Murat about expanding the mission. I think another thing that’s missing is that it should be the official arbiter of what constitutes TLA+ now and in the future."

(initially shared via email with me)

xxyzzn commented 2 years ago

Nothing having to do with TLA+ should ever be distributed under the Gnu license. Period. It would keep essentially all companies from using TLA+.

Leslie

lemmy commented 2 years ago

Are there (strong) objections to merging the current changes in the interest of floating the first draft among a larger group of potential members for feedback?

pron commented 2 years ago

+1

Just run it through a spellchecker first.

lemmy commented 2 years ago

Squashed into main with https://github.com/tlaplus/foundation/commit/57765c793fbcd5f2cd547432633f57c41491a97b including co-author tag in git commit message.

lemmy commented 2 years ago

@xxyzzn "[S]hould this be the TLA+ Foundation or the TLA Foundation? At the moment, the two are pretty much synonymous. But what if someone wants to build another language on top of TLA other than TLA+? For example, making the "+" for writing state functions something like Coq."

ahelwer commented 2 years ago

TLA has an acronym collision with the more-broadly-known "Three Letter Acronym" so "The TLA Foundation" unfortunately sort of sounds like a joke.

hwayne commented 2 years ago

People already know about TLA+, very few people know TLA.