Linux Foundation launches new organization to maintain TLA+

April 21, 2023

The Linux Foundation, the nonprofit tech consortium that manages various open source efforts, today announced the launch of the TLA+ Foundation to promote the adoption and development of the TLA+ programming language. AWS, Oracle and Microsoft are among the inaugural members.  What is the TLA+ programming language, you ask? It’s a formal “spec” language developed by computer […]

Linux Foundation launches new organization to maintain TLA+ by Kyle Wiggers originally published on TechCrunch

The Download: AI paternalism in healthcare, and Nigeria’s answer to Tesla

April 21, 2023
This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. Artificial intelligence is infiltrating health care. We shouldn’t let it make all the decisions. Would you trust medical advice generated by artificial intelligence? It’s a question raised by yet more headlines this week…