Twitter

Topic
- AI/ML
- Cloud
- Desktop
- Embedded/IoT
- Governance
- Hardware
- Linux
- Networking
- Open Source
- Security
- System Administration
Audience
Resources
- Tutorials
- Training
- Certification
- Events
- Forums
- Q&A
- What is Linux?
About Us

Welcome! Log into your account

your username

your password

Forgot your password? Get help

Password recovery

Recover your password

your email

A password will be e-mailed to you.

Twitter

Linux.com

Topic
- AI/ML
- Cloud
- Desktop
- Embedded/IoT
- Governance
- Hardware
- Linux
- Networking
- Open Source
- Security
- System Administration
Audience
Resources
- Tutorials
- Training
- Certification
- Events
- Forums
- Q&A
- What is Linux?
About Us

Home News Linux Foundation Announces Launch of TLA+ Foundation

News
The Linux Foundation

Linux Foundation Announces Launch of TLA+ Foundation

April 21, 2023

1126

Facebook

Twitter

Read the original post at: Read More

Previous articleNo wizardry needed to use Ansible’s magic variable ‘hostvars’

Next articleHow to install Red Hat OpenShift Local on your laptop

Project Tazama, A Project Hosted by LF Charities With Support From the Gates Foundation, Receives Digital Public Good Designation.

Xen 4.19 is released

Advancing Xen on RISC-V: key updates

Linux Foundation Announces OpenSearch Software Foundation to Foster Open Collaboration in Search and Analytics

AI Produces Data-driven OpenFOAM Speedup (HPC Wire)

Copyright © 2025 The Linux Foundation®. All rights reserved. The Linux Foundation has registered trademarks and uses trademarks. For a list of trademarks of The Linux Foundation, please see our Trademark Usage page. Linux is a registered trademark of Linus Torvalds.

RELATED ARTICLESMORE FROM AUTHOR

Project Tazama, A Project Hosted by LF Charities With Support From the Gates Foundation, Receives Digital Public Good Designation.

Xen 4.19 is released

Advancing Xen on RISC-V: key updates

Linux Foundation Announces OpenSearch Software Foundation to Foster Open Collaboration in Search and Analytics

AI Produces Data-driven OpenFOAM Speedup (HPC Wire)

RELATED ARTICLES MORE FROM AUTHOR