The Linux Foundation has launched a new organization to maintain and further develop TLA+, the spec language for programming.

Red Hat introduces a new version of its flagship Linux operating system aimed at business developers, offering free access for enterprise development and testing purposes.