Collect a list of potential foundation members

[lemmy]

While we are in the process of bootstrapping the foundation, I suggest we all encourage our peers at potential member companies to add their names to https://github.com/tlaplus/awesome-tlaplus#users

Perhaps, this can also help with the survey/market study that @hwayne is driving?

[lemmy]

Please add your contacts!

Company	Contacts	Rep
Amazon	Reto, Murat	Murat, Ron
Arm	Catalin Marinas	Catalin Marinas
Cockroachlab	Ben Darnell	Murat, Andrew, Markus
Crowdstrike	Mike Lusignan	Hillel, Markus
Elastic	Yannick Welsch, David Turner	Markus, Ron
Facebook		Andrew, Hillel
Informal Systems	Igor	Igor
Microsoft	Leslie	Leslie, Markus
Mongo	Jesse Davis	Jesse Davis
Nvidia	Dmitry Kulagin	Markus
Okta	Jay Parlar	Jay Parlar
OpenNetworkFoundation	Jordan	Jordan
Oracle	Ron, Chris N., Calvin Loncaric	Ron
PingCap
Splunk	Jack Vanlightly	Jack Vanlightly
Thales	Stefan Resch	Markus
VMware	Jack Vanlightly	Jack Vanlightly
Zilliqa	Anton Trunov

Cold-calling?

1. Shopify
2. Google
3. Netflix
4. Apple
5. Intel
6. Protocol Labs