Kyle Wiggers / TechCrunch:
The Linux Foundation launches the TLA+ Foundation to promote and maintain the TLA+ programming language, with AWS, Oracle, and Microsoft among inaugural members — The Linux Foundation, the nonprofit tech consortium that manages various open source efforts, today announced the launch …
